]> AND Public Git Repository - simgrid.git/history - contrib/deployment_generation
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add option --cfg=model-check/sparse-checkpoint:yes to enable per page snapshot
[simgrid.git] / contrib / deployment_generation /
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-05 Arnaud GierschAdd/update copyright notices.
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2011-01-21 navarropWe now use http://simgrid.gforge.inria.fr/simgrid.dtd...
2009-10-04 velhoMoved random deployment generation to a proper place.