AND Public Git Repository - simgrid.git/history

2014-06-27	Gabriel Corona	Merge branch 'mc-fastsnapshot' into mc	blob \| commitdiff \| raw
2014-06-26	Marion Guthmuller	model-checker : visited states reduction available...	blob \| commitdiff \| raw \| diff to current
2014-06-23	Marion Guthmuller	model-checker : clarify comments	blob \| commitdiff \| raw \| diff to current
2014-06-20	Gabriel Corona	[mc] Fix compilation warnings/errors when optimizing	blob \| commitdiff \| raw \| diff to current
2014-06-13	Gabriel Corona	[mc] Page-level sparse snapshot: work-in-progress,...	blob \| commitdiff \| raw \| diff to current
2014-05-30	Marion Guthmuller	model-checker : cleanups, refactoring and apply indent...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches