Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : memory free
[simgrid.git] / contrib /
2012-01-11 Marion Guthmullermerge conflicts resolved tree | commitdiff
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... tree | commitdiff
2012-01-06 Christophe ThiéryMerge branch 'smpi' tree | commitdiff
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch tree | commitdiff
2011-11-28 Mark Stillwellupdates to smpi_bench and added smpi_calibration tree | commitdiff
2011-11-25 Mark StillwellMerge branch 'smpi' of git+ssh://scm.gforge.inria.fr... tree | commitdiff
2011-11-25 Mark StillwellMy own calibration scripts. Slightly more automated... tree | commitdiff
2011-10-20 Mark Stillwellcut and paste code segment did not end with closing... tree | commitdiff
2011-09-26 Stephane Genaudresolved conflicts tree | commitdiff
2011-09-26 Stephane Genaud add to the model lines joining segment extrema tree | commitdiff
2011-09-20 Stephane Genaudouputs explicit C code to be included in the network... tree | commitdiff
2011-09-15 Stephane Genaudavoid anonymous print args tree | commitdiff
2011-09-15 Stephane Genaudadded sample data to test calibration script tree | commitdiff
2011-01-21 navarropWe now use simgrid.gforge.inria.fr/simgrid.dtd to gener... tree | commitdiff
2010-11-06 genaudChanged optimizing metric to log error tree | commitdiff
2010-10-25 genaudbug introduced yesterday fixed tree | commitdiff
2010-10-24 genaud+ sort skampi datalog on message size after file read tree | commitdiff
2010-10-23 genaud+ bug fixed (not pingpong time divided by #links but... tree | commitdiff
2010-10-22 genaudcomment tree | commitdiff
2010-10-04 piniSMPI's network model calibration script: you give it... tree | commitdiff
2010-07-13 genaudA tool to find 3 segments such that each segment tree | commitdiff
2009-10-04 velhoMoved random deployment generation to a proper place. tree | commitdiff
Clone of SimGrid repository with local patches