AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2015-11-23	Gabriel Corona	[mc] Move stacks_areas into Process	blob \| commitdiff \| raw
2015-11-23	Gabriel Corona	[mc] Remove useless bits	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] Simplification, remove profiling code	blob \| commitdiff \| raw \| diff to current
2015-11-12	Gabriel Corona	[mc] Move the MCer wait_for_requests logic outside...	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] Move privatization flag initialization	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-10	Gabriel Corona	[mc] Generate a message showing the path on crash of...	blob \| commitdiff \| raw \| diff to current
2015-11-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-11-05	Gabriel Corona	[smpi] Use virtual memory layout to find the data segment	blob \| commitdiff \| raw \| diff to current
2015-10-25	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-24	degomme	try to fix some compilation erros	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	blob \| commitdiff \| raw \| diff to current
2015-10-09	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2015-10-09	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-09	Gabriel Corona	[mc] Cleanup #includes	blob \| commitdiff \| raw \| diff to current
2015-10-02	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-10-02	Gabriel Corona	Revert "[mc] Move libdw binding code in its own file"	blob \| commitdiff \| raw \| diff to current
2015-10-02	Gabriel Corona	[mc] Quick hack to display system memory information...	blob \| commitdiff \| raw \| diff to current
2015-09-18	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2015-09-17	Gabriel Corona	[mc] Move libdw binding code in its own file	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-07-24	kbaati	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-07-24	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-07-24	Gabriel Corona	[mc] Move the proposition declaration functions in...	blob \| commitdiff \| raw \| diff to current
2015-07-24	Gabriel Corona	[mc] Cleanup/simplify liveness property automaton regis...	blob \| commitdiff \| raw \| diff to current
2015-07-24	Gabriel Corona	[mc] Remove MC_automaton_new_propositional_symbol_callb...	blob \| commitdiff \| raw \| diff to current
2015-05-28	Gabriel Corona	[mc] Make Process::socket_ private	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-05	Gabriel Corona	[mc] Cleanup horrible for loop	blob \| commitdiff \| raw \| diff to current
2015-05-05	Gabriel Corona	[mc] Cleanup horrible for loop	blob \| commitdiff \| raw \| diff to current
2015-05-04	Gabriel Corona	[mc] Add missing inttypes.h include	blob \| commitdiff \| raw \| diff to current
2015-04-28	Gabriel Corona	[mc] Remove the dual heap mc_heap/std_heap	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-28	Gabriel Corona	[mc] Move MCer code from mc_ignore.cpp to mcer_ignore.cpp	blob \| commitdiff \| raw \| diff to current
2015-04-28	Gabriel Corona	[mc] Multiple heap removal (partial)	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-16	Gabriel Corona	[mc] Switch to C++	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom