Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cut some more includes
[simgrid.git] / src / mc / ModelChecker.cpp
2017-05-25 Martin Quinsoncut some more includes
2017-05-24 Martin Quinsonthis header file is much less interesting now that...
2017-05-23 Martin Quinsonremove (void) in C++
2017-05-23 Martin Quinsonplease codacy: use long form of negation in C++
2017-01-16 Martin Quinsoncontinue to split the source code of MC. Split remoting
2017-01-14 Martin Quinsonmove the checker algorithms to their own directory
2017-01-06 Martin Quinsonkill an unused static function
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-11-29 Matthieu VolatBSD/SysV ptrace resume addr is 1, not 0 like in linux.
2016-11-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-11-28 Matthieu VolatMore ptrace portability in model checker.
2016-11-28 Matthieu VolatSet waitpid() for model-checked flags according to...
2016-07-28 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-07-20 Gabriel CoronaMerge remote-tracking branch 'adfaure/master'
2016-07-18 Martin Quinsonfix some typos
2016-07-11 Gabriel Corona[mc] Remove xbt_dict in ModelChecker
2016-04-28 Gabriel Corona[mc] Remove redundant 'mc_mode' global variable
2016-04-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-21 Martin Quinsonuseless global variable, hindering MC equality
2016-04-18 Gabriel CoronaClear errno when throwing an errno exception
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] Move MC_report() functions as static functions...
2016-04-13 Gabriel Corona[mc] Remove mc_stats and move remaining stats in ModelC...
2016-04-13 Gabriel Corona[mc] Remove mc_stats.state_size (not used)
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-04-03 degommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-01 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-01 Gabriel Corona[mc] Only #include LivenessChecker.hpp in LivenessCheck...
2016-03-24 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-24 Gabriel Corona[mc] Move main liveness code in a LivenessChecker class
2016-03-15 Gabriel Corona[mc] Remove split the MCed and MCer part of MC_deadlock...
2016-03-15 Gabriel Corona[mc] Remove remaining bits of parmap in MC (not used)
2016-03-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-15 Gabriel Corona[mc] Make Process:cache_flags private
2016-03-13 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-11 Gabriel Corona[mc] Encapsulate model-checker/model-checker communicat...
2016-03-11 Gabriel Corona[mc] Remove useless extern "C" around logging categories
2016-03-08 Gabriel Corona[mc] Move mc_liveness code in simgrid::mc
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-07 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-07 Gabriel Corona[mc] Remove useless braces
2016-03-01 Gabriel CoronaCoding style: camel case RemotePtr
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 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel Corona[mc] Fix previous commit
2016-02-26 Gabriel Corona[mc] Homogeneise throwned system_error
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 degommeFix build with mc
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
2016-02-12 Gabriel Corona[mc] Fix testall
2015-12-16 Gabriel Corona[mc] Fix the MC wrt the simgrid::Host modification
2015-12-15 Gabriel CoronaUse simgrid::Host instead of xbt_dictelt_t for root...
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-11-23 Gabriel Corona[mc] Move ignore_local_variable() into Process
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process
2015-11-23 Gabriel Corona[mc] Move stacks_areas into Process
2015-11-23 Gabriel Corona[mc] Remove MCer_ignore_global_variable
2015-11-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-11-12 Gabriel Corona[mc] Simplification, remove profiling code
2015-11-12 Gabriel Corona[mc] Merge Server class into ModelChecker
2015-11-12 Gabriel Corona[mc] Move privatization flag initialization
2015-11-10 Gabriel Corona[mc] Fix privatisation support
2015-10-13 Martin QuinsonMerge branch 'S4U'
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-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-28 Gabriel Corona[mc] Multiple heap removal (partial)
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