A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Kill more duplicate routes in platform files.
[simgrid.git]
/
examples
/
msg
/
mc
/
2012-02-05
Arnaud Giersch
Fix compilation errors about multiple definition of...
tree
|
commitdiff
2012-02-03
Martin Quinson
kill some dupplicate routes: now that we issue a warnin...
tree
|
commitdiff
2012-01-13
Martin Quinson
Merge branch 'MC_LTL'
tree
|
commitdiff
2012-01-11
Marion Guthmuller
merge conflicts resolved
tree
|
commitdiff
2012-01-11
Marion Guthmuller
model-checker : add example centralized_liveness in...
tree
|
commitdiff
2012-01-11
Marion Guthmuller
model-checker : new example for liveness properties
tree
|
commitdiff
2012-01-10
Marion Guthmuller
model-checker : bugged2_liveness with promela of LTL...
tree
|
commitdiff
2012-01-10
Marion Guthmuller
model-checker : new LTL property for bugged2_liveness...
tree
|
commitdiff
2012-01-09
Marion Guthmuller
model-checker : add comments for the example bugged2_li...
tree
|
commitdiff
2012-01-09
Marion Guthmuller
model-checker : new examples for verification of livene...
tree
|
commitdiff
2012-01-09
Martin Quinson
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
tree
|
commitdiff
2011-12-26
Martin Quinson
merge back the master trunk into the smpi branch
tree
|
commitdiff
2011-12-13
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-13
Marion Guthmuller
model-checker : clean code
tree
|
commitdiff
2011-12-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-07
Marion Guthmuller
model-checker : more requests of CS per process in...
tree
|
commitdiff
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-11-30
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-11-30
Marion Guthmuller
model-checker : number of CS request per process reduce...
tree
|
commitdiff
2011-11-22
Marion Guthmuller
merge conflicts
tree
|
commitdiff
2011-11-17
Marion Guthmuller
model-checker : examples changed
tree
|
commitdiff
2011-11-14
Arnaud Giersch
Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
tree
|
commitdiff
2011-11-09
Marion Guthmuller
model-checker : example for detection of acceptance...
tree
|
commitdiff
2011-11-03
Marion Guthmuller
model-checker: new examples for liveness model checking
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : function to compare values of propositi...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : remove unused variables
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : change printf for size_t variables
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : add files for examples
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new comparison for reached pairs (autom...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : delete visited in struct xbt_state_t...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : ddfs stateless and stateful fixed
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : update ddfs stateful model checking...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : stateless model checking for liveness...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate informations for safety statef...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new example bugged1 for stateful dpor
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : add condition of invisibility to reduce...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : DPOR (independant transitions) algorith...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate dfs and dpor algorithms with...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : example changed
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : correction of dfs algorithm for livenes...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model checker : dfs algorithm corrected
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack for acceptance cycle
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model check : acceptance cycle detection with automaton...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
détection de cycle d'acceptation ok mais boucle infinie...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
correction compile warnings
tree
|
commitdiff
2011-10-25
Marion Guthmuller
start new example with parsing lex/yacc of automaton...
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
tree
|
commitdiff
2011-06-09
Pierre-Nicolas Clauss
Merge back master branch
tree
|
commitdiff
2011-05-18
Arnaud Giersch
Tasks must be initialized.
tree
|
commitdiff
2011-04-20
Christophe Thiéry
MC: make the output independent of the type of processo...
tree
|
commitdiff
2011-04-08
Pierre-Nicolas Clauss
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-04-08
Navarrop
Merge commit '521daa8271ac2778d8b2944be25daae65d3540a1...
tree
|
commitdiff
2011-04-07
Christophe Thiéry
MC: perform actual model-checking in tesh tests
tree
|
commitdiff
2011-02-17
agiersch
Use new style logging macros.
tree
|
commitdiff
2011-02-01
thiery
Protect --log=root.fmt flag with double quotes in tesh...
tree
|
commitdiff
2011-01-21
navarrop
Let simgrid.dtd to be accessible from the web in order...
tree
|
commitdiff
2011-01-06
navarrop
Update tesh for mc.
tree
|
commitdiff
2010-12-16
cristianrosa
Add deployment file for the bugged3 example.
tree
|
commitdiff
2010-12-16
cristianrosa
Bugfix: the example contained an non-intentional dead...
tree
|
commitdiff
2010-12-14
thiery
Fix test mc-bugged1
tree
|
commitdiff
2010-12-02
thiery
Biggest commit ever (SIMIX2): the user processes can...
tree
|
commitdiff
2010-11-30
navarrop
Update platfrom version to 3.
tree
|
commitdiff
2010-11-28
mquinson
Allow out of source builds
tree
|
commitdiff
2010-10-11
alegrand
Indent the rest of the code (examples, buildtools,...
tree
|
commitdiff
2010-10-04
mquinson
update all the platforms file with the new s/:/_/ in DTD
tree
|
commitdiff
2010-09-28
navarrop
New platform files (just add AS tag)
tree
|
commitdiff
2010-08-04
navarrop
Update mc-centralized tesh file.
tree
|
commitdiff
2010-06-17
navarrop
Delete unused -fprofile-arcs flags.
tree
|
commitdiff
2010-05-17
cristianrosa
Improve comments on examples
tree
|
commitdiff
2010-05-17
cristianrosa
Add new example: "Shared buffer between asynchronous...
tree
|
commitdiff
2010-05-12
cristianrosa
Bugfix: delete the tasks after using them
tree
|
commitdiff
2010-05-11
cristianrosa
Add new example to test MC_random function
tree
|
commitdiff
2010-05-07
navarrop
Add tests for msg/mc.
tree
|
commitdiff
2010-05-07
navarrop
Add all needs to include mc with cmake.
tree
|
commitdiff
2010-05-05
mquinson
Some MSG examples mainly useful to test the model-checker
tree
|
commitdiff