AND Public Git Repository - simgrid.git/commit

Algorithmique Numérique Distribuée

Public GIT Repository

author	Marion Guthmuller <marion.guthmuller@loria.fr>
	Sat, 6 Oct 2012 09:26:11 +0000 (11:26 +0200)
committer	Marion Guthmuller <marion.guthmuller@loria.fr>
	Sat, 6 Oct 2012 16:51:52 +0000 (18:51 +0200)
commit	30ddf1eb571e00c6b6e9723d6dc69ce4632471cc
tree	654bd061a42a6521abb633b22000becf81369fde	tree \| snapshot
parent	fa94c1ceafe3f3cc43a97b1beb87926ca2648d32	commit \| diff

model-checker : cleanup in mc examples

22 files changed:

buildtools/Cmake/DefinePackages.cmake		diff \| blob \| history
examples/msg/mc/CMakeLists.txt		diff \| blob \| history
examples/msg/mc/bugged1_liveness.c		diff \| blob \| history
examples/msg/mc/bugged1_liveness.h		diff \| blob \| history
examples/msg/mc/bugged2_liveness.c		diff \| blob \| history
examples/msg/mc/bugged2_liveness.h		diff \| blob \| history
examples/msg/mc/centralized_liveness.c	[deleted file]	blob \| history
examples/msg/mc/centralized_liveness.h	[deleted file]	blob \| history
examples/msg/mc/centralized_liveness_deadlock.c	[deleted file]	blob \| history
examples/msg/mc/deploy_bugged2_liveness.xml		diff \| blob \| history
examples/msg/mc/deploy_centralized_liveness.xml	[deleted file]	blob \| history
examples/msg/mc/promela2_bugged1_liveness	[deleted file]	blob \| history
examples/msg/mc/promela2_bugged2_liveness	[deleted file]	blob \| history
examples/msg/mc/promela2_centralized_liveness	[deleted file]	blob \| history
examples/msg/mc/promela_bugged1_liveness	[moved from examples/msg/mc/promela1_bugged1_liveness with 100% similarity]	blob \| history
examples/msg/mc/promela_bugged2_liveness		diff \| blob \| history
examples/msg/mc/promela_centralized_liveness	[deleted file]	blob \| history
examples/msg/mc/test/test_heap_comparison.c	[moved from examples/msg/mc/test/compare_snapshot.c with 77% similarity]	diff \| blob \| history
examples/msg/mc/test_snapshot.c	[deleted file]	blob \| history
examples/msg/mc/test_snapshot.h	[deleted file]	blob \| history
src/include/mc/mc.h		diff \| blob \| history
src/mc/test/heap_comparison.c	[moved from src/mc/test/compare_snapshot.c with 86% similarity]	diff \| blob \| history

Clone of SimGrid repository with local patches

RSS Atom