Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : really fix mc dependancies with MC ON or OFF
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 23 Apr 2015 11:44:17 +0000 (13:44 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Thu, 23 Apr 2015 11:44:17 +0000 (13:44 +0200)
commit5561c767c970eb8b3674e98f888cd70f4f9a121d
tree0fcb7a1bab5c77aaee60d4eb83ca5dae5983071a
parentd29ab72e79378eb7527238f5db164234f1c0cf8b
model-checker : really fix mc dependancies with MC ON or OFF
src/include/mc/datatypes.h
src/mc/mc_private.h