Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move functions about snapshot comparison in a separate file mc_compare.c
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 29 Sep 2012 20:31:04 +0000 (22:31 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 5 Oct 2012 17:19:15 +0000 (19:19 +0200)
commitbf667234dc6219eb5ee398d5dca36a3a16ec340f
tree3ef52c61777b6708ed1515e0497567648de2cf7c
parent5ff134b7494ccde579f32d4db4cbf5ea4db0bf3f
model-checker : move functions about snapshot comparison in a separate file mc_compare.c
buildtools/Cmake/DefinePackages.cmake
src/mc/mc_checkpoint.c
src/mc/mc_compare.c [new file with mode: 0644]
src/mc/mc_private.h
src/mc/test/compare_snapshot.c