AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2019-01-08	Martin Quinson	Merge branch 'master' of framagit.org:simgrid/simgrid	blob \| commitdiff \| raw
2019-01-07	Arnaud Giersch	Update copyright lines with new year.	blob \| commitdiff \| raw
2018-04-19	Arnaud Giersch	Convert last bits from the xbt/config C interface.	blob \| commitdiff \| raw \| diff to current
2018-04-19	Arnaud Giersch	Remove redundant variable.	blob \| commitdiff \| raw \| diff to current
2018-04-18	Arnaud Giersch	Convert MC config parameters to C++ API, and move their...	blob \| commitdiff \| raw \| diff to current
2018-04-18	Arnaud Giersch	Factorize code (and fix message).	blob \| commitdiff \| raw \| diff to current
2018-03-30	Martin Quinson	Merge pull request #259 from simgrid/configfix	blob \| commitdiff \| raw \| diff to current
2018-03-28	Arnaud Giersch	Rename sg_config.h -> sg_config.hpp.	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-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-10-04	Arnaud Giersch	Remove useless includes for xbt/str.h.	blob \| commitdiff \| raw \| diff to current
2017-07-04	Martin Quinson	fix non-MC builds	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-26	Martin Quinson	more than 100 codacy treats, not bad	blob \| commitdiff \| raw \| diff to current
2017-05-26	Martin Quinson	chop, chop, chop includes	blob \| commitdiff \| raw \| diff to current
2017-05-25	Martin Quinson	cut some more includes	blob \| commitdiff \| raw \| diff to current
2017-05-24	Martin Quinson	remove some useless includes	blob \| commitdiff \| raw \| diff to current
2017-05-23	Martin Quinson	hunt down some more short negation forms	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-23	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2017-01-22	Martin Quinson	cosmetics	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-04-15	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-15	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-14	Gabriel Corona	[mv] Remove soft-darty tracking	blob \| commitdiff \| raw \| diff to current
2016-04-07	Martin Quinson	oups, forgot to adapt MC to my last change in config	blob \| commitdiff \| raw \| diff to current
2016-04-05	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-05	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	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	Martin Quinson	further rework the config handling. Still much to do	blob \| commitdiff \| raw \| diff to current
2016-03-30	Gabriel Corona	[mc] Remove the _sg_mc_liveness flag	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] Remove some globals from is_visted_state()	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Fix typos	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	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-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 more useless braces	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	[mc] s/NULL/nullptr/	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-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-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-10-02	Gabriel Corona	[mc] Bring back KSM (MADV_MERGEABLE) support	blob \| commitdiff \| raw \| diff to current
2015-09-18	Gabriel Corona	[mc] Fix missing #include in Windows	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-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-04-27	Gabriel Corona	Merge branch 'master' into mc	blob \| commitdiff \| raw \| diff to current
2015-04-17	Gabriel Corona	[mc] Remove soft dirty page tracking	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