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
model-checker : update tesh file
[simgrid.git]
/
examples
/
msg
/
chord
/
2013-10-06
suter
leak --
tree
|
commitdiff
2013-09-26
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-25
Arnaud Giersch
Dig through git history, and update copyright lines.
tree
|
commitdiff
2013-08-14
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-10
Marion Guthmuller
model-checker : update chord example for exhaustive...
tree
|
commitdiff
2013-08-05
Marion Guthmuller
update the other tesh for chord example
tree
|
commitdiff
2013-08-05
Marion Guthmuller
disable random lookup in Chord (tesh examples fail)
tree
|
commitdiff
2013-08-05
Marion Guthmuller
update chord.tesh
tree
|
commitdiff
2013-08-05
Marion Guthmuller
implement check_predecessor and random_lookup (periodic...
tree
|
commitdiff
2013-03-16
Marion Guthmuller
model-checker : update msg chord example for the verifi...
tree
|
commitdiff
2013-03-16
Marion Guthmuller
model-checker : fix MC_RANDOM simcall
tree
|
commitdiff
2013-01-30
Arnaud Giersch
Incorporate simgrid-java in simgrid-java/.
tree
|
commitdiff
2012-12-25
Martin Quinson
this file should not overload the codebase
tree
|
commitdiff
2012-12-25
Marion Guthmuller
model-checker : stats XP of model checking on chord...
tree
|
commitdiff
2012-11-27
Jonathan Rouzaud...
update
tree
|
commitdiff
2012-11-27
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-11-26
suter
revalidate tesh outputs for chord
tree
|
commitdiff
2012-11-25
Martin Quinson
Remove all traces of chord_before_dsend
tree
|
commitdiff
2012-11-14
Martin Quinson
typo in comments
tree
|
commitdiff
2012-10-24
navarro
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-24
Martin Quinson
Desactivate an historical MC_assert so that model-check...
tree
|
commitdiff
2012-10-24
alebre
Merge branch 'master' into vmtrace
tree
|
commitdiff
2012-10-16
Martin Quinson
s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
tree
|
commitdiff
2012-10-16
Arnaud Giersch
Regenerate tesh files for chord examples.
tree
|
commitdiff
2012-10-14
Lucas Nussbaum
chord: avoid duplicate call of MSG_comm_test()
tree
|
commitdiff
2012-10-10
Martin Quinson
commit my deployment for testing the model-checking...
tree
|
commitdiff
2012-10-08
Martin Quinson
we need the simgrid library too. True story.
tree
|
commitdiff
2012-10-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-10-08
Martin Quinson
make it compile in a recent tree
tree
|
commitdiff
2012-10-08
Marion Guthmuller
add executable chord_before_dsend in CMakeLists
tree
|
commitdiff
2012-10-08
Marion Guthmuller
version of chord before use MSG_task_dsend
tree
|
commitdiff
2012-10-03
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-10-02
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-10-02
Martin Quinson
Deprecate MSG_clean
tree
|
commitdiff
2012-07-05
Martin Quinson
be more verbose on explaining the expected result of...
tree
|
commitdiff
2012-07-05
Christophe Thiéry
Make it clear that MC is supposed to detect a counter...
tree
|
commitdiff
2012-07-03
Samuel Lepetit
Revalidate chord.tesh/chord_crosstraffic.tesh
tree
|
commitdiff
2012-07-03
Samuel Lepetit
Add leave in chord
tree
|
commitdiff
2012-06-29
lbobelin
Cleaned doc, re-included examples, should be better...
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_error_t instead of MSG_error_t
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_task_t instead of m_task_t
tree
|
commitdiff
2012-06-26
Arnaud Giersch
Reindent Cmake files.
tree
|
commitdiff
2012-06-21
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-06-21
Martin Quinson
Deprecate functions MSG_global_init() / MSG_global_init...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
resolve merge conflict
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-14
navarro
First step to delete GLOB command from cmake
tree
|
commitdiff
2012-05-14
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-05-14
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-14
Christophe Thiéry
Add comments to this script
tree
|
commitdiff
2012-04-22
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-04-20
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-04-17
Christophe Thiéry
Respect the coding style
tree
|
commitdiff
2012-04-17
Christophe Thiéry
Remove tabs
tree
|
commitdiff
2012-03-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-29
navarro
Try to clean platform files containing in examples...
tree
|
commitdiff
2012-03-23
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-03-21
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-03-21
Martin Quinson
further improve the MSG doc by documenting the examples
tree
|
commitdiff
2012-02-21
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-02-21
Arnaud Giersch
Fix format strings to match their arguments.
tree
|
commitdiff
2012-02-08
Martin Quinson
stop using internal header files from the examples...
tree
|
commitdiff
2012-02-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-02-08
Martin Quinson
move a public header in the simgrid/ directory to fight...
tree
|
commitdiff
2012-01-30
Marion Guthmuller
merge conflict resolved
tree
|
commitdiff
2012-01-23
navarro
Place MSG init before testing args for --help argument.
tree
|
commitdiff
2012-01-23
navarro
Update factor for model LegrandVelho.
tree
|
commitdiff
2012-01-19
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-01-19
Marion Guthmuller
unused example chord_stateful removed
tree
|
commitdiff
2012-01-17
navarro
Completely remove channel mecanism with tesh tested...
tree
|
commitdiff
2012-01-11
Marion Guthmuller
merge conflicts resolved
tree
|
commitdiff
2012-01-09
Martin Quinson
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
tree
|
commitdiff
2012-01-06
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-01-06
Navarrop
Add some tests for crosstraffic = 1.
tree
|
commitdiff
2012-01-06
Christophe Thiéry
Merge branch 'smpi'
tree
|
commitdiff
2012-01-02
Christophe Thiéry
Add a Chord test with the constant network model
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-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
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-22
Marion Guthmuller
merge conflicts
tree
|
commitdiff
2011-11-14
Christophe Thiéry
Lua Chord example (not working yet, the API is still...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : stateless model checking for liveness...
tree
|
commitdiff
2011-10-20
Martin Quinson
Merge stuff again. Damn, I should pull before changing...
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Revalidate Chord tesh output (the end of the simulation...
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Fighting more memory leaks in Chord
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Fix a memory leak in chord
tree
|
commitdiff
2011-04-26
Christophe Thiéry
Fix the binary directory of Chord tesh file
tree
|
commitdiff
2011-04-21
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-04-21
Navarrop
add ${bindir}/ to tesh chord
tree
|
commitdiff
2011-04-21
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-04-21
Christophe Thiéry
Add Chord to the test suite
tree
|
commitdiff
2011-03-24
agiersch
Remove usage of xbt_assert[0-9].
tree
|
commitdiff
2011-03-15
thiery
Chord: update some messages displayed
tree
|
commitdiff
2011-02-22
agiersch
Replace xbt_die(bprintf(...)) with xbt_die(...).
tree
|
commitdiff
2011-02-22
thiery
This initialization change the experiment too much
tree
|
commitdiff
2011-02-17
navarrop
Remove all xbt_assert.*(0,FALSE or NULL for xbt_die
tree
|
commitdiff
next