Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free memory at the end of stateless double-dfs algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 15 Nov 2011 16:15:05 +0000 (17:15 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 15 Nov 2011 16:15:05 +0000 (17:15 +0100)
commit403e0e03205591d9b723d0f032fe9b72651066b4
tree08f1b84bb4484c3d7c8da5527c98fa02ed59f8f6
parent5686a3e9d8b1f7d2369f6cb9b1ce082d776b1f16
model-checker : free memory at the end of stateless double-dfs algorithm
src/mc/mc_liveness.c