AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

projects / simgrid.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: aa573ec) | patch

author	Marion Guthmuller <marion.guthmuller@loria.fr>
	Mon, 9 Jan 2012 20:52:59 +0000 (21:52 +0100)
committer	Marion Guthmuller <marion.guthmuller@loria.fr>
	Mon, 9 Jan 2012 20:52:59 +0000 (21:52 +0100)
commit	40af3dfdccd15dc232d8e7d9e9ad26655092cbfc
tree	8b070167de589155d114b646562ca74de6aa022a	tree \| snapshot
parent	aa573ece36e8a4892acbdbdd237a12762cb52111	commit \| diff

model-checker : new examples for verification of liveness properties

12 files changed:

examples/msg/mc/CMakeLists.txt		diff \| blob \| history
examples/msg/mc/automaton_PROMELA	[deleted file]	blob \| history
examples/msg/mc/bugged1_liveness.c	[moved from examples/msg/mc/example_liveness_with_cycle.c with 80% similarity]	diff \| blob \| history
examples/msg/mc/bugged1_liveness.h	[moved from examples/msg/mc/example_liveness_with_cycle.h with 56% similarity]	diff \| blob \| history
examples/msg/mc/bugged2_liveness.c	[new file with mode: 0644]	blob
examples/msg/mc/bugged2_liveness.h	[new file with mode: 0644]	blob
examples/msg/mc/deploy_bugged1_liveness.xml	[moved from examples/msg/mc/deploy_mutex2.xml with 100% similarity]	blob \| history
examples/msg/mc/deploy_bugged2_liveness.xml	[new file with mode: 0644]	blob
examples/msg/mc/example_liveness_with_cycle2.c	[deleted file]	blob \| history
examples/msg/mc/promela1_bugged1_liveness	[moved from examples/msg/mc/automaton2_PROMELA with 50% similarity]	diff \| blob \| history
examples/msg/mc/promela2_bugged1_liveness	[new file with mode: 0644]	blob
examples/msg/mc/promela_bugged2_liveness	[new file with mode: 0644]	blob

Clone of SimGrid repository with local patches