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
add the new mmalloc test to the testsuite
[simgrid.git]
/
examples
/
msg
/
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-06
Marion Guthmuller
model-checker : cleanup in mc examples
tree
|
commitdiff
2012-10-05
Marion Guthmuller
model-checker : display information about variables...
tree
|
commitdiff
2012-10-03
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-10-02
Martin Quinson
Deprecate MSG_clean
tree
|
commitdiff
2012-09-27
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-09-14
schnorr
[trace] update tesh'es to contain simgrid version that...
tree
|
commitdiff
2012-09-13
schnorr
[trace] update tesh'es
tree
|
commitdiff
2012-09-11
navarro
Update file example for ls command
tree
|
commitdiff
2012-09-03
navarro
Add properties to AS structure (Not work for now) and...
tree
|
commitdiff
2012-08-29
navarro
Rewrite the init of bypass mecanism (tks Martin;)
tree
|
commitdiff
2012-08-22
schnorr
[trace] only fixing some tesh'es, paje header has changed
tree
|
commitdiff
2012-08-21
jean-noel quintin
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2012-08-20
schnorr
[trace] updating tesh'es according to header changes
tree
|
commitdiff
2012-08-10
Jean-Baptiste Hervé
Add a master/slave example using a generated platform...
tree
|
commitdiff
2012-08-10
Jean-Baptiste Hervé
Platform generation: add a bittorent example using...
tree
|
commitdiff
2012-08-10
Jean-Baptiste Hervé
Platform generation: fex modification of the master...
tree
|
commitdiff
2012-08-09
Jean-Baptiste Hervé
Platform generation: add a master/slave example using...
tree
|
commitdiff
2012-08-08
navarro
First example for bypass platform wit sg_platf_new...
tree
|
commitdiff
2012-07-31
navarro
Update tesh for io.
tree
|
commitdiff
2012-07-31
navarro
Add function to unlink a file.
tree
|
commitdiff
2012-07-31
navarro
Fix memory leak
tree
|
commitdiff
2012-07-12
navarro
Update xml_files in Cmake
tree
|
commitdiff
2012-07-12
navarro
Remove this output.
tree
|
commitdiff
2012-07-12
navarro
Update tesh file for cabinet
tree
|
commitdiff
2012-07-11
Marion Guthmuller
model-checker : application alert for state equality...
tree
|
commitdiff
2012-07-10
Marion Guthmuller
model-checker : update example bugged1_liveness (variab...
tree
|
commitdiff
2012-07-09
Arnaud Giersch
Increase required width for times in tesh file.
tree
|
commitdiff
2012-07-09
Arnaud Giersch
Fix kademlia example which was broken on 32bits archs.
tree
|
commitdiff
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
next