Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of scm.gforge.inria.fr:/gitroot/simgrid/simgrid
[simgrid.git] / src / mc / Client.cpp
2016-06-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-06-14 degommefix build with MC but without SMPI
2016-04-28 Gabriel Corona[mc] Remove redundant 'mc_mode' global variable
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-04-13 Gabriel Corona[mc] Remove useless model-checker/model-checked round...
2016-04-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-04-06 Gabriel Corona[mc] Use nullptr consistently in C++ code
2016-04-06 Gabriel Corona[mc] Fix #includes
2016-03-15 Gabriel Corona[mc] Remove split the MCed and MCer part of MC_deadlock...
2016-03-13 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2016-03-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria...
2016-03-11 Gabriel Corona[mc] Move client-side message processing in the Client...
2016-03-11 Gabriel Corona[mc] Rename mc_client.{h,cpp} to Client.{hpp,cpp}