| 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 |
| 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-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 |
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-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 |
| 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-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-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 |
Arnaud Giersch | [trace] Fix tests: tracing-ms, and tracing-categories. |
tree | commitdiff |
| 2011-05-12 |
Christophe Thiéry | Action replayer: don't hardcode the usage of raw contextes |
tree | commitdiff |
| next |
