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.c

2017-06-14	Takishipp	Merge branch 'clean_events' of github.com:Takishipp...	blob \| commitdiff \| raw
2017-06-14	Toufik Boubehziz	Merge branch 'master' into clean_events	blob \| commitdiff \| raw
2017-06-13	Martin Quinson	kill all trailling whitespaces	blob \| commitdiff \| raw
2017-06-02	Martin Quinson	Merge pull request #179 from Takishipp/signals	blob \| commitdiff \| raw \| diff to current
2017-06-02	Martin Quinson	Merge pull request #177 from Takishipp/sd_exit	blob \| commitdiff \| raw \| diff to current
2017-05-30	Martin Quinson	please sonar	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-04-20	Martin Quinson	spellchecking instead of sleeping	blob \| commitdiff \| raw \| diff to current
2016-04-04	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-04-04	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-04-04	Gabriel Corona	Fix #includes to automaton.h	blob \| commitdiff \| raw \| diff to current
2016-03-14	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2016-03-14	Frederic Suter	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2016-03-14	Frederic Suter	factor Cmake and clean files	blob \| commitdiff \| raw \| diff to current
2015-08-09	Martin Quinson	Merge branch 'master' into S4U	blob \| commitdiff \| raw \| diff to current
2015-08-05	Martin Quinson	Update copyright notices	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-04-08	Adrien Lebre	Merge before commiting VM changes - Adrien	blob \| commitdiff \| raw \| diff to current
2015-04-04	Martin Quinson	mv msg/msg.h simgrid/msg.h	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-10	Gabriel Corona	[mc] Register symbols as pointers in the examples	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-25	Gabriel Corona	[mc] Test if the stack-cleaner has any effect	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-24	Gabriel Corona	Merge 'master' into mc	blob \| commitdiff \| raw \| diff to current
2014-02-05	Arnaud Giersch	Add/update copyright notices.	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-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 bugged mutual exclusion algorithm	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 : new tesh example for liveness model...	blob \| commitdiff \| raw \| diff to current
2013-09-21	Marion Guthmuller	model-checker : fix bugged1_liveness example	blob \| commitdiff \| raw \| diff to current
2013-08-19	Pierre Veyre	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-08-14	Marion Guthmuller	model-checker : update MSG bugged mutual exclusion...	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 : restore while statement for bugged1_liv...	blob \| commitdiff \| raw \| diff to current
2013-05-28	Marion Guthmuller	model-checker : add global variable in bugged1_liveness...	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-19	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-02-14	Arnaud Giersch	Replace, when possible, calls to bprintf() by calls...	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 : remove trigger for state equality detection	blob \| commitdiff \| raw \| diff to current
2013-01-30	Arnaud Giersch	Incorporate simgrid-java in simgrid-java/.	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-10-27	Marion Guthmuller	model-checker : clean debug information in bugged1_live...	blob \| commitdiff \| raw \| diff to current
2012-10-24	alebre	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2012-10-06	Marion Guthmuller	model-checker : cleanup in mc examples	blob \| commitdiff \| raw \| diff to current
2012-10-05	Marion Guthmuller	model-checker : display information about variables...	blob \| commitdiff \| raw \| diff to current
2012-07-11	Marion Guthmuller	model-checker : application alert for state equality...	blob \| commitdiff \| raw \| diff to current
2012-07-10	Marion Guthmuller	model-checker : update example bugged1_liveness (variab...	blob \| commitdiff \| raw \| diff to current
2012-07-02	Marion Guthmuller	model-checker: sed 's/m_task_t/msg_task_t/g' on MC...	blob \| commitdiff \| raw \| diff to current
2012-06-26	Marion Guthmuller	model-checker : keep one bugged1 example for liveness...	blob \| commitdiff \| raw \| diff to current
2012-04-22	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw
2012-04-20	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw
2012-04-20	Marion Guthmuller	model-checker : separate bugged1_liveness (deleted...	blob \| commitdiff \| raw
2012-04-03	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-04-02	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-30	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-27	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-23	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-03-15	Marion Guthmuller	model-checker : change log category name	blob \| commitdiff \| raw \| diff to current
2012-01-13	Martin Quinson	Merge branch 'MC_LTL'	blob \| commitdiff \| raw \| diff to current
2012-01-11	Marion Guthmuller	merge conflicts resolved	blob \| commitdiff \| raw \| diff to current
2012-01-09	Marion Guthmuller	model-checker : new examples for verification of livene...	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom