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 : use new variable _sg_mc_liveness instead of _sg_mc_property_file
2014-06-04
Marion Guthmuller
model-checker : use new variable _sg_mc_liveness instead...
commit
|
commitdiff
|
tree
2014-06-04
Marion Guthmuller
model-checker : remove useless debug message and add...
commit
|
commitdiff
|
tree
2014-06-04
Marion Guthmuller
model-checker : compare the pid of enabled processes...
commit
|
commitdiff
|
tree
2014-06-04
Marion Guthmuller
model-checker : fix backtracking with comm determinism...
commit
|
commitdiff
|
tree
2014-06-03
Marion Guthmuller
model-checker : comment erroneous ignore (not completely...
commit
|
commitdiff
|
tree
2014-06-03
Marion Guthmuller
model-checker : use the right heap
commit
|
commitdiff
|
tree
2014-06-03
Marion Guthmuller
model-checker : reword debug message
commit
|
commitdiff
|
tree
2014-06-03
Marion Guthmuller
model-checker : mc_dpor.c -> mc_safety.c
commit
|
commitdiff
|
tree
2014-06-03
Marion Guthmuller
model-checker : remove useless ignore
commit
|
commitdiff
|
tree
2014-06-03
Marion Guthmuller
model-checker : new tesh examples about communications...
commit
|
commitdiff
|
tree
2014-05-30
Marion Guthmuller
model-checker : fix comm determinism detection mechanisms
commit
|
commitdiff
|
tree
2014-05-30
Marion Guthmuller
model-checker : forget file
commit
|
commitdiff
|
tree
2014-05-30
Marion Guthmuller
model-checker : cleanups, refactoring and apply indent...
commit
|
commitdiff
|
tree
2014-05-30
Marion Guthmuller
model-checker : cosmetics in log message
commit
|
commitdiff
|
tree
2014-05-30
Marion Guthmuller
model-checker : improve error message
commit
|
commitdiff
|
tree
2014-05-13
Marion Guthmuller
model-checker : handle waitany simcall
commit
|
commitdiff
|
tree
2014-05-12
Marion Guthmuller
model-checker : complete comm pattern only after a...
commit
|
commitdiff
|
tree
2014-04-30
Marion Guthmuller
model-checker : disable mprotect on snapshots
commit
|
commitdiff
|
tree
2014-04-30
Marion Guthmuller
model-checker : remove KSM work -> doesn't work currently
commit
|
commitdiff
|
tree
2014-04-29
Marion Guthmuller
model-checker : restore previous version of smpi_finalize...
commit
|
commitdiff
|
tree
2014-04-29
Marion Guthmuller
model-checker : deal with the soundness of DPOR only...
commit
|
commitdiff
|
tree
2014-04-29
Marion Guthmuller
model-checker : fix the detection of determinism
commit
|
commitdiff
|
tree
2014-04-10
Marion Guthmuller
model-checker : add commande line in comment to run...
commit
|
commitdiff
|
tree
2014-04-10
Marion Guthmuller
model-checker : worst case considered for bugged1_liveness...
commit
|
commitdiff
|
tree
2014-04-05
Marion Guthmuller
model-checker : privatization_regions in snapshot may...
commit
|
commitdiff
|
tree
2014-03-28
Marion Guthmuller
model-checker : smpi mutual exclusion example
commit
|
commitdiff
|
tree