Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: kill model-check/ksm option. Was not activated because not very useful
[simgrid.git] / src / mc / mc_config.cpp
2019-05-16 Martin Quinsonmc: kill model-check/ksm option. Was not activated...
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-03 Arnaud GierschKill never implemented option "model-check/snapshot_fds".
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2019-01-07 Arnaud GierschUpdate copyright lines with new year.
2018-04-19 Arnaud GierschConvert last bits from the xbt/config C interface.
2018-04-19 Arnaud GierschRemove redundant variable.
2018-04-18 Arnaud GierschConvert MC config parameters to C++ API, and move their...
2018-04-18 Arnaud GierschFactorize code (and fix message).
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-05 Martin Quinsonconvert src/mc/mc_replay.h into mc_replay.hpp (+ don...
2017-11-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-11-04 Frederic Suterstringify (a lot)
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 GierschSort include lists according to clang-format.
2017-10-10 Arnaud GierschRename C++ only header files from .h to .hpp.
2017-10-04 Arnaud GierschRemove useless includes for xbt/str.h.
2017-07-04 Martin Quinsonfix non-MC builds
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-26 Martin Quinsonmore than 100 codacy treats, not bad
2017-05-26 Martin Quinsonchop, chop, chop includes
2017-05-25 Martin Quinsoncut some more includes
2017-05-24 Martin Quinsonremove some useless includes
2017-05-23 Martin Quinsonhunt down some more short negation forms
2017-05-23 Martin Quinsonplease codacy: use long form of negation in C++
2017-05-21 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2017-05-09 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-05-05 Martin Quinsonprefix all macro defined in public simgrid_config.h...
2017-01-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-01-22 Martin Quinsoncosmetics
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-04-15 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-14 Gabriel Corona[mv] Remove soft-darty tracking
2016-04-07 Martin Quinsonoups, forgot to adapt MC to my last change in config
2016-04-05 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-05 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-04 Martin Quinsonfurther rework the config handling. Still much to do
2016-03-30 Gabriel Corona[mc] Remove the _sg_mc_liveness flag
2016-03-23 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-23 Gabriel Corona[mc] Remove some globals from is_visted_state()
2016-03-15 Gabriel Corona[mc] Fix typos
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] Remove useless extern "C" around logging categories
2016-03-08 Martin Quinsonuse #if instead if #ifdef for the things in the public...
2016-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-08 Gabriel Corona[mc] Move mc_safety 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 more useless braces
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/
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-26 Gabriel Corona[mc] Better #includes
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
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-10-02 Gabriel Corona[mc] Bring back KSM (MADV_MERGEABLE) support
2015-09-18 Gabriel Corona[mc] Fix missing #include in Windows
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
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] Remove soft dirty page tracking
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
2015-04-16 Gabriel Corona[mc] Switch to C++