| 2012-06-15 |
navarro | Remove unused files |
tree | commitdiff |
| 2012-06-15 |
Marion Guthmuller | model-checker : remove unused files in examples/ms/mc |
tree | commitdiff |
| 2012-06-14 |
navarro | 2nd part of kill GLOB_RECURSE |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | resolve merge conflict |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : examples updated with new lex and yacc... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : lex and yacc parsing moved in src/xbt... |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : remove unused files |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-14 |
navarro | First step to delete GLOB command from cmake |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Add a MSG_vm_destroy function to free a virtual machine |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Add tesh file for masterslave_virtual_machines |
tree | commitdiff |
| 2012-06-14 |
Marion Guthmuller | model-checker : remove unnecessary include in lex file |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Fix the cloud API, nicely this time. |
tree | commitdiff |
| 2012-06-14 |
Samuel Lepetit | Revert "Debug the cloud API, it should work as expected... |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] we don't destroy things we didn't create |
tree | commitdiff |
| 2012-06-14 |
schnorr | [trace] re-write of trace mark API, need to declare... |
tree | commitdiff |
| 2012-06-13 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-13 |
Samuel Lepetit | Debug the cloud API, it should work as expected now. |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-13 |
Samuel Lepetit | Bugfix in msg/io example |
tree | commitdiff |
| 2012-06-13 |
navarro | Change the file API, remove the mount point in each... |
tree | commitdiff |
| 2012-06-13 |
Arnaud Giersch | Rewrite the platform_script.lua used by the test for... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-13 |
Marion Guthmuller | model-checker : remove binary name as argument of some... |
tree | commitdiff |
| 2012-06-12 |
navarro | Remove some debug from execution |
tree | commitdiff |
| 2012-06-12 |
Marion Guthmuller | fix merge conflict |
tree | commitdiff |
| 2012-06-12 |
Arnaud Giersch | Missing include. |
tree | commitdiff |
| 2012-06-09 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-08 |
suter | First step to move trace replay from MSG towards SMPI |
tree | commitdiff |
| 2012-06-08 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-06-08 |
jbrv | Changed masterslave with failures test platform |
tree | commitdiff |
| 2012-06-07 |
schnorr | [trace] paje header changed, update tesh |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : XBT_DEBUG replaced by XBT_INFO |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : new properties in promela for centraliz... |
tree | commitdiff |
| 2012-06-03 |
Marion Guthmuller | model-checker : new examples |
tree | commitdiff |
| 2012-06-02 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-30 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-30 |
Marion Guthmuller | model-checker : remove unused variable CS_PER_PROCESS |
tree | commitdiff |
| 2012-05-30 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-29 |
Martin Quinson | recommit my initial version of cloud stuff for 3.8... |
tree | commitdiff |
| 2012-05-24 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-24 |
Laurent Bobelin | Removed some unused and out-of-date XML files, correcte... |
tree | commitdiff |
| 2012-05-23 |
schnorr | [trace] updating tesh's that check graph configuration... |
tree | commitdiff |
| 2012-05-23 |
Arnaud Giersch | Use standard modifier %z instead of %Z. |
tree | commitdiff |
| 2012-05-14 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2012-05-14 |
Christophe Thiéry | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-14 |
Christophe Thiéry | Add comments to this script |
tree | commitdiff |
| 2012-05-13 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2012-05-11 |
Marion Guthmuller | model-checker : parser for dwarf file (to complete... |
tree | commitdiff |
| 2012-05-10 |
navarro | Just hack the Bconnection to be sure test succed on... |
tree | commitdiff |
| 2012-05-03 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-03 |
Samuel Lepetit | Bugfix in masterslave_arg |
tree | commitdiff |
| 2012-05-03 |
Arnaud Legrand | Revalidate output after my recent modifications in... |
tree | commitdiff |
| 2012-05-03 |
Arnaud Legrand | Use this variable so that gcc does not warn anymore. |
tree | commitdiff |
| 2012-05-03 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-05-02 |
schnorr | [trace] always set initial value for variables, if... |
tree | commitdiff |
| 2012-04-28 |
Martin Quinson | I forgot to update my tree before commiting (once again... |
tree | commitdiff |
| 2012-04-27 |
Martin Quinson | Remove the public field msg_host_t->name. Use MSG_host_... |
tree | commitdiff |
| 2012-04-27 |
Martin Quinson | Merge all public simix headers, and distribute them... |
tree | commitdiff |
| 2012-04-27 |
navarro | Ajout de tests pour kill et start time |
tree | commitdiff |
| 2012-04-27 |
navarro | Update tesh for kill start time. |
tree | commitdiff |
| 2012-04-27 |
navarro | Rewrite the kill_time mecanism. |
tree | commitdiff |
| 2012-04-27 |
Frederic Suter | remove unused variable that raises warning (when treate... |
tree | commitdiff |
| 2012-04-27 |
navarro | Add a specific test for arguments start_time and kill_t... |
tree | commitdiff |
| 2012-04-26 |
Arnaud Legrand | Tesh update. |
tree | commitdiff |
| 2012-04-26 |
Samuel Lepetit | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-04-25 |
Arnaud Legrand | Hide pretty nasty issue. |
tree | commitdiff |
| 2012-04-25 |
Arnaud Legrand | Cosmetics. |
tree | commitdiff |
| 2012-04-25 |
navarro | Add tesh for storag. |
tree | commitdiff |
| 2012-04-22 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2012-04-20 |
Marion Guthmuller | model-checker : reindent, no change |
tree | commitdiff |
| 2012-04-20 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-04-20 |
Marion Guthmuller | model-checker : separate bugged1_liveness (deleted... |
tree | commitdiff |
| 2012-04-17 |
Christophe Thiéry | Respect the coding style |
tree | commitdiff |
| 2012-04-17 |
Christophe Thiéry | Remove tabs |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] we need to close the file |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] updating tesh due to buffering by default |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] it seems that buffering affects trace alias... |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] example of creating a customized graph configur... |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] not tracing to test the absense of output |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] pay attention to the return value of get functi... |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] test the TRACE_get_[host|link]_variables |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] update example to show how to get declared... |
tree | commitdiff |
| 2012-04-05 |
schnorr | [trace] update example to show how to use TRACE_get_cat... |
tree | commitdiff |
| 2012-04-03 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-04-03 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
| 2012-04-03 |
navarro | Implement file stat for storage model. |
tree | commitdiff |
| 2012-04-03 |
navarro | Make smx_file_t, surf_file_t and msg_file_t |
tree | commitdiff |
| 2012-04-02 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-03-30 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-03-29 |
navarro | Try to clean platform files containing in examples... |
tree | commitdiff |
| 2012-03-27 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-03-27 |
Marion Guthmuller | model-checker : new example test_snapshot to check... |
tree | commitdiff |
| 2012-03-26 |
navarro | Update example for return values and more files. |
tree | commitdiff |
| 2012-03-24 |
schnorr | [trace] update examples with the new API for setting... |
tree | commitdiff |
| 2012-03-23 |
navarro | Generate doc for actions |
tree | commitdiff |
| 2012-03-23 |
Marion Guthmuller | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
| 2012-03-22 |
navarro | First step to take care of constraint into storage... |
tree | commitdiff |
| 2012-03-22 |
schnorr | document MSG tracing examples |
tree | commitdiff |
| 2012-03-21 |
Martin Quinson | rewrite the text README by dumping the newly written... |
tree | commitdiff |
| next |
