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
various modifications
[simgrid.git]
/
examples
/
msg
/
2013-11-13
suter
various modifications
tree
|
commitdiff
2013-11-13
suter
compile new example(cherry picked from commit 9a6d1a5f9...
tree
|
commitdiff
2013-11-08
Pierre Veyre
Update MSG_storage_file_rename
tree
|
commitdiff
2013-10-31
Arnaud Giersch
Use yes/no for tracing options instead of 1/0.
tree
|
commitdiff
2013-10-30
Arnaud Giersch
Slightly change the sleep duration.
tree
|
commitdiff
2013-10-30
Arnaud Giersch
Fix another memory leak in chord example.
tree
|
commitdiff
2013-10-30
Arnaud Giersch
Avoid code duplication.
tree
|
commitdiff
2013-10-28
Arnaud Giersch
Fix spacing issues in tesh files.
tree
|
commitdiff
2013-10-24
Arnaud Giersch
Remove debug messages from test, allow it to pass even...
tree
|
commitdiff
2013-10-24
Marion Guthmuller
model-checker : update tesh files
tree
|
commitdiff
2013-10-18
Augustin Degomme
when parallel ctests are performed, using the default...
tree
|
commitdiff
2013-10-10
suter
at least this one works. leak--
tree
|
commitdiff
2013-10-09
Arnaud Giersch
Length modifier 'l' is indeed wrong in %l[efg] for...
tree
|
commitdiff
2013-10-09
Augustin Degomme
turns out %le=%e and %lf=%f ... except on windows
tree
|
commitdiff
2013-10-08
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-08
Arnaud Giersch
Remove unused fields.
tree
|
commitdiff
2013-10-08
Arnaud Giersch
Make this example clean for valgrind.
tree
|
commitdiff
2013-10-08
suter
zu to PRIu64 (again)
tree
|
commitdiff
2013-10-07
Arnaud Giersch
Value stored to 'time' is never read.
tree
|
commitdiff
2013-10-07
suter
one more gloups revalidation
tree
|
commitdiff
2013-10-07
suter
Gloups revalidation
tree
|
commitdiff
2013-10-07
suter
destroy task when execution failed because of dead...
tree
|
commitdiff
2013-10-07
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-06
Marion Guthmuller
model-checker : update tesh file
tree
|
commitdiff
2013-10-06
suter
leak --
tree
|
commitdiff
2013-10-06
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : update tesh files
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : fix centralized mutex example
tree
|
commitdiff
2013-10-04
Marion Guthmuller
model-checker : update bugged mutual exclusion algorithm
tree
|
commitdiff
2013-10-02
Pierre Veyre
Change parameters order for msg_file_read, msg_file_wri...
tree
|
commitdiff
2013-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-01
Pierre Veyre
Introduce sg_storage_size_t type
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-09-25
Marion Guthmuller
model-checker : increase timeout
tree
|
commitdiff
2013-09-25
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-24
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2013-09-24
Marion Guthmuller
model-checker : fix system state comparison (I hate...
tree
|
commitdiff
2013-09-24
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-23
Marion Guthmuller
model-checker : add deployment file deploy_bugged1_live...
tree
|
commitdiff
2013-09-23
Marion Guthmuller
model-checker : add bugged1_liveness_visited.tesh in...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : fix platform file path in tesh examples
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : new tesh example for liveness model...
tree
|
commitdiff
2013-09-21
Marion Guthmuller
model-checker : fix bugged1_liveness example
tree
|
commitdiff
2013-09-18
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-22
Arnaud Legrand
Fix a bunch of typos thanks to the new spell script...
tree
|
commitdiff
2013-08-21
Arnaud Legrand
Remove the uggly surf_watched_hosts pimple and allow...
tree
|
commitdiff
2013-08-19
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : update MSG bugged mutual exclusion...
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 tesh
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
model-checker : update CMakeLists
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : remove dead file
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : remove duplicated example chord
tree
|
commitdiff
2013-08-05
Marion Guthmuller
implement check_predecessor and random_lookup (periodic...
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : remove obsolete examples
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : remove dead code
tree
|
commitdiff
2013-08-05
Marion Guthmuller
model-checker : update tesh files
tree
|
commitdiff
2013-07-17
suter
update examples with new prototype for open
tree
|
commitdiff
2013-07-11
suter
revalidate tesh file with dump output
tree
|
commitdiff
2013-07-10
suter
unimplemented MSG_file_dump function
tree
|
commitdiff
2013-07-09
suter
the name field of a msg_file_t is actually a full name...
tree
|
commitdiff
2013-07-05
Arnaud Giersch
Make distcheck succeed.
tree
|
commitdiff
2013-07-05
acarpena
Merge branch 'dvfs'
tree
|
commitdiff
2013-07-04
acarpena
added tesh tests for DVFS
tree
|
commitdiff
2013-07-04
acarpena
added tesh tests for dvfs
tree
|
commitdiff
2013-07-01
acarpena
Merge branch 'dvfs'
tree
|
commitdiff
2013-07-01
acarpena
added dvfs support
tree
|
commitdiff
2013-06-30
acarpena
added dvfs support
tree
|
commitdiff
2013-06-18
suter
yet another simplification of the storage API: we don...
tree
|
commitdiff
2013-06-17
Paul Bédaride
Fix of pastry
tree
|
commitdiff
2013-06-17
Paul Bédaride
Add pastry msg example (First attempt)
tree
|
commitdiff
2013-06-14
Guillaume Serrière
Change xbt_os_timer interface to handle cpu time, threa...
tree
|
commitdiff
2013-06-13
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-13
Marion Guthmuller
model-checker : restore while statement for bugged1_liv...
tree
|
commitdiff
2013-06-13
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-13
Marion Guthmuller
model-checker : update bugged1 and bugged2 tesh (differ...
tree
|
commitdiff
2013-06-13
Marion Guthmuller
model-checker : increase timeout in tesh
tree
|
commitdiff
2013-06-13
Marion Guthmuller
model-checker : update bugged2 tesh
tree
|
commitdiff
2013-06-13
degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-12
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-12
suter
further simplification of the storage API, keep size...
tree
|
commitdiff
2013-06-12
Arnaud Giersch
Address compilation warnings.
tree
|
commitdiff
2013-06-12
Arnaud Giersch
Add CMakeLists.txt for examples/msg/semaphores/.
tree
|
commitdiff
2013-06-11
suter
get rid of "mode" parameter in the open file function...
tree
|
commitdiff
2013-06-11
degomme
remove warning
tree
|
commitdiff
2013-06-10
Marion Guthmuller
model-checker : update tesh for liveness example
tree
|
commitdiff
2013-06-10
Marion Guthmuller
model-checker : update tesh
tree
|
commitdiff
2013-06-06
Lionel
Bugfix
tree
|
commitdiff
2013-06-06
Lionel
Bugfix
tree
|
commitdiff
2013-06-06
Lionel
An example to test MSG semaphores
tree
|
commitdiff
2013-06-06
Lionel
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-06-06
suter
revalidate
tree
|
commitdiff
2013-06-06
suter
fp => fd (for file descriptor)
tree
|
commitdiff
2013-06-06
Martin Quinson
kill some dead code
tree
|
commitdiff
2013-06-05
suter
revalidate tesh to account for BIG FAT WARNING
tree
|
commitdiff
next