AND Public Git Repository - simgrid.git/history - examples/smpi/mc/non

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / examples / smpi / mc / non_deterministic.tesh

2017-07-20	Arnaud Giersch	Use actual names for configuration options (kebab-case...	blob \| commitdiff \| raw
2016-11-30	Millian Poquet	Merge branch 'master' of https://github.com/mpoquet...	blob \| commitdiff \| raw \| diff to current
2016-08-29	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-08-29	Martin Quinson	smpi/running-power is renamed to smpi/host-speed	blob \| commitdiff \| raw \| diff to current
2016-04-26	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-25	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-25	Martin Quinson	kebab-case some smpi options	blob \| commitdiff \| raw \| diff to current
2016-02-24	Fabien Chaix	Merge branch 'oldstyle_element_set'	blob \| commitdiff \| raw \| diff to current
2016-02-23	fabienchaix	Merge pull request #2 from mquinson/master	blob \| commitdiff \| raw \| diff to current
2016-02-20	Martin Quinson	Merge branch 'coverity_scan' of github.com:mquinson...	blob \| commitdiff \| raw \| diff to current
2016-02-06	Martin Quinson	Merge pull request #59 from fabienchaix/master	blob \| commitdiff \| raw \| diff to current
2016-02-03	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-02-02	Christian Heinrich	[SMPI] Renamed option send_is_detached_thres to send_is...	blob \| commitdiff \| raw \| diff to current
2015-10-13	Martin Quinson	Merge branch 'S4U'	blob \| commitdiff \| raw \| diff to current
2015-09-01	Gabriel Corona	[mc] Remove the --cfg=model-check:1 flag	blob \| commitdiff \| raw \| diff to current
2015-07-14	Martin Quinson	Merge pull request #17 from mpoquet/master	blob \| commitdiff \| raw \| diff to current
2015-07-10	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2015-07-10	Martin Quinson	do not output a user unfriendly line	blob \| commitdiff \| raw \| diff to current
2015-07-10	Martin Quinson	MASSIVE cleanup: s/workstation/host/	blob \| commitdiff \| raw \| diff to current
2015-05-19	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-04-14	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-03-10	Gabriel Corona	Merge branch 'master' into mc-process	blob \| commitdiff \| raw \| diff to current
2015-02-25	Marion Guthmuller	model-checker : really (?) fix SIMCALL_MUTEX_LOCK and...	blob \| commitdiff \| raw
2015-02-12	Gabriel Corona	Merge master into mc-process	blob \| commitdiff \| raw \| diff to current
2015-02-03	Gabriel Corona	[mc] Basic infrastructure for a real model-checker...	blob \| commitdiff \| raw \| diff to current
2015-01-16	Gabriel Corona	[mc] Create a separate simgrid-mc program	blob \| commitdiff \| raw \| diff to current
2014-12-09	Gabriel Corona	[mc] Enable the custom mm malloc only in MC	blob \| commitdiff \| raw \| diff to current
2014-12-04	Gabriel Corona	[mc] Move process info in a new s_mc_process_t structure	blob \| commitdiff \| raw \| diff to current
2014-10-09	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-10-01	etortilopez	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-09-29	Augustin Degomme	change name of some targets for mc, to avoid warnings...	blob \| commitdiff \| raw \| diff to current
2014-07-25	Gabriel Corona	Merge branch 'mc'	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-07-24	Adrien Lebre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-07-17	Augustin Degomme	tesh update for fabien's work on surf	blob \| commitdiff \| raw \| diff to current
2014-07-03	Marion Guthmuller	model-checker : update tesh	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 : update tesh	blob \| commitdiff \| raw \| diff to current
2014-06-04	Marion Guthmuller	model-checker : fix backtracking with comm determinism...	blob \| commitdiff \| raw \| diff to current
2014-06-03	Marion Guthmuller	model-checker : new tesh examples about communications...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom