Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : avoid unnecessary snapshot restore
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 7 Oct 2013 20:38:40 +0000 (22:38 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 8 Oct 2013 09:19:15 +0000 (11:19 +0200)
commit472cf0c9125f4826985bb0a400086d83c3a9ebaa
treef62d58817a9d6423d947db49f6ed4e8efa34b537
parentbba3b346b0b7ee53ad563a1e0f53b310d51173da
model-checker : avoid unnecessary snapshot restore
src/mc/mc_liveness.c