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
Make smx_file_t, surf_file_t and msg_file_t
[simgrid.git]
/
examples
/
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
2011-11-03
Arnaud Giersch
Fix warnings about clobbered variables in gras/mmrpc...
tree
|
commitdiff
2011-11-03
Arnaud Giersch
Fix warnings about clobbered variables in gras/console...
tree
|
commitdiff
2011-11-03
Arnaud Giersch
Fix warnings about clobbered variables in amok/bandwidt...
tree
|
commitdiff
2011-11-03
Arnaud Giersch
Remove spurious semicolon.
tree
|
commitdiff
2011-11-03
Martin Quinson
integrate initialization functions within the parsing...
tree
|
commitdiff
2011-11-03
Marion Guthmuller
model-checker: new examples for liveness model checking
tree
|
commitdiff
2011-11-02
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-11-02
Christophe Thiéry
This constant may be too large for type long
tree
|
commitdiff
2011-10-28
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-10-27
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : function to compare values of propositi...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : remove unused variables
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : change printf for size_t variables
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : add files for examples
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new comparison for reached pairs (autom...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : delete visited in struct xbt_state_t...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : ddfs stateless and stateful fixed
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : update ddfs stateful model checking...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : stateless model checking for liveness...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate informations for safety statef...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : new example bugged1 for stateful dpor
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : add condition of invisibility to reduce...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : DPOR (independant transitions) algorith...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : separate dfs and dpor algorithms with...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : example changed
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : correction of dfs algorithm for livenes...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-checker : test dpor without replay from initial...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model checker : dfs algorithm corrected
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack when property not valid
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model-check : show stack for acceptance cycle
tree
|
commitdiff
2011-10-25
Marion Guthmuller
model check : acceptance cycle detection with automaton...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
détection de cycle d'acceptation ok mais boucle infinie...
tree
|
commitdiff
2011-10-25
Marion Guthmuller
correction compile warnings
tree
|
commitdiff
2011-10-25
Marion Guthmuller
start new example with parsing lex/yacc of automaton...
tree
|
commitdiff
2011-10-25
Arnaud Giersch
Fix path in tesh file.
tree
|
commitdiff
2011-10-20
Martin Quinson
save some useless strdups
tree
|
commitdiff
2011-10-20
Navarrop
Rewrite perl script for optorsim
tree
|
commitdiff
2011-10-20
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-10-20
Martin Quinson
memory cleanups
tree
|
commitdiff
2011-10-20
Arnaud Giersch
Fix race condition with gras-mmrpc test.
tree
|
commitdiff
2011-10-20
Martin Quinson
Merge stuff again. Damn, I should pull before changing...
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
tree
|
commitdiff
2011-10-20
Martin Quinson
use a user level mallocator on the task content
tree
|
commitdiff
2011-10-20
Martin Quinson
enlarge my cluster once again
tree
|
commitdiff
2011-10-19
Martin Quinson
enlarge my cluster
tree
|
commitdiff
2011-10-19
Martin Quinson
first prealpha not working prototype (please public...
tree
|
commitdiff
2011-10-19
Martin Quinson
typo--
tree
|
commitdiff
2011-10-17
Navarrop
Add example to kill a process.
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Timings have changed: comms cannot continue when a...
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Now that processes are terminated cleanly, this recv...
tree
|
commitdiff
2011-10-14
Christophe Thiéry
Revalidate Chord tesh output (the end of the simulation...
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Fighting more memory leaks in Chord
tree
|
commitdiff
2011-10-13
Lucas Schnorr
[trace] fix tesh'es to follow recent changes in the...
tree
|
commitdiff
2011-10-13
Navarrop
Reorganize platforms for optorsim.
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Fix a memory leak in chord
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Revert msg-actions to an older and more stable version
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Merge branch 'lua'
tree
|
commitdiff
2011-10-13
Christophe Thiéry
Lua: more debugging info
tree
|
commitdiff
2011-10-06
Christophe Thiéry
Lua: add support of closures to the state cloner
tree
|
commitdiff
2011-10-03
Christophe Thiéry
Lua: add a test to check that global values are correct...
tree
|
commitdiff
2011-09-20
Lucas Schnorr
[ns3, trace] tracing needs the sentBytes variable being...
tree
|
commitdiff
2011-09-20
Navarrop
Update ns3 tesh file as platforms have change.
tree
|
commitdiff
2011-09-20
Lucas Schnorr
[trace] fix tesh'es since we changed the paje header
tree
|
commitdiff
2011-09-15
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-09-15
Navarrop
Use more reasonnable values for this example.
tree
|
commitdiff
2011-09-12
Navarrop
Update tesh for ns3 because we have chnge the value...
tree
|
commitdiff
2011-09-08
Lucas Schnorr
[NS3] updated in the example to cover more execution...
tree
|
commitdiff
2011-09-08
Navarrop
Add a dogbone example with ns3
tree
|
commitdiff
2011-09-05
Lucas Schnorr
cosmetics, fixing tesh file
tree
|
commitdiff
2011-08-01
Navarrop
Make a tesh file for ns3.
tree
|
commitdiff
2011-07-30
Quintin Jean-Noël
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2011-07-29
Navarrop
Add lcg platform.
tree
|
commitdiff
2011-07-29
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-07-29
Christophe Thiéry
Add a TODO file with my ideas to make splay work.
tree
|
commitdiff
2011-07-29
Christophe Thiéry
Make the splay example really do something (or at least...
tree
|
commitdiff
2011-07-29
Navarrop
Add a version of gridpp.xml with its tool.
tree
|
commitdiff
2011-07-29
Christophe Thiéry
Trying to make splay work (unfinished).
tree
|
commitdiff
2011-07-29
Navarrop
Add platforms for ns3.
tree
|
commitdiff
2011-07-29
Christophe Thiéry
Lua / Splay: some cleanups
tree
|
commitdiff
2011-07-29
Christophe Thiéry
Merge branch 'master' of git+ssh://scm.gforge.inria...
tree
|
commitdiff
2011-07-28
Navarrop
Implementation of NS3.
tree
|
commitdiff
2011-07-19
Pierre-Nicolas Clauss
Merge back master branch.
tree
|
commitdiff
2011-07-18
Arnaud Giersch
Regenerate tesh file for test gras-synchro-sg-32 and...
tree
|
commitdiff
2011-07-18
Arnaud Giersch
Regenerate tesh file for test gras-all2all-sg-32 and...
tree
|
commitdiff
2011-07-18
Arnaud Giersch
Increase timeout for gras-rpc tests.
tree
|
commitdiff
2011-07-18
Arnaud Giersch
Fix tesh files for tests gras-rpc-sg-32 and -64.
tree
|
commitdiff
2011-07-18
Arnaud Giersch
Free globals before exit in timer example.
tree
|
commitdiff
2011-07-18
Quintin Jean-Noël
Merge remote-tracking branch 'origin/master'
tree
|
commitdiff
2011-07-18
Navarrop
We can use the cluster tag without backbone link if...
tree
|
commitdiff
next