AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / src / mc / simgrid_mc.cpp

2016-04-28	Gabriel Corona	[mc] Remove redundant 'mc_mode' global variable	blob \| commitdiff \| raw
2016-04-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-04	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-04	Gabriel Corona	[mc] Make Checker implementation private	blob \| commitdiff \| raw \| diff to current
2016-04-03	degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-01	Gabriel Corona	[mc] Only #include LivenessChecker.hpp in LivenessCheck...	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Move global variables as fields of LivenessChecker	blob \| commitdiff \| raw \| diff to current
2016-03-24	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-24	Gabriel Corona	[mc] Remove FunctionalChecker	blob \| commitdiff \| raw \| diff to current
2016-03-24	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-24	Gabriel Corona	[mc] Move main communication determinism code in a...	blob \| commitdiff \| raw \| diff to current
2016-03-24	Gabriel Corona	[mc] Move main liveness code in a LivenessChecker class	blob \| commitdiff \| raw \| diff to current
2016-03-23	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Fix a leak in simgrid-mc	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Move the (main) safety code as methods of SafetyCh...	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Dummy SafetyChecker class	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Working on an interface between a model-checking...	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Use _exit() in fork()-ed process	blob \| commitdiff \| raw \| diff to current
2016-03-10	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-09	Martin Quinson	empty portable.h and spread the include in files	blob \| commitdiff \| raw \| diff to current
2016-03-08	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Move mc_safety code in simgrid::mc	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Move mc_liveness code in simgrid::mc	blob \| commitdiff \| raw \| diff to current
2016-02-27	Martin Quinson	Merge pull request #65 from fabienchaix/master	blob \| commitdiff \| raw \| diff to current
2016-02-26	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	Remove/cleanup/fix #include	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] s/NULL/nullptr/	blob \| commitdiff \| raw \| diff to current
2016-02-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] Fix previous commit	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] Homogeneise throwned system_error	blob \| commitdiff \| raw \| diff to current
2016-02-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	[mc] Cleanup/reorganise the code of simgrid_mc	blob \| commitdiff \| raw \| diff to current
2016-02-24	Fabien Chaix	Merge branch 'oldstyle_element_set'	blob \| commitdiff \| raw \| diff to current
2016-02-23	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-23	Gabriel Corona	[mc] Partial cleanup of the initialisation of the diffe...	blob \| commitdiff \| raw \| diff to current
2016-02-23	fabienchaix	Merge pull request #2 from mquinson/master	blob \| commitdiff \| raw \| diff to current
2016-02-20	Martin Quinson	Merge branch 'coverity_scan' of github.com:mquinson...	blob \| commitdiff \| raw \| diff to current
2016-02-09	Gabriel Corona	[mc] Really unblock the signal in the child	blob \| commitdiff \| raw \| diff to current
2016-02-09	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-09	degomme	Sometimes (ubuntu 15.10 for us) sighup was blocked...	blob \| commitdiff \| raw \| diff to current
2015-12-11	Luka Stanisic	Merging changes done by Steven, Samuel and Luka, regard...	blob \| commitdiff \| raw \| diff to current
2015-11-26	Gabriel Corona	[mc] Better #includes	blob \| commitdiff \| raw \| diff to current
2015-11-14	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-11-12	Gabriel Corona	[mc] Merge Server class into ModelChecker	blob \| commitdiff \| raw \| diff to current
2015-11-12	Gabriel Corona	[mc] Replace some exit() calls by return	blob \| commitdiff \| raw \| diff to current
2015-11-10	Gabriel Corona	[mc] Fix exit status naming convention	blob \| commitdiff \| raw \| diff to current
2015-11-10	Gabriel Corona	[mc] Move Server in simgrid::mc	blob \| commitdiff \| raw \| diff to current
2015-11-09	Gabriel Corona	[mc] ptrace the model-checker application	blob \| commitdiff \| raw \| diff to current
2015-10-25	Martin Quinson	Reduce the amount of implicit include directories	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	blob \| commitdiff \| raw \| diff to current
2015-09-01	Gabriel Corona	[mc] Remove the --cfg=model-check:1 flag	blob \| commitdiff \| raw \| diff to current
2015-09-01	Gabriel Corona	[mc] Remove remaining parts of the single-process mode	blob \| commitdiff \| raw \| diff to current
2015-08-31	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-08-28	Gabriel Corona	Disable lazy relocation in the model-ched process.	blob \| commitdiff \| raw \| diff to current
2015-08-09	Martin Quinson	Merge branch 'master' into S4U	blob \| commitdiff \| raw \| diff to current
2015-08-05	Martin Quinson	Update copyright notices	blob \| commitdiff \| raw \| diff to current
2015-05-19	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-05-07	Gabriel Corona	[mc] Only use prctl(PR_SET_PDEATHSIG) on Linux	blob \| commitdiff \| raw \| diff to current
2015-05-05	Gabriel Corona	[mc] Remove useless variable	blob \| commitdiff \| raw \| diff to current
2015-05-05	Gabriel Corona	[mc] Fix XBT_ERROR message	blob \| commitdiff \| raw \| diff to current
2015-04-28	Gabriel Corona	[mc] Cleanup MC init code (split MCer and MCed init)	blob \| commitdiff \| raw \| diff to current
2015-04-27	Gabriel Corona	Merge branch 'master' into mc	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] C++ class ModelChecker	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] Remove standalone mode and remove MC_do_the_modelc...	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-04-10	Gabriel Corona	[mc] Kill the MCed process if/when the MCer dies	blob \| commitdiff \| raw \| diff to current
2015-04-09	Gabriel Corona	[mc] Move liveness in MCer process	blob \| commitdiff \| raw \| diff to current
2015-04-07	Gabriel Corona	[mc] Cleanup safety initialisation code	blob \| commitdiff \| raw \| diff to current
2015-03-26	Gabriel Corona	[mc] Cross-process MC/safety implementation	blob \| commitdiff \| raw \| diff to current
2015-03-10	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-02-12	Gabriel Corona	Merge master into mc-process	blob \| commitdiff \| raw \| diff to current
2015-02-03	Gabriel Corona	[mc] Move MC_init_pid outside of mc_server	blob \| commitdiff \| raw \| diff to current
2015-02-03	Gabriel Corona	[mc] Remove some functions in mc_server	blob \| commitdiff \| raw \| diff to current
2015-02-03	Gabriel Corona	[mc] Basic infrastructure for a real model-checker...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom