Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : rename file mc_dfs -> mc_liveness
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 17 Jun 2011 07:13:40 +0000 (09:13 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commita2c25e0bae01a59891fac21447f3210ba26302c5
treea1b06e1ed0d067235ce6221129d1ad4781914526
parent6b241a6afed4a8840a1ccf2a4cc8272acd4e4ae7
model-checker : rename file mc_dfs -> mc_liveness
src/mc/mc_liveness.c [moved from src/mc/mc_dfs.c with 99% similarity]