Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update supernovae files (automaton_create.c removed with cleanups...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 27 Jun 2012 16:33:54 +0000 (18:33 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 27 Jun 2012 16:33:54 +0000 (18:33 +0200)
commit62a495a5f774221db281dc19fc7a23f7c9244b87
treead18c27de78393414450a10ccad193ba6df0df5e
parent4ce21c89522602e9ba23daa8d5e9f14b25a6afa3
model-checker : update supernovae files (automaton_create.c removed with cleanups done for model-checking configuration)
buildtools/Cmake/Supernovae.cmake