AND Public Git Repository - simgrid.git/history

Algorithmique Numérique Distribuée

Public GIT Repository

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

2017-02-07	Martin Quinson	more info to the user.	blob \| commitdiff \| raw
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-07	Martin Quinson	revalidate this tesh file, sorry	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-03-26	Gabriel Corona	[mc] Cross-process MC/safety implementation	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-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-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
2014-01-17	Marion Guthmuller	Merge remote-tracking branch 'origin/libdw2'	blob \| commitdiff \| raw \| diff to current
2014-01-09	Gabriel Corona	[mc] Add plt/got in mc_object_info_t	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-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-13	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-06-13	Marion Guthmuller	model-checker : update bugged1 and bugged2 tesh (differ...	blob \| commitdiff \| raw \| diff to current
2013-06-13	Marion Guthmuller	model-checker : increase timeout in tesh	blob \| commitdiff \| raw \| diff to current
2013-06-13	Marion Guthmuller	model-checker : update bugged2 tesh	blob \| commitdiff \| raw \| diff to current
2013-04-30	Nicolas Bonichon	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-04-29	Marion Guthmuller	model-checker : cleanups in tesh examples	blob \| commitdiff \| raw \| diff to current
2013-01-17	Arnaud Giersch	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw
2013-01-16	Jonathan Rouzaud...	Merge with master	blob \| commitdiff \| raw
2012-12-17	Paul Bédaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw
2012-12-16	Marion Guthmuller	model-checker : remove tesh bugged2 (too long with...	blob \| commitdiff \| raw
2012-12-10	Marion Guthmuller	model-checker : update tesh bugged1 and bugged2	blob \| commitdiff \| raw \| diff to current
2012-06-22	Marion Guthmuller	model-checker : update tesh with new cleanups done...	blob \| commitdiff \| raw \| diff to current
2012-06-18	Marion Guthmuller	model-checker : update tesh examples with last modifica...	blob \| commitdiff \| raw \| diff to current
2011-10-20	Martin Quinson	merge branches	blob \| commitdiff \| raw \| diff to current
2011-04-20	Christophe Thiéry	MC: make the output independent of the type of processo...	blob \| commitdiff \| raw \| diff to current
2011-04-08	Pierre-Nicolas Clauss	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2011-04-08	Navarrop	Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1...	blob \| commitdiff \| raw \| diff to current
2011-04-07	Christophe Thiéry	MC: perform actual model-checking in tesh tests	blob \| commitdiff \| raw \| diff to current
2011-02-01	thiery	Protect --log=root.fmt flag with double quotes in tesh...	blob \| commitdiff \| raw \| diff to current
2011-01-06	navarrop	Update tesh for mc.	blob \| commitdiff \| raw \| diff to current
2010-05-07	navarrop	Add tests for msg/mc.	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom