Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1d31b17)
model-checker : test dpor without replay from initial state but with
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 20 Jun 2011 14:00:37 +0000 (16:00 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
restore snapshot -> ok for safety properties, need more specifications
for liveness


No differences found
Clone of SimGrid repository with local patches