Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Travis: actually get the packages I just made available
[simgrid.git] / src / mc / mc_base.h
2018-04-08 Arnaud GierschUpdate copyright headers.
2017-07-18 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-07-18 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2017-07-17 Martin QuinsonMerge pull request #200 from Takishipp/clear_fct
2017-07-17 Martin Quinsoncosmetics and comments
2017-07-17 Martin Quinsonfix non-MC builds
2017-07-16 Martin Quinsonremove one layer of calls
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com...
2017-05-26 Martin Quinsonchop, chop, chop includes
2017-05-25 Martin Quinsoncut some more includes
2017-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-08 Martin Quinsonfix copyright years and other psychotic cleanups
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-08-03 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-08-03 Frederic Sutertrack all the useless void
2016-05-31 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-05-31 Gabriel Corona[simix] DeXFTification of Synchro: use std::list<>...
2016-05-30 Gabriel CoronaAvoid multiple declaration on the same line/statement
2016-05-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-05-26 Gabriel Corona[simix] Use C++ templates for generating the marshaling...
2016-04-08 Gabriel Corona[mc] Misc. comments
2016-04-07 Gabriel Corona[mc] s/value/req_num/ because 'value' does not convey...
2016-03-08 Gabriel Corona[mc] Fix compilation in non-MC
2016-03-08 Gabriel Corona[mc] Move things in the MC namespace
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master
2016-02-26 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-02-26 Gabriel CoronaRemove some #include
2016-01-09 Martin Quinsoncompile with -Wmissing-declarations to catch more errors
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-10-25 Martin QuinsonReduce the amount of implicit include directories
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-01 Gabriel Corona[mc] Mark some internal symbols as hidden on ELF in mc
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-06-29 Gabriel Corona[mc] Fix include guards
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-05-07 Gabriel Corona[mc] Mark many MC symbols as hidden
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-16 Gabriel Corona[mc] Switch to C++
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...
2015-01-16 Gabriel Corona[mc] Add some comments
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-02 Augustin Degommelet's try to please windows
2014-12-01 Gabriel Corona[mc] Enable MC specific behaviour in replay mode
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay