Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] mc_comm_pattern.c containing all communication pattern functions
[simgrid.git] / src / mc / mc_comm_determinism.c
2015-03-13 Gabriel Corona[mc] mc_comm_pattern.c containing all communication...
2015-03-12 Gabriel Corona[mc] Fetch simix_process_maxpid from MCed
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-10 Gabriel Corona[mc] Add more smx_process_t MCer/MCed translations
2015-03-10 Gabriel Corona[mc] Remote access to process name
2015-03-09 Gabriel Corona[mc] Read host name from remote process
2015-03-06 Gabriel Corona[mc] Cross-process access to smx_process and simcall
2015-02-25 Marion Guthmullermodel-checker : clang compliant
2015-02-24 Marion Guthmullermodel-checker : extend comm determinism verification
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-13 Marion Guthmullermodel-checker : include tag in comm determinism verific...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-10 Gabriel Corona[mc] Cleanup heap switching code
2015-02-09 Marion Guthmullermodel-checker : communications determinism with visited...
2014-12-12 Gabriel Corona[mc] Support for reading heap state from another process
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-02 Martin Quinsonrename smx_action_t to smx_synchro_t
2014-11-01 Martin Quinsonimprove a bit the documentation of popping, and align...
2014-11-01 Martin Quinsontypo
2014-10-30 Gabriel Corona[mc] DRY with mc_update_comm_pattern() (broken)
2014-10-30 Gabriel Corona[mc] DRY by adding get_call_type()
2014-10-30 Gabriel Corona[mc] Try to DRY in MC main loops
2014-10-12 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-11 Martin Quinsonrename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter...
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-09 Gabriel Corona[mc] Give the real type of mc_heap/std_heap (xbt_mheap_...
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot...
2014-07-03 Marion Guthmullermodel-checker : cosmetic in log message
2014-07-03 Marion Guthmullermodel-checker : remove useless condition
2014-06-27 Marion Guthmullermodel-checker : fix visited states reduction with comm...
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc
2014-06-26 Marion Guthmullermodel-checker : visited states reduction available...
2014-06-03 Marion Guthmullermodel-checker : use the right heap
2014-06-03 Marion Guthmullermodel-checker : reword debug message
2014-06-03 Marion Guthmullermodel-checker : remove useless ignore
2014-05-30 Marion Guthmullermodel-checker : fix comm determinism detection mechanisms
2014-05-30 Marion Guthmullermodel-checker : cleanups, refactoring and apply indent...