Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix memory leak in ddfs algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 6 Oct 2013 15:22:52 +0000 (17:22 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 6 Oct 2013 21:30:15 +0000 (23:30 +0200)
commitea6f6b66934613235f03c2a768cb84cba48db423
treec4752c57840b1dc23adc00f5a228332ef535da68
parent6470b828c1ea58d42306ff3fc810f15e0ad4e64c
model-checker : fix memory leak in ddfs algorithm
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_pair.c
src/mc/mc_private.h