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

Algorithmique Numérique Distribuée

Public GIT Repository

[simgrid.git] / examples / msg / mc / CMakeLists.txt

2013-03-27	Marion Guthmuller	model-checker : add example (electric_fence) to check...	blob \| commitdiff \| raw
2013-03-16	Marion Guthmuller	model-checker : remove obsolete example	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-11	Augustin Degomme	resolve cmakelists conflict	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-30	Jonathan Rouzaud...	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2013-01-30	Arnaud Giersch	Merge branch 'v3_9_x'	blob \| commitdiff \| raw \| diff to current
2013-01-30	Arnaud Giersch	Add more missing files to the archive.	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-11	Martin Quinson	fix the make dist target by not including some files...	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-20	Marion Guthmuller	model-checker : new tesh for snapshot comparison tests	blob \| commitdiff \| raw \| diff to current
2012-11-15	Marion Guthmuller	model-checker : create subdir for chord example with...	blob \| commitdiff \| raw \| diff to current
2012-11-12	Augustin Degomme	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-11-07	Marion Guthmuller	model-checker: add chord example for liveness property...	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : test examples for snapshot comparison	blob \| commitdiff \| raw \| diff to current
2012-10-27	Marion Guthmuller	model-checker : remove files about test_heap_comparison	blob \| commitdiff \| raw \| diff to current
2012-10-27	Arnaud Giersch	Merge branch 'v3_8_x'	blob \| commitdiff \| raw \| diff to current
2012-10-27	Arnaud Giersch	Merge branch 'v3_8_x'	blob \| commitdiff \| raw \| diff to current
2012-10-25	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-10-25	Christophe Thiéry	Since cmake 2.6, else() and endif() don't need to repea...	blob \| commitdiff \| raw \| diff to current
2012-10-24	alebre	Merge branch 'master' into vmtrace	blob \| commitdiff \| raw \| diff to current
2012-10-19	paul bedaride	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-10-19	Maximiliano Geier	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-10-18	navarro	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-10-18	navarro	Add missing files for distrib	blob \| commitdiff \| raw \| diff to current
2012-10-06	Marion Guthmuller	model-checker : cleanup in mc examples	blob \| commitdiff \| raw \| diff to current
2012-07-04	Arnaud Giersch	Make directory when building out of the source tree.	blob \| commitdiff \| raw \| diff to current
2012-06-29	Marion Guthmuller	model-checker : tests for snapshot comparison	blob \| commitdiff \| raw \| diff to current
2012-06-26	Arnaud Giersch	Reindent Cmake files.	blob \| commitdiff \| raw \| diff to current
2012-06-26	Marion Guthmuller	model-checker : update list of examples in CMakeLists	blob \| commitdiff \| raw \| diff to current
2012-06-21	jean-noel quintin	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-06-21	Marion Guthmuller	model-checker: remove unused examples	blob \| commitdiff \| raw \| diff to current
2012-06-20	Marion Guthmuller	model-checker : remove unused example	blob \| commitdiff \| raw \| diff to current
2012-06-20	Marion Guthmuller	model-checker : new surf configuration mc-checkpoint	blob \| commitdiff \| raw \| diff to current
2012-06-15	navarro	Add generated mc files to extra dist	blob \| commitdiff \| raw \| diff to current
2012-06-15	navarro	Clean sources for mc and reedit some files	blob \| commitdiff \| raw \| diff to current
2012-06-15	navarro	Remove unused files	blob \| commitdiff \| raw \| diff to current
2012-06-14	navarro	2nd part of kill GLOB_RECURSE	blob \| commitdiff \| raw \| diff to current
2012-06-14	Marion Guthmuller	resolve merge conflict	blob \| commitdiff \| raw \| diff to current
2012-06-14	Samuel Lepetit	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-06-14	navarro	First step to delete GLOB command from cmake	blob \| commitdiff \| raw \| diff to current
2012-06-03	Marion Guthmuller	model-checker : new examples	blob \| commitdiff \| raw \| diff to current
2012-04-22	Martin Quinson	Merge branch 'master' of scm.gforge.inria.fr:/gitroot...	blob \| commitdiff \| raw \| diff to current
2012-04-20	Marion Guthmuller	Merge branch 'master' of git+ssh://scm.gforge.inria...	blob \| commitdiff \| raw \| diff to current
2012-04-20	Marion Guthmuller	model-checker : separate bugged1_liveness (deleted...	blob \| commitdiff \| raw \| diff to current
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-27	Marion Guthmuller	model-checker : new example test_snapshot to check...	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-11	Marion Guthmuller	model-checker : add example centralized_liveness in...	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
2012-01-09	Martin Quinson	Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marion Guthmuller	model-checker : clean code	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-12-05	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-30	Marion Guthmuller	Merge branch 'master' into MC_LTL	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marion Guthmuller	merge conflicts	blob \| commitdiff \| raw \| diff to current
2011-11-17	Marion Guthmuller	model-checker : examples changed	blob \| commitdiff \| raw \| diff to current
2011-11-03	Marion Guthmuller	model-checker: new examples for liveness model checking	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : change printf for size_t variables	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : ddfs stateless and stateful fixed	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : stateless model checking for liveness...	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	model-checker : new example bugged1 for stateful dpor	blob \| commitdiff \| raw \| diff to current
2011-10-25	Marion Guthmuller	start new example with parsing lex/yacc of automaton...	blob \| commitdiff \| raw \| diff to current
2010-11-28	mquinson	Allow out of source builds	blob \| commitdiff \| raw \| diff to current
2010-06-17	navarrop	Delete unused -fprofile-arcs flags.	blob \| commitdiff \| raw \| diff to current
2010-05-17	cristianrosa	Add new example: "Shared buffer between asynchronous...	blob \| commitdiff \| raw \| diff to current
2010-05-11	cristianrosa	Add new example to test MC_random function	blob \| commitdiff \| raw \| diff to current
2010-05-07	navarrop	Add all needs to include mc with cmake.	blob \| commitdiff \| raw \| diff to current
2010-05-05	mquinson	Some MSG examples mainly useful to test the model-checker	blob \| commitdiff \| raw \| diff to current

Clone of SimGrid repository with local patches

RSS Atom