AND Public Git Repository - simgrid.git/commit

author	Marion Guthmuller <marion.guthmuller@loria.fr>
	Wed, 3 Apr 2013 14:18:04 +0000 (16:18 +0200)
committer	Marion Guthmuller <marion.guthmuller@loria.fr>
	Wed, 3 Apr 2013 14:18:04 +0000 (16:18 +0200)
commit	2a56ae61b3c1dfe00f46c656ad173b4a701b9322
tree	7428a6cc60745bc575b40ff8175361e7abff9637	tree \| snapshot
parent	9002b58078f72d95a7c56d9d774f108195c6e706	commit \| diff

model-checker : new examples (with tesh) for verification of liveness properties on chord

.gitignore		diff \| blob \| history
buildtools/Cmake/AddTests.cmake		diff \| blob \| history
examples/msg/mc/CMakeLists.txt		diff \| blob \| history
examples/msg/mc/chord_liveness/chord_liveness.c	[moved from examples/msg/mc/chord/chord_liveness.c with 90% similarity]	diff \| blob \| history
examples/msg/mc/chord_liveness/chord_neverdeliver.tesh	[new file with mode: 0644]	blob
examples/msg/mc/chord_liveness/chord_neverjoin.tesh	[moved from examples/msg/mc/chord/chord_neverjoin.tesh with 67% similarity]	diff \| blob \| history
examples/msg/mc/chord_liveness/chord_neverjoin_timeout_visited.tesh	[new file with mode: 0644]	blob
examples/msg/mc/chord_liveness/deploy_chord_liveness.xml	[moved from examples/msg/mc/chord/deploy_chord_liveness.xml with 100% similarity]	blob \| history
examples/msg/mc/chord_liveness/promela_chord_neverdeliver	[new file with mode: 0644]	blob
examples/msg/mc/chord_liveness/promela_chord_neverjoin	[moved from examples/msg/mc/chord/promela_chord_liveness with 100% similarity]	blob \| history

Clone of SimGrid repository with local patches