Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : code refactoring
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 14 Mar 2013 13:48:54 +0000 (14:48 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:55 +0000 (18:30 +0100)
commit4f609ec53a6525146e68a4751ae29f8b0a8228a0
treecdd7ed767b0372e88774009d901d5437af9eb812
parentde98b9c28c8701c88411c154c5711a8a7210c602
model-checker : code refactoring
src/mc/mc_compare.c