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
Increase timeout for test bittorrent.
[simgrid.git]
/
examples
/
msg
/
2012-07-06
Arnaud Giersch
Increase timeout for test bittorrent.
tree
|
commitdiff
2012-07-05
Arnaud Giersch
Add missing files from examples for dist.
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-05
navarro
Use new tag host_link for peer. No need for router...
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Add kademlia C example
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Use xbt_dynar_foreach in cloud example
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Revalidate tesh file for cloud example
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Update cloud example to use MSG_vm_reboot. Update the...
tree
|
commitdiff
2012-07-04
Samuel Lepetit
Remove XBT_INLINE from bittorrent example.
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Make example compile with enable_warnings=ON.
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Reindent.
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Don't override CMAKE_C_FLAGS!
tree
|
commitdiff
2012-07-04
Arnaud Giersch
Make directory when building out of the source tree.
tree
|
commitdiff
2012-07-04
schnorr
[trace] fix paje header in tesh files
tree
|
commitdiff
2012-07-03
Marion Guthmuller
model-checker : copyright header for safety properties...
tree
|
commitdiff
2012-07-03
Samuel Lepetit
Add bittorrent example
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-07-02
Marion Guthmuller
model-checker: sed 's/m_task_t/msg_task_t/g' on MC...
tree
|
commitdiff
2012-06-29
lbobelin
Cleaned doc, re-included examples, should be better...
tree
|
commitdiff
2012-06-29
Marion Guthmuller
model-checker : tests for snapshot comparison
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_gpu_task_t instead of m_gpu_task_t
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_task_t instead of m_task_t
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_host_t instead of m_host_t.
tree
|
commitdiff
2012-06-29
Samuel Lepetit
Use msg_process_t instead of m_process_t
tree
|
commitdiff
2012-06-29
Arnaud Giersch
Update tesh files with process autorestart.
tree
|
commitdiff
2012-06-29
Arnaud Giersch
Add "output sort" in tesh files.
tree
|
commitdiff
2012-06-27
Samuel Lepetit
First bricks for auto_restart support in SIMIX/MSG.
tree
|
commitdiff
2012-06-26
Arnaud Giersch
Reindent Cmake files.
tree
|
commitdiff
2012-06-26
Arnaud Giersch
Remove unnecessary spaces and empty lines in tesh files.
tree
|
commitdiff
2012-06-26
Marion Guthmuller
model-checker : keep one bugged1 example for liveness...
tree
|
commitdiff
2012-06-26
Marion Guthmuller
model-checker : update list of examples in CMakeLists
tree
|
commitdiff
2012-06-26
Marion Guthmuller
model-checker : remove unused examples
tree
|
commitdiff
2012-06-26
Marion Guthmuller
model-checker : cosmetics reindent
tree
|
commitdiff
2012-06-22
navarro
Update tesh files using trace as those files have chang...
tree
|
commitdiff
2012-06-22
navarro
Need to have a double because the result should not...
tree
|
commitdiff
2012-06-22
Marion Guthmuller
model-checker : update tesh with new cleanups done...
tree
|
commitdiff
2012-06-21
navarro
Put double instead of size_t.
tree
|
commitdiff
2012-06-21
navarro
Comsetics
tree
|
commitdiff
2012-06-21
Arnaud Giersch
Remaining s/MSG_global_init/MSG_init/.
tree
|
commitdiff
2012-06-21
Martin Quinson
Cleanups in the --cfg options regarding model-checking
tree
|
commitdiff
2012-06-21
Martin Quinson
Various cleanups to the model-checking user interface
tree
|
commitdiff
2012-06-21
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Update masterslave_cloud tesh file
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker : update examples with new function MSG_init
tree
|
commitdiff
2012-06-21
Marion Guthmuller
model-checker: remove unused examples
tree
|
commitdiff
2012-06-21
Martin Quinson
Deprecate functions MSG_global_init() / MSG_global_init...
tree
|
commitdiff
2012-06-21
Samuel Lepetit
Fix bug #14412 (Killing a SIMIX process just after...
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : remove unused example
tree
|
commitdiff
2012-06-20
Marion Guthmuller
model-checker : new surf configuration mc-checkpoint
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
navarro
Put the different model in the dtd. Permit the xml...
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
Arnaud Giersch
Remove unused file.
tree
|
commitdiff
2012-06-20
suter
Solve white space conflicts
tree
|
commitdiff
2012-06-20
Martin Quinson
sed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
tree
|
commitdiff
2012-06-18
Marion Guthmuller
model-checker : update tesh examples with last modifica...
tree
|
commitdiff
2012-06-18
Arnaud Giersch
Fix tesh and cmake files for test masterslave_virtual_m...
tree
|
commitdiff
2012-06-15
navarro
Add generated mc files to extra dist
tree
|
commitdiff
2012-06-15
navarro
Clean sources for mc and reedit some files
tree
|
commitdiff
2012-06-15
navarro
Remove unused files
tree
|
commitdiff
2012-06-15
Marion Guthmuller
model-checker : remove unused files in examples/ms/mc
tree
|
commitdiff
2012-06-14
navarro
2nd part of kill GLOB_RECURSE
tree
|
commitdiff
2012-06-14
Marion Guthmuller
resolve merge conflict
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : examples updated with new lex and yacc...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : lex and yacc parsing moved in src/xbt...
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : remove unused files
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-06-14
Samuel Lepetit
Add a MSG_vm_destroy function to free a virtual machine
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Add tesh file for masterslave_virtual_machines
tree
|
commitdiff
2012-06-14
Marion Guthmuller
model-checker : remove unnecessary include in lex file
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Fix the cloud API, nicely this time.
tree
|
commitdiff
2012-06-14
Samuel Lepetit
Revert "Debug the cloud API, it should work as expected...
tree
|
commitdiff
2012-06-14
schnorr
[trace] we don't destroy things we didn't create
tree
|
commitdiff
2012-06-14
schnorr
[trace] re-write of trace mark API, need to declare...
tree
|
commitdiff
2012-06-13
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
Samuel Lepetit
Debug the cloud API, it should work as expected now.
tree
|
commitdiff
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
Samuel Lepetit
Bugfix in msg/io example
tree
|
commitdiff
2012-06-13
navarro
Change the file API, remove the mount point in each...
tree
|
commitdiff
2012-06-13
Arnaud Giersch
Rewrite the platform_script.lua used by the test for...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-13
Marion Guthmuller
model-checker : remove binary name as argument of some...
tree
|
commitdiff
2012-06-12
navarro
Remove some debug from execution
tree
|
commitdiff
2012-06-12
Marion Guthmuller
fix merge conflict
tree
|
commitdiff
2012-06-12
Arnaud Giersch
Missing include.
tree
|
commitdiff
2012-06-09
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-08
suter
First step to move trace replay from MSG towards SMPI
tree
|
commitdiff
2012-06-08
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-08
jbrv
Changed masterslave with failures test platform
tree
|
commitdiff
2012-06-07
schnorr
[trace] paje header changed, update tesh
tree
|
commitdiff
2012-06-03
Marion Guthmuller
model-checker : XBT_DEBUG replaced by XBT_INFO
tree
|
commitdiff
2012-06-03
Marion Guthmuller
model-checker : new properties in promela for centraliz...
tree
|
commitdiff
2012-06-03
Marion Guthmuller
model-checker : new examples
tree
|
commitdiff
2012-06-02
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-30
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-05-30
Marion Guthmuller
model-checker : remove unused variable CS_PER_PROCESS
tree
|
commitdiff
next