Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Define simgrid::xbt::Path to manage file names.
[simgrid.git] / src / include / mc /
2017-10-18 ZitagccMerge branch 'master' into actor-priority
2017-10-16 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-10-16 Arnaud GierschKill useless empty functions.
2017-07-04 Martin Quinsonfinish removing simix.h from C files, and avoid the...
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals
2017-06-15 Martin QuinsonMerge pull request #181 from bcamus/master
2017-06-14 TakishippMerge branch 'clean_events' of github.com:Takishipp...
2017-06-14 Toufik BoubehzizMerge branch 'master' into clean_events
2017-06-13 Martin Quinsonkill all trailling whitespaces
2017-05-21 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid
2017-05-12 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-05-09 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-05-08 Martin Quinsondo not load internal_config.h from mc.h
2017-05-05 Martin Quinsonprefix all macro defined in public simgrid_config.h...
2017-03-08 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-08 Martin Quinsonfix copyright years and other psychotic cleanups
2017-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2017-03-07 Martin QuinsonCleanups
2017-01-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2017-01-22 Martin Quinsoncosmetics
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet...
2016-08-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-08-14 Martin Quinsonrename smx_process_t to smx_actor_t
2016-08-03 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-08-03 Frederic Sutertrack all the useless void
2016-05-30 Gabriel CoronaAvoid multiple declaration on the same line/statement
2016-04-15 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-14 Gabriel Corona[mv] Remove soft-darty tracking
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-13 Gabriel Corona[mc] Remove useless bits
2016-04-07 Martin Quinsonoups, forgot to adapt MC to my last change in config
2016-03-30 Gabriel Corona[mc] Remove the _sg_mc_liveness flag
2016-03-23 Gabriel Corona[mc] Remove MC_exit()
2016-03-23 Gabriel Corona[mc] Remove MC_init()
2016-03-23 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-23 Gabriel Corona[mc] Remove some globals from is_visted_state()
2016-03-10 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-09 Gabriel CoronaFix HAVE_FOOBAR flags handling
2016-03-06 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-06 Martin Quinsonsys/time.h is always defined nowadays
2016-03-04 Martin Quinsontry to fix the windows build
2016-03-04 Martin Quinsondon't even try to have ucontextes on windows.
2016-03-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-03-01 Frederic Suterreindent in src/include
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-02-24 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-02-24 degommefix windows compilation
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set'
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-11 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-11 Gabriel Corona[mc] Use ucontext_t instead of void* in some places
2016-02-06 Martin Quinsonsed -i -e 's/\t/ /g' [sources] Please people, stop...
2015-12-11 Luka StanisicMerging changes done by Steven, Samuel and Luka, regard...
2015-11-23 Gabriel Corona[mc] Move heap_ignore to Process
2015-11-23 Gabriel Corona[mc] Move stacks_areas into Process
2015-10-30 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-29 Martin Quinsonkill dead code (duplicated from just above)
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-10-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-02 Gabriel CoronaRevert "[mc] Move libdw binding code in its own file"
2015-10-02 Gabriel Corona[mc] Bring back soft-dirty tracking from the dead 💀
2015-10-02 Gabriel Corona[mc] Bring back KSM (MADV_MERGEABLE) support
2015-10-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-10-01 Gabriel CoronaHide more mc symbols
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-28 Gabriel Corona[mc] Move stacks_areas code in mcer_ignore
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-23 Marion Guthmullermodel-checker : really fix mc dependancies with MC...
2015-04-23 Marion Guthmullermodel-checker : fix dependancies without MC
2015-04-17 Gabriel Corona[mc] Remove soft dirty page tracking
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
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-24 Marion Guthmullermodel-checker : non-progressive cycle detection (enable...
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-12 Gabriel Corona[mc] Make an option for file descriptor snapshot (off...
2015-02-06 Gabriel Corona[mc] New message for stack_area
2015-02-06 Gabriel Corona[mc] Do not call malloc_no_memset in mc_snapshot
2015-01-30 Gabriel Corona[mc] Remote unwinding support
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-02 Gabriel Corona[mc] Modularise header files for MC
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI...
2014-07-08 Gabriel CoronaMerge branch 'mc-fix' into mc-fastsnapshot
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc
2014-06-24 Gabriel Corona[mc] Use an unordered_set for compared_pointers instead...
next