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
Implement SIMIX_process_from_PID
[simgrid.git]
/
examples
/
msg
/
2012-01-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
tree
|
commitdiff
2012-01-16
Christophe Thiéry
MSG_task_dsend: don't apply a default function if clean...
tree
|
commitdiff
2012-01-13
Martin Quinson
Merge branch 'MC_LTL'
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-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
merge back the master trunk into the smpi branch
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-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
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
Navarrop
Rewrite the token ring example
tree
|
commitdiff
2011-12-05
Marion Guthmuller
Merge branch 'master' into MC_LTL
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
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
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-17
Marion Guthmuller
model-checker : examples changed
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 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-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
Marion Guthmuller
model-checker : example for detection of acceptance...
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
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
Merge stuff again. Damn, I should pull before changing...
tree
|
commitdiff
2011-10-20
Martin Quinson
merge branches
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
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-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
next