A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅ next
model-checker : cosmetics reindent
2011-10-25
Marion Guthmuller
model-checker : 128bits->160bits for hash of visited...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : restore interleaved process when restore...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : dfs with good restore snapshot
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : correction of dfs algorithm for liveness...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-checker : rename file mc_dfs -> mc_liveness
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
MC LTL : last version dfs algorithm before reduction
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
MC LTL : add statistics
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model checker : dfs algorithm corrected
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-check : dump stack for acceptance cycle
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model-check : show stack for acceptance cycle
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
model check : acceptance cycle detection with automaton...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
détection de cycle d'acceptation ok mais boucle infinie...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
correction compile warnings
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
start new example with parsing lex/yacc of automaton...
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
include new files struct automaton for cmake
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
new dfs algorithm with automaton of LTL formula
commit
|
commitdiff
|
tree
2011-10-25
Marion Guthmuller
new struct automaton
commit
|
commitdiff
|
tree