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 |
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 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-07-29 |
Navarrop | Add platforms for ns3. |
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 |
Quintin Jean-Noël | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2011-07-18 |
Navarrop | Update tesh files for vivaldi. |
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 | 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 |
2011-05-12 |
Christophe Thiéry | Use variadic macros |
tree | commitdiff |
2011-05-12 |
Christophe Thiéry | Action replayer: remove dirty hacks, they didn't work... |
tree | commitdiff |
2011-05-12 |
Lucas Schnorr | [trace] cosmetics on user variables tracing, simpler... |
tree | commitdiff |
2011-04-28 |
Lucas Schnorr | update tracing tesh's to new order of events caused... |
tree | commitdiff |
2011-04-26 |
Christophe Thiéry | Fix the binary directory of Chord tesh file |
tree | commitdiff |
2011-04-21 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2011-04-21 |
Navarrop | add ${bindir}/ to tesh chord |
tree | commitdiff |
2011-04-21 |
Navarrop | We now use the good workstation/model with 'CLM03'... |
tree | commitdiff |
2011-04-21 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-21 |
Christophe Thiéry | Add Chord to the test suite |
tree | commitdiff |
2011-04-20 |
Christophe Thiéry | MC: make the output independent of the type of processo... |
tree | commitdiff |
2011-04-19 |
Martin Quinson | fix the make clean command v3.6_beta2 |
tree | commitdiff |
2011-04-12 |
Navarrop | Remove link_router from tag cluster. |
tree | commitdiff |
2011-04-12 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-11 |
Lucas Schnorr | merging tracing changes |
tree | commitdiff |
2011-04-11 |
Lucas Schnorr | update tesh'es: tracing tests use temporal buffer |
tree | commitdiff |
2011-04-11 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2011-04-11 |
Navarrop | Delete coordinates for AS. |
tree | commitdiff |
next |