Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Dummy SafetyChecker class
[simgrid.git] / src / mc / simgrid_mc.cpp
2016-03-23 Gabriel Corona[mc] Dummy SafetyChecker class
2016-03-23 Gabriel Corona[mc] Working on an interface between a model-checking...
2016-03-15 Gabriel Corona[mc] Use _exit() in fork()-ed process
2016-03-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-09 Martin Quinsonempty portable.h and spread the include in files
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-08 Gabriel Corona[mc] Move mc_liveness code in simgrid::mc
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 CoronaRemove/cleanup/fix #include
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] 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] Cleanup/reorganise the code of simgrid_mc
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-09 Gabriel Corona[mc] Really unblock the signal in the child
2016-02-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-09 degommeSometimes (ubuntu 15.10 for us) sighup was blocked...
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] Merge Server class into ModelChecker
2015-11-12 Gabriel Corona[mc] Replace some exit() calls by return
2015-11-10 Gabriel Corona[mc] Fix exit status naming convention
2015-11-10 Gabriel Corona[mc] Move Server in simgrid::mc
2015-11-09 Gabriel Corona[mc] ptrace the model-checker application
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-09-01 Gabriel Corona[mc] Remove remaining parts of the single-process mode
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-28 Gabriel CoronaDisable lazy relocation in the model-ched process.
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-05-07 Gabriel Corona[mc] Only use prctl(PR_SET_PDEATHSIG) on Linux
2015-05-05 Gabriel Corona[mc] Remove useless variable
2015-05-05 Gabriel Corona[mc] Fix XBT_ERROR message
2015-04-28 Gabriel Corona[mc] Cleanup MC init code (split MCer and MCed init)
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-10 Gabriel Corona[mc] Kill the MCed process if/when the MCer dies
2015-04-09 Gabriel Corona[mc] Move liveness in MCer process
2015-04-07 Gabriel Corona[mc] Cleanup safety initialisation code
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-03 Gabriel Corona[mc] Move MC_init_pid outside of mc_server
2015-02-03 Gabriel Corona[mc] Remove some functions in mc_server
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...