Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : change variable successors (local->global) in dfs algorithm
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Nov 2011 13:35:31 +0000 (14:35 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Nov 2011 13:35:31 +0000 (14:35 +0100)
commit646a169d229d00d57d0dfcd7ea030e186871ac7c
treec3a886d76180ae16d91182e79bef900e6c6fa179
parent6660ca9a1150f7708082d4d464156736d5944085
model-checker : change variable successors (local->global) in dfs algorithm
src/mc/mc_liveness.c