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

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / examples / msg / mc / bugged1_liveness_visited.tesh

2018-02-01	Millian Poquet	[#!] #! ./tesh -> #!/usr/bin/env tesh	blob \| commitdiff \| raw
2017-11-27	Tom Cornebize	Merge branch 'master' into fix/execute_benched	blob \| commitdiff \| raw \| diff to current
2017-07-24	Martin Quinson	Merge pull request #202 from Takishipp/clear_fct	blob \| commitdiff \| raw \| diff to current
2017-07-20	Arnaud Giersch	Use actual names for configuration options (kebab-case...	blob \| commitdiff \| raw \| diff to current
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-19	Gabriel Corona	[mc] Increase the timeout of the liveness tests	blob \| commitdiff \| raw \| diff to current
2016-03-15	Gabriel Corona	[mc] Ignore output of bugged1_liveness_visited	blob \| commitdiff \| raw \| diff to current
2016-03-08	Gabriel Corona	[mc] Update tesh files (bugged1_liveness_visited)	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-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-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	[mc] Do not try to handle scopes inside a subprogram	blob \| commitdiff \| raw \| diff to current
2014-02-24	Gabriel Corona	[mc] Use dynar instead of dict for storing functions	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-07	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-10-06	Marion Guthmuller	model-checker : update tesh file	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-25	Marion Guthmuller	model-checker : increase timeout	blob \| commitdiff \| raw \| diff to current
2013-09-25	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	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	Marion Guthmuller	model-checker : fix system state comparison (I hate...	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

Clone of SimGrid repository with local patches

RSS Atom