AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2016-11-28	Matthieu Volat	Set waitpid() for model-checked flags according to...	blob \| commitdiff \| raw
2016-07-28	degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-07-20	Gabriel Corona	Merge remote-tracking branch 'adfaure/master'	blob \| commitdiff \| raw \| diff to current
2016-07-18	Martin Quinson	fix some typos	blob \| commitdiff \| raw \| diff to current
2016-07-11	Gabriel Corona	[mc] Remove xbt_dict in ModelChecker	blob \| commitdiff \| raw \| diff to current
2016-04-28	Gabriel Corona	[mc] Remove redundant 'mc_mode' global variable	blob \| commitdiff \| raw \| diff to current
2016-04-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-22	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-21	Martin Quinson	useless global variable, hindering MC equality	blob \| commitdiff \| raw \| diff to current
2016-04-18	Gabriel Corona	Clear errno when throwing an errno exception	blob \| commitdiff \| raw \| diff to current
2016-04-14	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Move MC_report() functions as static functions...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Remove mc_stats and move remaining stats in ModelC...	blob \| commitdiff \| raw \| diff to current
2016-04-13	Gabriel Corona	[mc] Remove mc_stats.state_size (not used)	blob \| commitdiff \| raw \| diff to current
2016-04-12	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-11	Gabriel Corona	[mc] Rename RecordTraceElement as Transition and use...	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-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 liveness code in a LivenessChecker class	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Remove split the MCed and MCer part of MC_deadlock...	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Remove remaining bits of parmap in MC (not used)	blob \| commitdiff \| raw \| diff to current
2016-03-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Make Process:cache_flags private	blob \| commitdiff \| raw \| diff to current
2016-03-13	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2016-03-13	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-11	Gabriel Corona	[mc] Encapsulate model-checker/model-checker communicat...	blob \| commitdiff \| raw \| diff to current
2016-03-11	Gabriel Corona	[mc] Remove useless extern "C" around logging categories	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-03-07	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-07	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2016-03-07	Gabriel Corona	[mc] Remove useless braces	blob \| commitdiff \| raw \| diff to current
2016-03-01	Gabriel Corona	Coding style: camel case RemotePtr	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	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] Don't leave model-checked processes around	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	degomme	Fix build with mc	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-12	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-12	Gabriel Corona	[mc] Fix MC cross-process memory access	blob \| commitdiff \| raw \| diff to current
2016-02-12	Gabriel Corona	[mc] Fix testall	blob \| commitdiff \| raw \| diff to current
2015-12-16	Gabriel Corona	[mc] Fix the MC wrt the simgrid::Host modification	blob \| commitdiff \| raw \| diff to current
2015-12-15	Gabriel Corona	Use simgrid::Host instead of xbt_dictelt_t for root...	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-23	Gabriel Corona	[mc] Move ignore_local_variable() into Process	blob \| commitdiff \| raw \| diff to current
2015-11-23	Gabriel Corona	[mc] Move heap_ignore to Process	blob \| commitdiff \| raw \| diff to current
2015-11-23	Gabriel Corona	[mc] Move stacks_areas into Process	blob \| commitdiff \| raw \| diff to current
2015-11-23	Gabriel Corona	[mc] Remove MCer_ignore_global_variable	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] 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] Fix privatisation support	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	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	[mc] Bring back soft-dirty tracking from the dead 💀	blob \| commitdiff \| raw \| diff to current
2015-05-21	Gabriel Corona	[mc] Make C++ classes out of addres_space, process...	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-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] Add missing copyright notices (and update)	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] C++ class PageStore	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] C++ class ModelChecker	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom