Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update list of visited states during the exploration with the newest...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Jan 2013 11:13:12 +0000 (12:13 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Jan 2013 11:13:12 +0000 (12:13 +0100)
commite621aad76114ee574a0e26966992408db9c5ec27
treea2c1ece6d02ae745c94879443f59c84c2afeedcb
parent2fdde967b33a0a232a3988254536fc6d4dbf33b7
model-checker : update list of visited states during the exploration with the newest states
src/mc/mc_dpor.c