AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

2015-02-12	Gabriel Corona	Merge master into mc-process	blob \| commitdiff \| raw
2015-02-10	Gabriel Corona	[mc] Cleanup heap switching code	blob \| commitdiff \| raw \| diff to current
2015-02-09	Marion Guthmuller	model-checker : intermediate backtracking with model...	blob \| commitdiff \| raw \| diff to current
2014-12-08	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-12-04	Gabriel Corona	Merge branch 'master'	blob \| commitdiff \| raw \| diff to current
2014-12-04	Gabriel Corona	[mc] Remove useless header #includes	blob \| commitdiff \| raw \| diff to current
2014-12-01	Gabriel Corona	[mc] Initial support MC record/replay	blob \| commitdiff \| raw \| diff to current
2014-11-28	Adrien Lebre	merge msg_vm.c - adrien (please note that there is...	blob \| commitdiff \| raw \| diff to current
2014-11-01	Martin Quinson	improve a bit the documentation of popping, and align...	blob \| commitdiff \| raw \| diff to current
2014-10-30	Gabriel Corona	[mc] Try to DRY in MC main loops	blob \| commitdiff \| raw \| diff to current
2014-10-12	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-10-11	Martin Quinson	rename SIMIX_simcall_{pre,post} to SIMIX_simcall_{enter...	blob \| commitdiff \| raw \| diff to current
2014-07-24	Gabriel Corona	Merge remote-tracking branch 'origin/mc-fastsnapshot...	blob \| commitdiff \| raw \| diff to current
2014-06-27	Gabriel Corona	Merge branch 'mc'	blob \| commitdiff \| raw \| diff to current
2014-06-27	Gabriel Corona	Merge branch 'mc-fastsnapshot' into mc	blob \| commitdiff \| raw \| diff to current
2014-06-26	Marion Guthmuller	model-checker : visited states reduction available...	blob \| commitdiff \| raw \| diff to current
2014-06-04	Marion Guthmuller	model-checker : remove useless debug message and add...	blob \| commitdiff \| raw \| diff to current
2014-06-03	Marion Guthmuller	model-checker : remove useless ignore	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

RSS Atom