AND Public Git Repository - simgrid.git/history - examples/msg/mc/bugged1

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / examples / msg / mc / bugged1_liveness.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-06-20	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-06-20	Frederic Suter	today is doomsday: platform.xml is sacrificed for the...	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	Gabriel Corona	[mc] Really ignore the output of bugged1_liveness	blob \| commitdiff \| raw \| diff to current
2016-04-21	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-21	Gabriel Corona	[mc] Ingnore the output of the liveness test and only...	blob \| commitdiff \| raw \| diff to current
2016-04-19	Gabriel Corona	[mc] Increase the timeout of the liveness tests	blob \| commitdiff \| raw \| diff to current
2016-03-23	Gabriel Corona	[mc] Remove MC_init()	blob \| commitdiff \| raw \| diff to current
2016-02-22	Gabriel Corona	[mc] Fix context registration which was disabled by...	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-12	Gabriel Corona	[mc] Update the tesh for mc-bugged1-liveness	blob \| commitdiff \| raw \| diff to current
2016-01-25	degomme	desperate attempt :	blob \| commitdiff \| raw \| diff to current
2016-01-22	Martin Quinson	revalidate tesh files when maestro is given a process...	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-06-02	Gabriel Corona	[mc] exit() instead of abort() in normal operation	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-04-09	Gabriel Corona	[mc] Move liveness in MCer 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-18	Arnaud Legrand	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2015-02-12	Gabriel Corona	Merge master into mc-process	blob \| commitdiff \| raw \| diff to current
2015-02-09	Marion Guthmuller	model-checker : revalidate tesh	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-07-25	Gabriel Corona	Merge branch 'mc'	blob \| commitdiff \| raw \| diff to current
2014-07-01	Gabriel Corona	[mc] Fix unit MC tests after platform file move/rename	blob \| commitdiff \| raw \| diff to current
2014-06-27	Gabriel Corona	Merge branch 'mc'	blob \| commitdiff \| raw \| diff to current
2014-06-04	Marion Guthmuller	model-checker : compare the pid of enabled processes...	blob \| commitdiff \| raw \| diff to current
2014-06-03	Marion Guthmuller	model-checker : comment erroneous ignore (not completel...	blob \| commitdiff \| raw \| diff to current
2014-04-22	Stéphane Castelli	Merge branch 'smpi-topo'	blob \| commitdiff \| raw \| diff to current
2014-04-01	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-31	Martin Quinson	Revert "Remove XBT_INFO call"	blob \| commitdiff \| raw \| diff to current
2014-03-31	Pierre Veyre	Remove XBT_INFO call	blob \| commitdiff \| raw \| diff to current
2014-03-31	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-31	Arnaud Giersch	[mc] Reduce stack_size for tests mc-bugged*.	blob \| commitdiff \| raw \| diff to current
2014-03-21	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2014-03-21	Gabriel Corona	Merge branch 'mc++'	blob \| commitdiff \| raw \| diff to current
2014-03-06	Gabriel Corona	Merge branch 'mc' into mc++	blob \| commitdiff \| raw \| diff to current
2014-02-28	Gabriel Corona	Merge branch 'mc++' into mc-merge	blob \| commitdiff \| raw \| diff to current
2014-02-28	Gabriel Corona	[mc] Fix broken tests with surf++ (because simcall...	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	Merge 'master' into mc	blob \| commitdiff \| raw \| diff to current
2013-11-15	Paul Bédaride	Merge branch 'surf++'	blob \| commitdiff \| raw \| diff to current
2013-11-15	Arnaud Giersch	Fix confusion between bindir and srcdir.	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge branch 'hypervisor' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-11-08	Paul Bédaride	Merge tag 'v3_9_90' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-10-30	Paul Bédaride	Merge commit '045db1657e870c721be490b411868f4181a12ced...	blob \| commitdiff \| raw \| diff to current
2013-10-24	Marion Guthmuller	model-checker : update tesh files	blob \| commitdiff \| raw \| diff to current
2013-10-06	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-04	Marion Guthmuller	model-checker : update tesh files	blob \| commitdiff \| raw \| diff to current
2013-09-24	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2013-09-24	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-09-21	Marion Guthmuller	model-checker : fix platform file path in tesh examples	blob \| commitdiff \| raw \| diff to current
2013-09-21	Marion Guthmuller	model-checker : new tesh example for liveness model...	blob \| commitdiff \| raw \| diff to current
2013-08-14	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-08-10	Marion Guthmuller	model-checker : update tesh	blob \| commitdiff \| raw \| diff to current
2013-08-05	Marion Guthmuller	model-checker : update tesh files	blob \| commitdiff \| raw \| diff to current
2013-07-01	acarpena	Merge branch 'dvfs'	blob \| commitdiff \| raw \| diff to current
2013-06-28	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-06-19	Paul Bédaride	Merge branch 'master' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-06-10	Marion Guthmuller	model-checker : update tesh for liveness example	blob \| commitdiff \| raw \| diff to current
2013-05-31	Marion Guthmuller	model-checker : update bugged1_liveness tesh	blob \| commitdiff \| raw \| diff to current
2013-04-15	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-04-10	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-04-02	alebre	Merge branch 'master' into hypervisor	blob \| commitdiff \| raw \| diff to current
2013-04-02	Marion Guthmuller	model-checker : update tesh	blob \| commitdiff \| raw \| diff to current
2013-04-02	Marion Guthmuller	model-checker : update tesh (different log messages)	blob \| commitdiff \| raw \| diff to current
2013-03-25	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Marion Guthmuller	model-checker : order reached_pairs by number of proces...	blob \| commitdiff \| raw \| diff to current
2013-03-19	Marion Guthmuller	model-checker : update tesh (according to previous...	blob \| commitdiff \| raw \| diff to current
2013-03-16	Marion Guthmuller	model-checker : update tesh	blob \| commitdiff \| raw \| diff to current
2013-02-21	Takahiro Hirofuchi	Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...	blob \| commitdiff \| raw \| diff to current
2013-02-21	alebre	Merge with master and fix conflicts	blob \| commitdiff \| raw \| diff to current
2013-02-12	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-02-05	Arnaud Giersch	Merge branch 'v3_9_x'	blob \| commitdiff \| raw \| diff to current
2013-02-02	Martin Quinson	Merge branch 'master' of github.com:mquinson/simgrid	blob \| commitdiff \| raw \| diff to current
2013-01-31	Marion Guthmuller	model-checker : update tesh bugged1_liveness and chord_...	blob \| commitdiff \| raw \| diff to current
2013-01-30	Arnaud Giersch	Incorporate simgrid-java in simgrid-java/.	blob \| commitdiff \| raw \| diff to current
2013-01-17	Arnaud Giersch	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2013-01-16	Jonathan Rouzaud...	Merge with master	blob \| commitdiff \| raw \| diff to current
2013-01-10	Marion Guthmuller	model-checker : update tesh	blob \| commitdiff \| raw \| diff to current
2012-12-11	Marion Guthmuller	model-checker : update tesh bugged1_liveness	blob \| commitdiff \| raw \| diff to current
2012-12-02	Marion Guthmuller	model-checker : increase tesh timeout	blob \| commitdiff \| raw \| diff to current
2012-11-27	Jonathan Rouzaud...	update	blob \| commitdiff \| raw \| diff to current
2012-11-27	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-11-18	Marion Guthmuller	model-checker : add tesh for bugged1_liveness and chord...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom