Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : apply independance reduction at each step to reduce number of snapsho...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 16 Jan 2013 15:44:24 +0000 (16:44 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 16 Jan 2013 15:44:41 +0000 (16:44 +0100)
commit942590efaa940196be55743948b96d8b95c6d0ae
tree30d045fd48752e226bf17ee379bd7338a271b849
parent099817b98b4570e1d0d52972a35d48750a95ba59
model-checker : apply independance reduction at each step to reduce number of snapshot restore and transitions replay
src/mc/mc_dpor.c