Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : clean code
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Dec 2011 12:31:49 +0000 (13:31 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 13 Dec 2011 12:31:49 +0000 (13:31 +0100)
commit5f1bdb8d4abf650a28f16043bf7b18afcfc4cfc6
tree72eb3a86092b7d04d532d667fd38f7881b154954
parent9b605c24eb28349bfb6d61da080733e19a7cb9a2
model-checker : clean code
examples/msg/mc/CMakeLists.txt
examples/msg/mc/example_liveness_with_cycle.c
examples/msg/mc/example_liveness_with_cycle2.c
include/msg/msg.h
src/include/mc/mc.h
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h
src/msg/msg_global.c