Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dichotomic search and insertion for visited states
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Jan 2013 14:55:34 +0000 (15:55 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Jan 2013 14:55:34 +0000 (15:55 +0100)
commit1a8e5af34045d9f65169ce4766b0131dfe7825f2
tree861c66cb131985e719160772dd0dea1a107fe203
parente621aad76114ee574a0e26966992408db9c5ec27
model-checker : fix dichotomic search and insertion for visited states
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h