2012-06-20 |
Marion Guthmuller | model-checker : new surf configuration mc-checkpoint |
tree | commitdiff |
2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-20 |
navarro | Put the different model in the dtd. Permit the xml... |
tree | commitdiff |
2012-06-20 |
suter | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-06-20 |
Arnaud Giersch | Remove unused file. |
tree | commitdiff |
2012-06-20 |
suter | Solve white space conflicts |
tree | commitdiff |
2012-06-20 |
Martin Quinson | sed -i -e 's/\t/ /g' *.[ch] Please people, stop using... |
tree | commitdiff |
2012-06-18 |
Marion Guthmuller | model-checker : update tesh examples with last modifica... |
tree | commitdiff |
2012-06-18 |
Arnaud Giersch | Fix tesh and cmake files for test masterslave_virtual_m... |
tree | commitdiff |
2012-06-15 |
navarro | Add generated mc files to extra dist |
tree | commitdiff |
2012-06-15 |
navarro | Clean sources for mc and reedit some files |
tree | commitdiff |
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 |
next |