Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 30a620d) | patch
model-checker : new comparison of pair reached (automaton state + values of propositi...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Sep 2011 15:40:24 +0000 (17:40 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:58 +0000 (13:36 +0200)
commit41982e805766505052bbfc0f887ab4f9f1be560a
treef32a08900ff2ebd7dbfa5564364a88fdad0fe905tree | snapshot
parent30a620d418f7770838a98a75259509d012cd5abecommit | diff
model-checker : new comparison of pair reached (automaton state + values of propositional symbols)
src/mc/mc_liveness.c diff | blob | history
src/mc/private.h diff | blob | history
Clone of SimGrid repository with local patches