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
Revert "Remove XBT_INFO call"
[simgrid.git]
/
examples
/
msg
/
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-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-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-28
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-06-19
Paul Bédaride
Merge branch 'master' into hypervisor
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
Takahiro Hirofuchi
add comments
tree
|
commitdiff
2013-06-06
Takahiro Hirofuchi
fix a compilation error and update an example
tree
|
commitdiff
2013-06-06
Takahiro Hirofuchi
add a missing file and add MSG_vm_set_bound
tree
|
commitdiff
2013-06-06
Martin Quinson
kill some dead code
tree
|
commitdiff
2013-06-05
Takahiro Hirofuchi
Merge branch 'hypervisor' of scm.gforge.inria.fr:/gitro...
tree
|
commitdiff
2013-06-05
Takahiro Hirofuchi
add the load capping feature
tree
|
commitdiff
2013-06-05
suter
revalidate tesh to account for BIG FAT WARNING
tree
|
commitdiff
2013-06-05
suter
revalidate tesh
tree
|
commitdiff
2013-06-05
suter
simplify the examples of file usage
tree
|
commitdiff
2013-06-05
Martin Quinson
cleanups: kill unused forward declarations
tree
|
commitdiff
2013-06-05
Paul Bédaride
Make hypervisor compile with compile_warnings=ON
tree
|
commitdiff
2013-06-04
Martin Quinson
display a warning message to avoid that some people...
tree
|
commitdiff
2013-06-01
Marion Guthmuller
model-checker : modify chord example in mc for exhausti...
tree
|
commitdiff
2013-05-31
Marion Guthmuller
model-checker : update bugged1_liveness tesh
tree
|
commitdiff
2013-05-28
Marion Guthmuller
model-checker : add global variable in bugged1_liveness...
tree
|
commitdiff
2013-05-07
Arnaud Giersch
Use correct capitalization for unit prefixes.
tree
|
commitdiff
2013-05-06
Paul Bédaride
Add unit support in xml files [#14422]
tree
|
commitdiff
2013-04-30
Arnaud Giersch
Remove stale forward declarations.
tree
|
commitdiff
2013-04-30
Arnaud Giersch
Remove duplicate file.
tree
|
commitdiff
next