Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: move some files related to ELF, DWARF or unwind reading into their own directory
[simgrid.git] / src / mc / ModelChecker.hpp
2019-05-03 Arnaud Giersch[sonar] Add attribute "noreturn" to non-returning funct...
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni
2018-07-04 Martin QuinsonMerge branch 'master' of https://github.com/Onesphore...
2018-07-04 Martin Quinsonmove libsosp into its own directory
2018-06-27 onesphoreMerge remote-tracking branch 'upstream/master'
2018-06-23 Martin QuinsonMerge pull request #272 from mpoquet/SMPI_convert
2018-06-23 Martin Quinsonuntangle a bit mc header files
2018-04-08 Arnaud GierschUpdate copyright headers.
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp...
2017-11-23 ZitagccMerge branch 'master' into actor-yield
2017-10-18 ZitagccMerge branch 'master' into actor-priority
2017-10-15 Martin QuinsonMerge branch 'actor-startkilltime' of https://github...
2017-10-15 Martin QuinsonMerge pull request #228 from Takishipp/actor-execute
2017-10-14 Arnaud GierschCosmetics: remove redundant access specifier.
2017-10-10 Arnaud GierschRemove useless typedef's from C++ files.
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-16 Martin Quinsonfurther cleanups of the MC protocol (and fix its build :)
2017-07-16 Martin QuinsonMC: rename process into RemoteClient
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-25 Martin Quinsoncut some more includes
2017-05-24 Martin Quinsonremove some useless includes
2017-05-22 Martin QuinsonMerge pull request #168 from simgrid/smpi_huge_pages
2017-05-22 Frederic Suterstart reducing smells in MC code
2017-01-16 Martin Quinsoncontinue to split the source code of MC. Split remoting
2016-12-01 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2016-12-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-11-29 Matthieu VolatSwitch the event handling in the MC to libevent.
2016-07-11 Gabriel Corona[mc] Remove xbt_dict in ModelChecker
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-13 Gabriel Corona[mc] Remove mc_stats and move remaining stats in ModelC...
2016-04-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-11 Gabriel Corona[mc] Rename RecordTraceElement as Transition and use...
2016-03-29 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-29 Gabriel Corona[mc] Remove Snapshot::is_important_snapshot()
2016-03-29 Gabriel Corona[mc] Use shared_ptr for Snapshot
2016-03-29 Gabriel Corona[mc] Let the Checker give us the current record trace
2016-03-15 Gabriel Corona[mc] Remove split the MCed and MCer part of MC_deadlock...
2016-03-15 Gabriel Corona[mc] Remove C typedefs (mc_foobar_t) and mc_forward.h
2016-03-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-15 Gabriel Corona[mc] Fix comment/TODO
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
2016-02-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-26 Gabriel Corona[mc] s/NULL/nullptr/
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Don't leave model-checked processes around
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-23 Gabriel Corona[mc] Partial cleanup of the initialisation of the diffe...
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-12 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-12 Gabriel Corona[mc] Fix MC cross-process memory access
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Move the MCer wait_for_requests logic outside...
2015-11-12 Gabriel Corona[mc] Merge Server class into ModelChecker
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-15 Gabriel Corona[mc] Fix ModelChecker::is_important_snapshot(), do...
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-09 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2015-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-09 Gabriel Corona[mc] Move MC_important_snapshot() as a method of ModelC...
2015-10-09 Gabriel Corona[mc] Rename mc_process.{h,cpp} into Process.{h,c}pp
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-24 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-23 Gabriel Corona[mc] Remove a lot of typedefs and typedef usage
2015-07-21 Gabriel Corona[mc] Cleanup/C++ification of {ModelChecker,PageStore...
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-06-29 Gabriel Corona[mc] Fix include guards
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process...
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] Add missing copyright notices (and update)
2015-04-17 Gabriel Corona[mc] C++ class PageStore
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker