AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2021-03-14	Martin Quinson	Kill a file that was almost empty	blob \| commitdiff \| raw
2021-03-06	Martin Quinson	MC: inline a function, kill a file	blob \| commitdiff \| raw \| diff to current
2021-03-02	Arnaud Giersch	Rename mc_base.h -> .hpp (it's C++ only anyway).	blob \| commitdiff \| raw \| diff to current
2021-02-28	Martin Quinson	objectification of MC simcall achieved -- many tests...	blob \| commitdiff \| raw \| diff to current
2021-01-13	agougeon	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2021-01-12	Arnaud Giersch	Update copyright lines.	blob \| commitdiff \| raw \| diff to current
2020-12-20	Martin Quinson	Deprecate a SIMIX function that was badly named anyway	blob \| commitdiff \| raw \| diff to current
2020-12-15	Augustin Degomme	Merge branch 'Adrien.Gougeon/simgrid-master'	blob \| commitdiff \| raw \| diff to current
2020-11-26	Ehsan Azimi	Merge branch 'master' of github.com:simgrid/simgrid...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	[pvs] A part of conditional expression is always false...	blob \| commitdiff \| raw \| diff to current
2020-11-25	Arnaud Giersch	Enum class for MC call types, and MC comm pattern diffe...	blob \| commitdiff \| raw \| diff to current
2020-10-23	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-stoprofiles'	blob \| commitdiff \| raw \| diff to current
2020-05-10	Martin Quinson	stick to our coding standards: fields must have a trail...	blob \| commitdiff \| raw \| diff to current
2020-02-06	Arnaud Giersch	Merge branch 'pikachuyann/simgrid-xbt_random'	blob \| commitdiff \| raw \| diff to current
2020-01-31	Arnaud Giersch	Cosmetics: fix "Malformed whitespace in C++" spotted...	blob \| commitdiff \| raw \| diff to current
2020-01-24	Frederic Suter	Merge branch 'depencencies' of https://framagit.org...	blob \| commitdiff \| raw \| diff to current
2020-01-01	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw \| diff to current
2019-12-28	Arnaud Giersch	[sonar] Constify pointer and reference parameters in...	blob \| commitdiff \| raw \| diff to current
2019-10-07	Frederic Suter	Merge branch 'master' into CRTP	blob \| commitdiff \| raw \| diff to current
2019-08-17	Martin Quinson	use assignment to non-trivial class rather than artific...	blob \| commitdiff \| raw \| diff to current
2019-08-15	Martin Quinson	obey our coding standards, and snake_case some parts...	blob \| commitdiff \| raw \| diff to current
2019-08-09	Martin Quinson	change SIMIX_simcall_handle() into ActorImpl::simcall_h...	blob \| commitdiff \| raw \| diff to current
2019-08-08	Martin Quinson	namespacify a global function of SIMIX	blob \| commitdiff \| raw \| diff to current
2019-05-31	Martin Quinson	Merge branch 'tracemgrsplit' into 'master'	blob \| commitdiff \| raw \| diff to current
2019-05-28	Martin Quinson	mc: snake_case the checkers	blob \| commitdiff \| raw \| diff to current
2019-05-16	Frederic Suter	Merge branch 'master' of https://framagit.org/simgrid...	blob \| commitdiff \| raw \| diff to current
2019-05-15	Martin Quinson	Remove option 'model-check/record': paths are recorded...	blob \| commitdiff \| raw \| diff to current
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
next

Clone of SimGrid repository with local patches

RSS Atom