| 2012-06-21 |
Arnaud Giersch | Remaining s/MSG_global_init/MSG_init/. |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Cleanups in the --cfg options regarding model-checking |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Various cleanups to the model-checking user interface |
tree | commitdiff |
| 2012-06-21 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Update masterslave_cloud tesh file |
tree | commitdiff |
| 2012-06-21 |
Marion Guthmuller | model-checker : update examples with new function MSG_init |
tree | commitdiff |
| 2012-06-21 |
Marion Guthmuller | model-checker: remove unused examples |
tree | commitdiff |
| 2012-06-21 |
Martin Quinson | Deprecate functions MSG_global_init() / MSG_global_init... |
tree | commitdiff |
| 2012-06-21 |
Samuel Lepetit | Fix bug #14412 (Killing a SIMIX process just after... |
tree | commitdiff |
| 2012-06-20 |
Marion Guthmuller | model-checker : remove unused example |
tree | commitdiff |
| 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 |
| next |
