Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase tesh timeouts
[simgrid.git] / examples / msg / mc / platform.xml
2012-02-03 Martin Quinsonkill some dupplicate routes: now that we issue a warnin...
2011-01-21 navarropLet simgrid.dtd to be accessible from the web in order...
2010-11-30 navarropUpdate platfrom version to 3.
2010-10-04 mquinsonupdate all the platforms file with the new s/:/_/ in DTD
2010-09-28 navarropNew platform files (just add AS tag)
2010-05-05 mquinsonSome MSG examples mainly useful to test the model-checker