| 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 |
| 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 |
| next |
