Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cleanups in the debug config items
[simgrid.git] / src / mc /
2019-06-04 Martin Quinsonsonar: kill unused parameter
2019-06-03 Martin QuinsonMC: kill an unused field and a useless method
2019-06-03 Martin QuinsonMC: kill an unused field
2019-06-03 Martin QuinsonSimplify mc::Region::read()
2019-06-03 Martin QuinsonCleanups in class mc::Region
2019-06-01 Martin Quinsonfix MC builds on gcc
2019-06-01 Martin Quinsonfix lua builds
2019-05-31 Martin QuinsonMC: rename some files
2019-05-31 Martin QuinsonMC: finish emptying an old C file
2019-05-31 Martin QuinsonMC: inline a function that is now trivial
2019-05-31 Martin QuinsonMC::Region: Also remove the permanent_addr thingy
2019-05-31 Martin Quinsonmc: cosmetics
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-30 Martin Quinsoninline a function
2019-05-30 Martin Quinsonkill the RegionSparse subclass now that there is no...
2019-05-30 Martin QuinsonMC: cosmetics (fight the mc_model_checker singleton)
2019-05-30 Martin QuinsonMC: remove support for flat storage of regions
2019-05-30 Martin QuinsonMC::remote: snake case
2019-05-29 Martin Quinsonmc: Also remove the process_index
2019-05-29 Martin QuinsonKill the support for privatized SMPI in MC mode
2019-05-28 Martin Quinsonmc: snake_case the checkers
2019-05-28 Martin Quinsonmc: snake_case a class
2019-05-28 Martin Quinsonmc: change 3 static functions into private methods
2019-05-28 Martin Quinsonmc: move code around in the hope that it will sort...
2019-05-28 Arnaud GierschMissing include (HAVE_MREMAP).
2019-05-27 Martin Quinsonmc: tricks to improve the coverage
2019-05-26 Martin Quinsonfix non-MC builds when libevent is not found
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-05-25 Martin Quinsonmc: kill some useless includes
2019-05-24 Martin Quinsonnope sonar, that's not some commented code
2019-05-23 Martin Quinsonfix some typo in the comments, just to launch a rebuild...
2019-05-23 Martin QuinsonPlug a memleak
2019-05-22 Martin Quinsonmc: create RegionSparse, RegionDense and RegionPrivatiz...
2019-05-22 Martin QuinsonRegionSnap: only use pointers to regions for sake of...
2019-05-22 Martin Quinsonmc: privatized regions now use a vector of pointers...
2019-05-22 Martin Quinsonmc: some snake_casing on the way
2019-05-22 Martin Quinsonmc: that FIXME was easy to fix :)
2019-05-20 Martin Quinsong++ needs this include but not clang
2019-05-20 Martin QuinsonAhem. You mean I need to actually compile with MC after...
2019-05-20 Martin Quinsonmc: move some files related to ELF, DWARF or unwind...
2019-05-18 Martin Quinsonmc::Snapshot: various cleanups and refactoring
2019-05-18 Martin Quinsonsosp: cosmetics
2019-05-17 Martin Quinsonsonar: explict
2019-05-17 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-05-16 Martin QuinsonUse addr2line as a fallback for stacktraces when backtr...
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-16 Martin Quinsonmc: tiny simplifications and cosmetics (even some snake...
2019-05-16 Martin Quinsonmc: inline two functions
2019-05-16 Martin Quinsonmc: useless cleanups
2019-05-16 Martin Quinsonmc::Buffer: no need for mmap type now that KSM is gone
2019-05-16 Martin Quinsonmc: kill model-check/ksm option. Was not activated...
2019-05-15 Martin Quinsonmc: simplification: do not repeat information in parameters
2019-05-15 Martin Quinsonmc: Kill a C type and use the C++ one
2019-05-15 Martin Quinsonmc/compare: reduce the scope of some variables
2019-05-15 Martin QuinsonRemove option 'model-check/record': paths are recorded...
2019-05-15 Martin Quinson[mc] enable model-check/record by default, and cosmetics
2019-05-14 Millian Poquet[mc] do not ignore MC_ASSERT in replay mode
2019-05-07 Frederic Sutercosmetics: make more fields private
2019-05-06 Arnaud GierschMissing explicit.
2019-05-06 Arnaud GierschKill useless hack (and its union).
2019-05-06 Arnaud GierschUse aligned storage and remove usage of union.
2019-05-06 Arnaud GierschFix a FIXME.
2019-05-06 Arnaud GierschChange two dynars (maybe more).
2019-05-03 Arnaud GierschMore Sonar smells around "noreturn".
2019-05-03 Arnaud Giersch[sonar] Extract assignments from expressions.
2019-05-03 Arnaud GierschKill never implemented option "model-check/snapshot_fds".
2019-05-03 Arnaud Giersch[sonar] Add attribute "noreturn" to non-returning funct...
2019-05-03 Arnaud Giersch[sonar] Don't name unused exceptions.
2019-04-24 Arnaud GierschCosmetics: conslidate TODO list.
2019-04-24 Arnaud GierschMany const to remove a mutable (TODO--).
2019-04-18 Arnaud GierschTidy up mc/mc_unw a little.
2019-04-12 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-04-12 Arnaud GierschFix hash update.
2019-04-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-04-02 Arnaud Gierschdetached really is a boolean.
2019-03-28 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-03-28 Frederic Sutertry to clean and uniformize Activity Impls
2019-03-25 Arnaud GierschUse string::compare with C++ strings.
2019-03-14 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-03-14 Arnaud Giersch[sonar] Name parameters differently than request_depend...
2019-03-13 Frederic Sutercomestics in src/kernel
2019-03-12 Frederic Sutermv ActorImpl where it belongs
2019-03-11 Arnaud GierschPass std::string parameters by reference too.
2019-03-11 Arnaud GierschDon't use pass-by-value for large parameters.
2019-03-11 Arnaud GierschMore references for parameters of type std::function.
2019-03-09 Arnaud GierschCosmetics around std::unique_ptr.
2019-03-06 Arnaud GierschType consistency.
2019-03-05 Arnaud GierschAssert that the pointer is not null when dereferenced.
2019-03-01 Arnaud GierschUse C++11 <random> for simcall mc_random.
2019-03-01 Arnaud GierschAvoid shadowing outer variables.
2019-03-01 Arnaud GierschKill unused parameter and please Sonar.
2019-02-28 Arnaud GierschUse C++11 <random> instead of rand().
2019-02-27 Arnaud GierschEnforce "Rule-of-Three/Five".
2019-02-27 Arnaud GierschRemove dead code after returrn statement.
2019-02-27 Arnaud GierschReplace #define with constexpr declarations.
next