Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
no need for a lib to store the netcards. A dict is easier
[simgrid.git] / src / mc / mc_config.cpp
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++