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 : forget include ucontext.h for struct smx_ctx_sysv
[simgrid.git]
/
examples
/
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-29
Arnaud Giersch
Clean CMakeLists.txt in examples/smpi.
tree
|
commitdiff
2012-06-28
Arnaud Giersch
Fix path for out-of-source builds, and kill useless...
tree
|
commitdiff
2012-06-28
suter
Test the simdag_tracing code that were already there...
tree
|
commitdiff
2012-06-27
Samuel Lepetit
First bricks for auto_restart support in SIMIX/MSG.
tree
|
commitdiff
2012-06-27
Arnaud Giersch
Fix search paths for test "simdag-test-lua".
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
suter
test also the dotloader with a file that comprises...
tree
|
commitdiff
2012-06-26
suter
add a new test that loads a DAX with a cycle. It should...
tree
|
commitdiff
2012-06-26
suter
If the DAX contains a cycle, just miserably die ...
tree
|
commitdiff
2012-06-26
Samuel Lepetit
Add bittorrent files to the CMakeLists
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-24
suter
slight change to verify that access mode can be changed...
tree
|
commitdiff
2012-06-24
suter
extend test to see if SD_workstation_dump displays...
tree
|
commitdiff
2012-06-24
suter
extend the test to unschedule parallel typed tasks...
tree
|
commitdiff
2012-06-24
suter
basename raises a warning without including libgen.h
tree
|
commitdiff
2012-06-22
Samuel Lepetit
Add bittorrent example in Lua
tree
|
commitdiff
2012-06-22
suter
make this tests pass
tree
|
commitdiff
2012-06-22
suter
one more test of the dotloader (dot with a good schedul...
tree
|
commitdiff
2012-06-22
suter
add a (currently) broken test that tries to create...
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
suter
more on testing the dotloader
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
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
suter
beginning of automated tests for the dotloader. To...
tree
|
commitdiff
2012-06-20
suter
oups
tree
|
commitdiff
2012-06-20
suter
don't try to browse a dynar that has been freed
tree
|
commitdiff
2012-06-20
navarro
Put the different model in the dtd. Permit the xml...
tree
|
commitdiff
2012-06-20
suter
Add 2 tesh files for new stuff and make them part of...
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
suter
remove some useless output on workstations
tree
|
commitdiff
2012-06-20
suter
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-06-20
suter
make use of the newly introduced MxN data redistributio...
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
Arnaud Giersch
Remove unused variable.
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-15
suter
slight modifications
tree
|
commitdiff
2012-06-15
suter
add a new example that use SD_task_set_rate to throttle...
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
navarro
Add disk usage and size parameters for storage.
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
next