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 : new files forgotten
2015-02-24
Marion Guthmuller
model-checker : new files forgotten
commit
|
commitdiff
|
tree
2015-02-24
Marion Guthmuller
model-checker : non-progressive cycle detection (enabled...
commit
|
commitdiff
|
tree
2015-02-13
Marion Guthmuller
model-checker : include tag in comm determinism verification
commit
|
commitdiff
|
tree
2015-02-10
Marion Guthmuller
model-checker : intermediate backtracking enabled if...
commit
|
commitdiff
|
tree
2015-02-10
Marion Guthmuller
model-checker : memory leak
commit
|
commitdiff
|
tree
2015-02-09
Marion Guthmuller
model-checker : revalidate tesh
commit
|
commitdiff
|
tree
2015-02-09
Marion Guthmuller
model-checker : cosmetics
commit
|
commitdiff
|
tree
2015-02-09
Marion Guthmuller
model-checker : non-recursive liveness algorithm
commit
|
commitdiff
|
tree
2015-02-09
Marion Guthmuller
model-checker : intermediate backtracking with model...
commit
|
commitdiff
|
tree
2015-02-09
Marion Guthmuller
model-checker : communications determinism with visited...
commit
|
commitdiff
|
tree
2014-12-10
Marion Guthmuller
fix dot output with file descriptor checkpoint/restore
commit
|
commitdiff
|
tree
2014-11-04
Marion Guthmuller
model-checker : comment debug printf
commit
|
commitdiff
|
tree
2014-11-04
Marion Guthmuller
model-checker : save and restore file descriptors
commit
|
commitdiff
|
tree
2014-09-09
Marion Guthmuller
model-checker : disable smpi bench timer if MC enabled
commit
|
commitdiff
|
tree
2014-07-03
Marion Guthmuller
don't destroy detached comm from the sender side during...
commit
|
commitdiff
|
tree
2014-07-03
Marion Guthmuller
fix debug message (wrong buffer was printed)
commit
|
commitdiff
|
tree
2014-07-03
Marion Guthmuller
model-checker : update tesh
commit
|
commitdiff
|
tree
2014-07-03
Marion Guthmuller
model-checker : cosmetic in log message
commit
|
commitdiff
|
tree
2014-07-03
Marion Guthmuller
model-checker : check dict content before removing...
commit
|
commitdiff
|
tree
2014-07-03
Marion Guthmuller
model-checker : remove useless condition
commit
|
commitdiff
|
tree
2014-06-27
Marion Guthmuller
model-checker : fix visited states reduction with comm...
commit
|
commitdiff
|
tree
2014-06-27
Marion Guthmuller
model-checker : if no inttypes found in c++
commit
|
commitdiff
|
tree
2014-06-26
Marion Guthmuller
model-checker : minor fix in comments
commit
|
commitdiff
|
tree
2014-06-26
Marion Guthmuller
model-checker : update tesh
commit
|
commitdiff
|
tree
2014-06-26
Marion Guthmuller
model-checker : visited states reduction available...
commit
|
commitdiff
|
tree
2014-06-23
Marion Guthmuller
model-checker : clarify comments
commit
|
commitdiff
|
tree
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