Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remote support for MC_deadlock_check() using MC_MESSAGE_DEADLOCK_CHECK IPC message
[simgrid.git] / src / mc / mc_base.c
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