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
Update doc for compiling gtnets
[simgrid.git]
/
examples
/
2012-01-16
navarro
Add a platform with tag config and explain how to chang...
tree
|
commitdiff
2012-01-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-01-16
Christophe Thiéry
Lua chord: simplify the code by reusing tasks since...
tree
|
commitdiff
2012-01-16
Christophe Thiéry
Add a test for Chord in Lua
tree
|
commitdiff
2012-01-16
Christophe Thiéry
MSG_task_dsend: don't apply a default function if clean...
tree
|
commitdiff
2012-01-13
Marion Guthmuller
Merge branch 'MC_LTL'
tree
|
commitdiff
2012-01-13
Martin Quinson
Merge branch 'MC_LTL'
tree
|
commitdiff
2012-01-12
Christophe Thiéry
Fix a variable name
tree
|
commitdiff
2012-01-11
Marion Guthmuller
merge conflicts resolved
tree
|
commitdiff
2012-01-11
Marion Guthmuller
model-checker : add example centralized_liveness in...
tree
|
commitdiff
2012-01-11
Marion Guthmuller
model-checker : new example for liveness properties
tree
|
commitdiff
2012-01-11
Christophe Thiéry
The timings of these tests have changed since crosstraf...
tree
|
commitdiff
2012-01-10
Marion Guthmuller
model-checker : bugged2_liveness with promela of LTL...
tree
|
commitdiff
2012-01-10
Marion Guthmuller
model-checker : new LTL property for bugged2_liveness...
tree
|
commitdiff
2012-01-09
Marion Guthmuller
model-checker : add comments for the example bugged2_li...
tree
|
commitdiff
2012-01-09
Marion Guthmuller
model-checker : new examples for verification of livene...
tree
|
commitdiff
2012-01-09
Martin Quinson
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
tree
|
commitdiff
2012-01-06
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2012-01-06
Navarrop
Add some tests for crosstraffic = 1.
tree
|
commitdiff
2012-01-06
Christophe Thiéry
Merge branch 'smpi'
tree
|
commitdiff
2012-01-02
Christophe Thiéry
Add a Chord test with the constant network model
tree
|
commitdiff
2011-12-26
Martin Quinson
cleanup the debug messages
tree
|
commitdiff
2011-12-26
Martin Quinson
more verbose debug messages
tree
|
commitdiff
2011-12-26
Martin Quinson
Further investigate the dsend issue, in vain so far
tree
|
commitdiff
2011-12-26
Martin Quinson
merge back the master trunk into the smpi branch
tree
|
commitdiff
2011-12-26
Mark Stillwell
send test program
tree
|
commitdiff
2011-12-25
Martin Quinson
fix a test broken by homogeneisation of dicts
tree
|
commitdiff
2011-12-25
Martin Quinson
fix the tests that my cleanups in the config variable...
tree
|
commitdiff
2011-12-25
Martin Quinson
revalidate two gras tests which timings changed
tree
|
commitdiff
2011-12-25
Martin Quinson
kill deprecated file for windows's tesh
tree
|
commitdiff
2011-12-25
Martin Quinson
Rename the coordinates configuration option to network...
tree
|
commitdiff
2011-12-23
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-12-16
Navarrop
Fix tesh file
tree
|
commitdiff
2011-12-16
Navarrop
Make sure this code is thread safe.
tree
|
commitdiff
2011-12-16
Navarrop
Move scripts to generate g5k into the right directory.
tree
|
commitdiff
2011-12-16
Navarrop
Revert an old commit (f0f66d620ef58973870652446275a5552...
tree
|
commitdiff
2011-12-16
Navarrop
Port old tesh file to modernity.
tree
|
commitdiff
2011-12-16
Navarrop
Rename misleading "fullduplex" keyword to "crosstraffic".
tree
|
commitdiff
2011-12-16
Navarrop
Remove unused variable
tree
|
commitdiff
2011-12-16
Navarrop
Revert new time for token-ring
tree
|
commitdiff
2011-12-13
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-13
Marion Guthmuller
model-checker : clean code
tree
|
commitdiff
2011-12-08
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-12-07
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-07
Marion Guthmuller
model-checker : more requests of CS per process in...
tree
|
commitdiff
2011-12-06
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-12-06
Laurent Bobelin
Added 2 version of a script to generate hierarchical...
tree
|
commitdiff
2011-12-06
Navarrop
Rewrite the token ring example
tree
|
commitdiff
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-12-02
Navarrop
Add a data_center platform.
tree
|
commitdiff
2011-12-02
Navarrop
Add a cloud platform.
tree
|
commitdiff
2011-12-01
Arnaud Giersch
Kill old CVS $Id$ lines.
tree
|
commitdiff
2011-12-01
Arnaud Giersch
Use homogeneous dictionaries whenever possible.
tree
|
commitdiff
2011-12-01
Frederic Suter
two more clobbered variables that prevent me to compile...
tree
|
commitdiff
2011-12-01
Arnaud Giersch
tesh: fix the stable sort.
tree
|
commitdiff
2011-11-30
Navarrop
Correction of a bug. Always return 0.
tree
|
commitdiff
2011-11-30
Navarrop
Remove memleaks
tree
|
commitdiff
2011-11-30
Navarrop
Add a masterslave example with arguments
tree
|
commitdiff
2011-11-30
Navarrop
Add a platform with one cluster and a host
tree
|
commitdiff
2011-11-30
Marion Guthmuller
Merge branch 'master' into MC_LTL
tree
|
commitdiff
2011-11-30
Marion Guthmuller
model-checker : number of CS request per process reduce...
tree
|
commitdiff
2011-11-30
Martin Quinson
add a test trying to access the properties of a remote...
tree
|
commitdiff
2011-11-23
Arnaud Giersch
Set path for binary in token ring tesh file.
tree
|
commitdiff
2011-11-22
Marion Guthmuller
merge conflicts
tree
|
commitdiff
2011-11-18
Martin Quinson
there is no route in vivaldi
tree
|
commitdiff
2011-11-17
Marion Guthmuller
model-checker : examples changed
tree
|
commitdiff
2011-11-16
Christophe Thiéry
Lua: debug chord again
tree
|
commitdiff
2011-11-15
Christophe Thiéry
Lua: fixing the chord example
tree
|
commitdiff
2011-11-15
Christophe Thiéry
Lua: fix Chord example
tree
|
commitdiff
2011-11-15
Christophe Thiéry
Lua: removing the MSG_process_sleep hack changes the...
tree
|
commitdiff
2011-11-14
Martin Quinson
nah, properties in the XML file are not the right place...
tree
|
commitdiff
2011-11-14
Christophe Thiéry
Lua: rename simgrid.task.name() to simgrid.task.get_name()
tree
|
commitdiff
2011-11-14
Christophe Thiéry
Lua Chord example (not working yet, the API is still...
tree
|
commitdiff
2011-11-14
Arnaud Giersch
Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
tree
|
commitdiff
2011-11-14
Arnaud Giersch
Remove usage of xbt_dict_size().
tree
|
commitdiff
2011-11-10
Arnaud Giersch
Simply say fun_ptr(...) instead of (*fun_ptr)(...).
tree
|
commitdiff
2011-11-10
Martin Quinson
Merge branch 'parser'
tree
|
commitdiff
2011-11-10
Christophe Thiéry
New Lua example: Chord (work in progress)
tree
|
commitdiff
2011-11-10
Christophe Thiéry
Lua masterslave: simplify the code and improve the...
tree
|
commitdiff
2011-11-10
Christophe Thiéry
Lua: garbage collect the simgrid module (remove simgrid...
tree
|
commitdiff
2011-11-09
Christophe Thiéry
Lua: merge simgrid.task.recv and simgrid.task.recv_with...
tree
|
commitdiff
2011-11-09
Christophe Thiéry
Make the Lua API respect coherent naming conventions
tree
|
commitdiff
2011-11-09
Arnaud Giersch
Kill "if" before free, and useless cast of free argument.
tree
|
commitdiff
2011-11-09
Navarrop
For radical it is "," and not ";"
tree
|
commitdiff
2011-11-09
Marion Guthmuller
model-checker : example for detection of acceptance...
tree
|
commitdiff
2011-11-08
Arnaud Giersch
Parenthesis should be protected in test parameters.
tree
|
commitdiff
2011-11-08
Christophe Thiéry
Update README of Lua examples
tree
|
commitdiff
2011-11-08
Christophe Thiéry
Clean the code of Lua examples.
tree
|
commitdiff
2011-11-08
Martin Quinson
Reimplement the lua console on top of sg_platf
tree
|
commitdiff
2011-11-07
Christophe Thiéry
After a send, the sender should never access the task...
tree
|
commitdiff
2011-11-07
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-11-07
Navarrop
Don't use a fix value of host.
tree
|
commitdiff
2011-11-07
Navarrop
Add a source file for model vivaldi. Write vivaldi_get_...
tree
|
commitdiff
2011-11-07
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-11-07
Christophe Thiéry
The parser's behavior has changed, revalidate the outpu...
tree
|
commitdiff
2011-11-07
Christophe Thiéry
Add some _XBT_GNUC_UNUSED to avoid compilation warnings...
tree
|
commitdiff
2011-11-03
Martin Quinson
this output changed back, so revert my change of today
tree
|
commitdiff
2011-11-03
Arnaud Giersch
Fix warnings about clobbered variables in gras/rpc...
tree
|
commitdiff
2011-11-03
Arnaud Giersch
Fix warnings about clobbered variables in gras/pmm...
tree
|
commitdiff
2011-11-03
Arnaud Giersch
Fix warnings about clobbered variables in gras/ping...
tree
|
commitdiff
next