Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : memory leaks fixed in dfs algorithm for liveness properties
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Nov 2011 13:19:08 +0000 (14:19 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Nov 2011 13:19:08 +0000 (14:19 +0100)
commit6660ca9a1150f7708082d4d464156736d5944085
tree37d8a6249c1fe9bf59c296963783b69d2a0ab0de
parentfff99c2e390f3924dfc68006fbc5c214370df751
model-checker : memory leaks fixed in dfs algorithm for liveness properties
src/mc/mc_liveness.c
src/mc/private.h