Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remote xbt_dynar_foreach() in MC_request_testany_fail()
[simgrid.git] / src / mc / mc_base.c
2015-03-23 Gabriel Corona[mc] Remote xbt_dynar_foreach() in MC_request_testany_f...
2015-03-16 Gabriel Corona[mc] Read from remote process in MC_wait_for_requests()
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-03-06 Gabriel Corona[mc] Cross-process access to smx_process and simcall
2015-02-26 Marion Guthmullermodel-checker : MUTEX_UNLOCK is invisible for MC
2015-02-25 Marion Guthmullermodel-checker : really (?) fix SIMCALL_MUTEX_LOCK and...
2015-02-25 Marion Guthmullermodel-checker : fix SIMCALL_MUTEX_LOCK with MC
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-01-16 Gabriel Corona[mc] Add some comments
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-02 Augustin Degommelet's try to please windows
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay