Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove option model-checker/hash; This is always activated now.
[simgrid.git] / src / mc /
2019-07-10 Martin QuinsonRemove option model-checker/hash; This is always activa... tree | commitdiff
2019-07-10 Martin Quinsonmc/compare: kill dead code tree | commitdiff
2019-07-10 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-07-10 Arnaud GierschImprove crash detection; still not working correctly. tree | commitdiff
2019-07-09 Martin Quinsonload the header needed by this file tree | commitdiff
2019-07-09 Arnaud GierschHide system-dependent message. tree | commitdiff
2019-07-09 Martin Quinsonimprove verification of crashing programs tree | commitdiff
2019-07-09 Arnaud GierschRevert "Reduce dependency on ptrace." tree | commitdiff
2019-07-09 Arnaud GierschReduce dependency on ptrace. tree | commitdiff
2019-07-09 Arnaud GierschSpecify visibility (hide warning). tree | commitdiff
2019-07-03 Arnaud Giersch[sonar] Inherit from std::exception. tree | commitdiff
2019-07-02 Arnaud GierschKill unused static functions (dead code). tree | commitdiff
2019-06-15 Martin Quinsonsonar: ignore more issues, hide commented code, add... tree | commitdiff
2019-06-14 Arnaud GierschMerge remote-tracking branch 'github/master' tree | commitdiff
2019-06-11 Martin QuinsonMC: cosmetics tree | commitdiff
2019-06-11 Martin Quinsonfurther simplify the MC initialization tree | commitdiff
2019-06-11 Martin Quinsonmc: don't catch exceptions we cannot deal with tree | commitdiff
2019-06-10 Martin Quinsoncode simplification in MC start sequence tree | commitdiff
2019-06-04 Martin Quinsonsonar: kill unused parameter tree | commitdiff
2019-06-03 Martin QuinsonMC: kill an unused field and a useless method tree | commitdiff
2019-06-03 Martin QuinsonMC: kill an unused field tree | commitdiff
2019-06-03 Martin QuinsonSimplify mc::Region::read() tree | commitdiff
2019-06-03 Martin QuinsonCleanups in class mc::Region tree | commitdiff
2019-06-01 Martin Quinsonfix MC builds on gcc tree | commitdiff
2019-06-01 Martin Quinsonfix lua builds tree | commitdiff
2019-05-31 Martin QuinsonMC: rename some files tree | commitdiff
2019-05-31 Martin QuinsonMC: finish emptying an old C file tree | commitdiff
2019-05-31 Martin QuinsonMC: inline a function that is now trivial tree | commitdiff
2019-05-31 Martin QuinsonMC::Region: Also remove the permanent_addr thingy tree | commitdiff
2019-05-31 Martin Quinsonmc: cosmetics tree | commitdiff
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master' tree | commitdiff
2019-05-30 Martin Quinsoninline a function tree | commitdiff
2019-05-30 Martin Quinsonkill the RegionSparse subclass now that there is no... tree | commitdiff
2019-05-30 Martin QuinsonMC: cosmetics (fight the mc_model_checker singleton) tree | commitdiff
2019-05-30 Martin QuinsonMC: remove support for flat storage of regions tree | commitdiff
2019-05-30 Martin QuinsonMC::remote: snake case tree | commitdiff
2019-05-29 Martin Quinsonmc: Also remove the process_index tree | commitdiff
2019-05-29 Martin QuinsonKill the support for privatized SMPI in MC mode tree | commitdiff
2019-05-28 Martin Quinsonmc: snake_case the checkers tree | commitdiff
2019-05-28 Martin Quinsonmc: snake_case a class tree | commitdiff
2019-05-28 Martin Quinsonmc: change 3 static functions into private methods tree | commitdiff
2019-05-28 Martin Quinsonmc: move code around in the hope that it will sort... tree | commitdiff
2019-05-28 Arnaud GierschMissing include (HAVE_MREMAP). tree | commitdiff
2019-05-27 Martin Quinsonmc: tricks to improve the coverage tree | commitdiff
2019-05-26 Martin Quinsonfix non-MC builds when libevent is not found tree | commitdiff
2019-05-26 Martin Quinsonfurther tidy the includes in MC tree | commitdiff
2019-05-25 Martin Quinsonmc: kill some useless includes tree | commitdiff
2019-05-24 Martin Quinsonnope sonar, that's not some commented code tree | commitdiff
2019-05-23 Martin Quinsonfix some typo in the comments, just to launch a rebuild... tree | commitdiff
2019-05-23 Martin QuinsonPlug a memleak tree | commitdiff
2019-05-22 Martin Quinsonmc: create RegionSparse, RegionDense and RegionPrivatiz... tree | commitdiff
2019-05-22 Martin QuinsonRegionSnap: only use pointers to regions for sake of... tree | commitdiff
2019-05-22 Martin Quinsonmc: privatized regions now use a vector of pointers... tree | commitdiff
2019-05-22 Martin Quinsonmc: some snake_casing on the way tree | commitdiff
2019-05-22 Martin Quinsonmc: that FIXME was easy to fix :) tree | commitdiff
2019-05-20 Martin Quinsong++ needs this include but not clang tree | commitdiff
2019-05-20 Martin QuinsonAhem. You mean I need to actually compile with MC after... tree | commitdiff
2019-05-20 Martin Quinsonmc: move some files related to ELF, DWARF or unwind... tree | commitdiff
2019-05-18 Martin Quinsonmc::Snapshot: various cleanups and refactoring tree | commitdiff
2019-05-18 Martin Quinsonsosp: cosmetics tree | commitdiff
2019-05-17 Martin Quinsonsonar: explict tree | commitdiff
2019-05-17 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2019-05-16 Martin QuinsonUse addr2line as a fallback for stacktraces when backtr... tree | commitdiff
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-05-16 Martin Quinsonmc: tiny simplifications and cosmetics (even some snake... tree | commitdiff
2019-05-16 Martin Quinsonmc: inline two functions tree | commitdiff
2019-05-16 Martin Quinsonmc: useless cleanups tree | commitdiff
2019-05-16 Martin Quinsonmc::Buffer: no need for mmap type now that KSM is gone tree | commitdiff
2019-05-16 Martin Quinsonmc: kill model-check/ksm option. Was not activated... tree | commitdiff
2019-05-15 Martin Quinsonmc: simplification: do not repeat information in parameters tree | commitdiff
2019-05-15 Martin Quinsonmc: Kill a C type and use the C++ one tree | commitdiff
2019-05-15 Martin Quinsonmc/compare: reduce the scope of some variables tree | commitdiff
2019-05-15 Martin QuinsonRemove option 'model-check/record': paths are recorded... tree | commitdiff
2019-05-15 Martin Quinson[mc] enable model-check/record by default, and cosmetics tree | commitdiff
2019-05-14 Millian Poquet[mc] do not ignore MC_ASSERT in replay mode tree | commitdiff
2019-05-07 Frederic Sutercosmetics: make more fields private tree | commitdiff
2019-05-06 Arnaud GierschMissing explicit. tree | commitdiff
2019-05-06 Arnaud GierschKill useless hack (and its union). tree | commitdiff
2019-05-06 Arnaud GierschUse aligned storage and remove usage of union. tree | commitdiff
2019-05-06 Arnaud GierschFix a FIXME. tree | commitdiff
2019-05-06 Arnaud GierschChange two dynars (maybe more). tree | commitdiff
2019-05-03 Arnaud GierschMore Sonar smells around "noreturn". tree | commitdiff
2019-05-03 Arnaud Giersch[sonar] Extract assignments from expressions. tree | commitdiff
2019-05-03 Arnaud GierschKill never implemented option "model-check/snapshot_fds". tree | commitdiff
2019-05-03 Arnaud Giersch[sonar] Add attribute "noreturn" to non-returning funct... tree | commitdiff
2019-05-03 Arnaud Giersch[sonar] Don't name unused exceptions. tree | commitdiff
2019-04-24 Arnaud GierschCosmetics: conslidate TODO list. tree | commitdiff
2019-04-24 Arnaud GierschMany const to remove a mutable (TODO--). tree | commitdiff
2019-04-18 Arnaud GierschTidy up mc/mc_unw a little. tree | commitdiff
2019-04-12 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-04-12 Arnaud GierschFix hash update. tree | commitdiff
2019-04-02 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-04-02 Arnaud Gierschdetached really is a boolean. tree | commitdiff
2019-03-28 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2019-03-28 Frederic Sutertry to clean and uniformize Activity Impls tree | commitdiff
next
Clone of SimGrid repository with local patches