AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2019-05-16	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw
2019-05-15	Martin Quinson	Remove option 'model-check/record': paths are recorded...	blob \| commitdiff \| raw
2019-03-12	Frederic Suter	mv ActorImpl where it belongs	blob \| commitdiff \| raw \| diff to current
2019-03-11	Arnaud Giersch	Pass std::string parameters by reference too.	blob \| commitdiff \| raw \| diff to current
2019-01-08	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2019-01-07	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2018-10-11	jed56 ( Jean-Emile...	Merge branch 'master' into v3.20-expose-simgrid-jni	blob \| commitdiff \| raw \| diff to current
2018-07-04	Martin Quinson	Merge branch 'master' of https://github.com/Onesphore...	blob \| commitdiff \| raw \| diff to current
2018-07-02	Martin Quinson	kill some include directives	blob \| commitdiff \| raw \| diff to current
2018-04-19	Arnaud Giersch	Remove redundant variable.	blob \| commitdiff \| raw \| diff to current
2018-04-08	Arnaud Giersch	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2017-11-27	Tom Cornebize	Merge branch 'master' into fix/execute_benched	blob \| commitdiff \| raw \| diff to current
2017-11-23	Takishipp	Merge branch 'actor-yield' of github.com:Takishipp...	blob \| commitdiff \| raw \| diff to current
2017-11-23	Zitagcc	Merge branch 'master' into actor-yield	blob \| commitdiff \| raw \| diff to current
2017-11-21	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-11-08	Arnaud Giersch	Use a more specific exception.	blob \| commitdiff \| raw \| diff to current
2017-11-05	Martin Quinson	convert src/mc/mc_replay.h into mc_replay.hpp (+ don...	blob \| commitdiff \| raw \| diff to current
2017-11-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-11-04	Frederic Suter	stringify (a lot)	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge branch 'actor-startkilltime' of https://github...	blob \| commitdiff \| raw \| diff to current
2017-10-15	Martin Quinson	Merge pull request #228 from Takishipp/actor-execute	blob \| commitdiff \| raw \| diff to current
2017-10-10	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Sort include lists according to clang-format.	blob \| commitdiff \| raw \| diff to current
2017-10-10	Arnaud Giersch	Rename C++ only header files from .h to .hpp.	blob \| commitdiff \| raw \| diff to current
2017-07-27	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-07-27	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-07-27	Arnaud Giersch	Fix signedness errors in format strings.	blob \| commitdiff \| raw \| diff to current
2017-07-17	Martin Quinson	Merge pull request #200 from Takishipp/clear_fct	blob \| commitdiff \| raw \| diff to current
2017-07-16	Martin Quinson	remove one layer of calls	blob \| commitdiff \| raw \| diff to current
2017-05-29	Takishipp	Merge branches 'master' and 'master' of github.com...	blob \| commitdiff \| raw \| diff to current
2017-05-25	Martin Quinson	cut some more includes	blob \| commitdiff \| raw \| diff to current
2017-05-23	Martin Quinson	please codacy: use long form of negation in C++	blob \| commitdiff \| raw \| diff to current
2017-05-21	Martin Quinson	Merge branch 'master' of github.com:simgrid/simgrid	blob \| commitdiff \| raw \| diff to current
2017-05-09	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2017-05-05	Martin Quinson	prefix all macro defined in public simgrid_config.h...	blob \| commitdiff \| raw \| diff to current
2017-01-14	Martin Quinson	move the checker algorithms to their own directory	blob \| commitdiff \| raw \| diff to current
2016-11-30	Millian Poquet	Merge branch 'master' of https://github.com/mpoquet...	blob \| commitdiff \| raw \| diff to current
2016-08-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-08-14	Martin Quinson	rename smx_process_t to smx_actor_t	blob \| commitdiff \| raw \| diff to current
2016-08-01	Martin Quinson	Populate the kernel::context namespace and continue...	blob \| commitdiff \| raw \| diff to current
2016-08-01	Martin Quinson	Rename smx_process to ActorImpl	blob \| commitdiff \| raw \| diff to current
2016-05-02	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-05-02	Gabriel Corona	[config] Rewrite the config core	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-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-06	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-06	Gabriel Corona	[mc] Fix #includes	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-29	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] -Wredundant-move	blob \| commitdiff \| raw \| diff to current
2016-03-29	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-29	Gabriel Corona	[mc] Let the Checker give us the current record trace	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-23	Gabriel Corona	[mc] Fix process_time handling	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] Remove useless extern "C" around logging categories	blob \| commitdiff \| raw \| diff to current
2016-03-08	Martin Quinson	use #if instead if #ifdef for the things in the public...	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-08	Gabriel Corona	[mc] Move things in the MC namespace	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	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-02-26	Gabriel Corona	Remove/cleanup/fix some #include	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	Martin Quinson	reduce the amount of includes to speed up recompilations	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-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-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-06-09	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-06-09	Gabriel Corona	Some (partial) fixes for cross-compiling to Windows	blob \| commitdiff \| raw \| diff to current
2015-06-02	Gabriel Corona	[mc] Enable record in liveness mode	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-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-16	Gabriel Corona	[mc] Switch to C++	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom