Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:47:39 +0000 (18:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:47:39 +0000 (18:47 +0100)
commitdef42a0dd2cfe03b680ad3b7f7c14147416e1a9b
tree7d3a156228324daca22b53ffca140661789eb808
parent7a2f8b95fa87ae7d245870be8544e7e09730e1f9
model-checker : update tesh
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/chord/chord_neverjoin.tesh