AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2017-10-10	Arnaud Giersch	Sort include lists according to clang-format.	blob \| commitdiff \| raw
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