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
[trace] removing deprecated function from the tracing interface
[simgrid.git]
/
examples
/
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
2011-07-18
Navarrop
Update tesh files for vivaldi.
tree
|
commitdiff
2011-07-11
Navarrop
Add script and platforms for cabinet.
tree
|
commitdiff
2011-07-11
Navarrop
Make a rulebased rule for gdx
tree
|
commitdiff
2011-07-11
Navarrop
Add some peer traces.
tree
|
commitdiff
2011-07-07
Navarrop
"Refresh" example platforms.
tree
|
commitdiff
2011-07-07
Navarrop
Update g5k platform.
tree
|
commitdiff
2011-07-07
Navarrop
New g5k platform.
tree
|
commitdiff
2011-06-23
Arnaud Giersch
Reindent TRY/TRY_CLEANUP/CATCH constructs.
tree
|
commitdiff
2011-06-23
Arnaud Giersch
Use CATCH_ANONYMOUS whenever possible, and remove unuse...
tree
|
commitdiff
2011-06-23
Arnaud Giersch
Cosmetics: handle exception inside exception handler.
tree
|
commitdiff
2011-06-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2011-06-09
Pierre-Nicolas Clauss
Merge back master branch
tree
|
commitdiff
2011-06-07
Arnaud Giersch
Add missing calls to xbt_ex_free().
tree
|
commitdiff
2011-06-07
Arnaud Giersch
Remove unused variables.
tree
|
commitdiff
2011-05-24
Martin Quinson
merge
tree
|
commitdiff
2011-05-24
Lucas Schnorr
[trace] fix tests: tracing-tasks and smpi-tracing-ptp
tree
|
commitdiff
2011-05-24
Lucas Schnorr
[trace] updating tesh's to follow recent changes in...
tree
|
commitdiff
2011-05-24
Lucas Schnorr
[trace] removing volume case study, deprecated at 3.6
tree
|
commitdiff
2011-05-19
Pedro Velho
Added an optinal timer for those who want to sample...
tree
|
commitdiff
2011-05-18
Arnaud Giersch
Tasks must be initialized.
tree
|
commitdiff
2011-05-17
Pierre-Nicolas Clauss
Merge back master branch.
tree
|
commitdiff
2011-05-17
Arnaud Giersch
[trace] Fix tests: tracing-ms, and tracing-categories.
tree
|
commitdiff
2011-05-13
Pierre-Nicolas Clauss
Merge back master branch.
tree
|
commitdiff
2011-05-12
Christophe Thiéry
Action replayer: don't hardcode the usage of raw contextes
tree
|
commitdiff
next