Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Reduce dependency on ptrace.
[simgrid.git] / src / mc / ModelChecker.cpp
2019-07-09 Arnaud GierschReduce dependency on ptrace.
2019-06-10 Martin Quinsoncode simplification in MC start sequence
2019-06-03 Martin QuinsonMC: kill an unused field
2019-05-31 Martin QuinsonMerge branch 'tracemgrsplit' into 'master'
2019-05-30 Martin QuinsonMC::remote: snake case
2019-05-28 Martin Quinsonmc: snake_case the checkers
2019-05-28 Martin Quinsonmc: snake_case a class
2019-05-26 Martin Quinsonfurther tidy the includes in MC
2019-05-25 Martin Quinsonmc: kill some useless includes
2019-05-16 Frederic SuterMerge branch 'master' of https://framagit.org/simgrid...
2019-05-15 Martin Quinson[mc] enable model-check/record by default, and cosmetics
2019-05-03 Arnaud GierschMore Sonar smells around "noreturn".
2019-01-21 Arnaud GierschRemove old cruft.
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-18 Arnaud GierschConvert MC config parameters to C++ API, and move their...
2018-04-18 Arnaud GierschClean up duplicated declarations for mc_config variables.
2018-03-30 Martin QuinsonMerge pull request #259 from simgrid/configfix
2018-03-28 Arnaud GierschRename sg_config.h -> sg_config.hpp.
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-11-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-11-04 Frederic Suterstringify (a lot)
2017-11-01 Arnaud GierschRemove useless typedefs.
2017-10-28 Arnaud GierschSonar: replace "switch" statement by an "if".
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-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-10-10 Arnaud GierschRename C++ only header files from .h to .hpp.
2017-10-02 ZitagccMerge branch 'master' into async-wait
2017-09-22 Arnaud GierschReally kill the process.
2017-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-08-27 Martin QuinsonMerge pull request #215 from Takishipp/s_type_cleanup
2017-08-23 Arnaud GierschUse (const) references with range-based for loops.
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-16 Martin Quinsoncosmetics
2017-07-16 Martin Quinsonfurther cleanups of the MC protocol (and fix its build :)
2017-07-16 Martin QuinsonMC: rename process into RemoteClient
2017-07-16 Martin Quinsoncleanups in the MC protocol
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-26 Martin Quinsonchop, chop, chop includes
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...
next