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 : use new variable _sg_mc_liveness instead of _sg_mc_property_file
[simgrid.git]
/
examples
/
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
revalidate tesh
tree
|
commitdiff
2013-10-06
suter
slightly modify the example to check that overwriting...
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-06
Martin Quinson
cosmetics in an error message
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-04
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-10-03
Arnaud Giersch
Kill some memory leaks.
tree
|
commitdiff
2013-10-03
Arnaud Giersch
Exit cleanly on error.
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-10-01
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-30
Arnaud Giersch
More substitutions for the smpirun script.
tree
|
commitdiff
2013-09-29
Marion Guthmuller
model-checker : fix bugged mutual exclusion example...
tree
|
commitdiff
2013-09-28
Martin Quinson
Merge pull request #2 from cemsbr/master
tree
|
commitdiff
2013-09-27
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-26
Pierre Veyre
Change MSG_host_get_storage_list function + update...
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
suter
leak--
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-25
Augustin Degomme
close cleanly test for valgrind to be happier
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
suter
also test allgatherv replay (in its new format)
tree
|
commitdiff
2013-09-24
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2013-09-24
suter
simplify way alltoallv and gatherv are described in...
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-09-13
Arnaud Giersch
Word "centralized" was removed from package name.
tree
|
commitdiff
2013-09-13
Arnaud Giersch
Use Msg.verb instead of System.out for message.
tree
|
commitdiff
2013-09-09
suter
this example file cannot be parsed because of case...
tree
|
commitdiff
2013-09-03
Martin Quinson
give this example default values for the arguments...
tree
|
commitdiff
2013-09-03
Martin Quinson
unavoidable cosmetic. Sorry for the noise
tree
|
commitdiff
2013-09-03
Martin Quinson
java examples: reorg the imports
tree
|
commitdiff
2013-09-03
Martin Quinson
java examples: align the package declaration with the...
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
increase timeout
tree
|
commitdiff
2013-08-14
Marion Guthmuller
model-checker : update SMPI bugged mutual exclusion...
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-13
Marion Guthmuller
model-checker : remove binary
tree
|
commitdiff
2013-08-13
Marion Guthmuller
model-checker : create mc directory in smpi examples...
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-09
suter
start to design a test for storage management in SimDag...
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-19
Takahiro Hirofuchi
add a test program to see scalability issue.
tree
|
commitdiff
2013-07-17
suter
update examples with new prototype for open
tree
|
commitdiff
2013-07-12
Arnaud Giersch
Increase timeout for test java-async.
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
id -> storageId in mount tags + example of content_type...
tree
|
commitdiff
2013-07-09
suter
the name field of a msg_file_t is actually a full name...
tree
|
commitdiff
2013-07-09
suter
add an example of storage content in the windows format
tree
|
commitdiff
2013-07-09
suter
change mind, fullname will be easier to deal with....
tree
|
commitdiff
2013-07-09
suter
split name into path+name in content file
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
alebre
Fix VM params once for all - Adrien
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-28
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-06-25
suter
units for bandwidth properties too
tree
|
commitdiff
2013-06-25
suter
start to clarify this example
tree
|
commitdiff
next