Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Define one struct per MC message type
[simgrid.git] / src / mc / mc_server.cpp
2015-02-05 Gabriel Corona[mc] Define one struct per MC message type
2015-02-03 Gabriel Corona[mc] Move MC_init_pid outside of mc_server
2015-02-03 Gabriel Corona[mc] Remove some functions in mc_server
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...