2012-11-07 |
Marion Guthmuller | model-checker: add chord example for liveness property... |
tree | commitdiff |
2012-11-07 |
Marion Guthmuller | model-checker : update examples for test snapshot compa... |
tree | commitdiff |
2012-10-31 |
navarro | Change parse for exec to be complient with simgrid... |
tree | commitdiff |
2012-10-31 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-31 |
Arnaud Giersch | Variable is unused, remove it. |
tree | commitdiff |
2012-10-30 |
suter | use MSG_host_set_property_value everywhere |
tree | commitdiff |
2012-10-30 |
suter | better to use a function that exists than dealing with... |
tree | commitdiff |
2012-10-27 |
Marion Guthmuller | model-checker : test examples for snapshot comparison |
tree | commitdiff |
2012-10-27 |
Marion Guthmuller | model-checker : clean debug information in bugged1_live... |
tree | commitdiff |
2012-10-27 |
Marion Guthmuller | model-checker : remove files about test_heap_comparison |
tree | commitdiff |
2012-10-27 |
Arnaud Giersch | Merge branch 'v3_8_x' |
tree | commitdiff |
2012-10-27 |
Arnaud Giersch | Merge branch 'v3_8_x' |
tree | commitdiff |
2012-10-27 |
Arnaud Giersch | Remove conditions from else() and endif() in cmake... |
tree | commitdiff |
2012-10-26 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-26 |
navarro | Fix smpi script variables between cmake home dir and... |
tree | commitdiff |
2012-10-26 |
navarro | Fix test out of directory for smpi mpich |
tree | commitdiff |
2012-10-25 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-25 |
navarro | Compilation fix on SMPI with WIN32 |
tree | commitdiff |
2012-10-25 |
Christophe Thiéry | Since cmake 2.6, else() and endif() don't need to repea... |
tree | commitdiff |
2012-10-25 |
Lucas Schnorr | [trace] fix tesh'es due to change of link values |
tree | commitdiff |
2012-10-25 |
navarro | Remove generated files from dist |
tree | commitdiff |
2012-10-24 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-24 |
Martin Quinson | Desactivate an historical MC_assert so that model-check... |
tree | commitdiff |
2012-10-24 |
Arnaud Giersch | Fix format string and args. |
tree | commitdiff |
2012-10-24 |
Maximiliano Geier | Pull again, something was changed before I could push |
tree | commitdiff |
2012-10-24 |
Maximiliano Geier | Pull changes to push BitTorrent fix |
tree | commitdiff |
2012-10-24 |
Maximiliano Geier | BitTorrent changes: |
tree | commitdiff |
2012-10-24 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-23 |
Arnaud Giersch | Cosmetics: Having -> Have; write -> written. |
tree | commitdiff |
2012-10-23 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-23 |
Arnaud Giersch | Set smpi/cpu_threshold to 1 for smpi-replay, and hope... |
tree | commitdiff |
2012-10-23 |
Arnaud Giersch | Define an additional parameter for the hack around... |
tree | commitdiff |
2012-10-19 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-19 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-19 |
paul bedaride | clean user guide |
tree | commitdiff |
2012-10-19 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-19 |
Maximiliano Geier | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-18 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-18 |
navarro | Add missing files for distrib |
tree | commitdiff |
2012-10-18 |
Martin Quinson | plug some memleaks in that example |
tree | commitdiff |
2012-10-18 |
Augustin Degomme | move smpi examples to teshsuite |
tree | commitdiff |
2012-10-18 |
Maximiliano Geier | BitTorrent: fixed message sizes, based on the actual... |
tree | commitdiff |
2012-10-18 |
navarro | cosmetics |
tree | commitdiff |
2012-10-17 |
Arnaud Giersch | Ignore the first two lines of output. |
tree | commitdiff |
2012-10-17 |
schnorr | [trace] fix tesh'es to compare trace file considering... |
tree | commitdiff |
2012-10-16 |
Martin Quinson | s/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... |
tree | commitdiff |
2012-10-16 |
Arnaud Giersch | Regenerate tesh files for chord examples. |
tree | commitdiff |
2012-10-14 |
Lucas Nussbaum | chord: avoid duplicate call of MSG_comm_test() |
tree | commitdiff |
2012-10-11 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-10-11 |
Arnaud Giersch | Increase timeout in pmm.tesh. |
tree | commitdiff |
2012-10-11 |
jean-noel quintin | [example,smpi,MM] remove the specification of parameter... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Fix memory leaks in msg_pmm. |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Add msg-pmm to the list of tests to run, and fill up... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Cannot use a dsend here, or it will be aborted when... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Check for errors from MSG_task_receive. |
tree | commitdiff |
2012-10-10 |
paul bedaride | add pmm.tesh |
tree | commitdiff |
2012-10-10 |
Martin Quinson | commit my deployment for testing the model-checking... |
tree | commitdiff |
2012-10-10 |
jean-noel quintin | [examples,smpi,MM] remove a useless function |
tree | commitdiff |
2012-10-10 |
jean-noel quintin | [examples,smpi,MM] get some positive value for the... |
tree | commitdiff |
2012-10-10 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-10 |
jean-noel quintin | [example,smpi,MM] remove the timer interface which... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Abort if getline failed. |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Remove declaration of static functions from header... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | An inline declaration without definition does not make... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Remove generated file after test. |
tree | commitdiff |
2012-10-10 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Always initialize variable. |
tree | commitdiff |
2012-10-09 |
Augustin Degomme | shunt a warning, quite dirtily |
tree | commitdiff |
2012-10-09 |
Augustin Degomme | add a few tests for smpi |
tree | commitdiff |
2012-10-09 |
jean-noel quintin | [examples,smpi] remove warnings and resolve a bug ... |
tree | commitdiff |
2012-10-09 |
navarro | Add a tesh file for smpi vector |
tree | commitdiff |
2012-10-09 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-09 |
jean-noel quintin | [smpi,example] an example of matrix multiplication... |
tree | commitdiff |
2012-10-08 |
Martin Quinson | we need the simgrid library too. True story. |
tree | commitdiff |
2012-10-08 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-10-08 |
Martin Quinson | make it compile in a recent tree |
tree | commitdiff |
2012-10-08 |
Marion Guthmuller | add executable chord_before_dsend in CMakeLists |
tree | commitdiff |
2012-10-08 |
Marion Guthmuller | version of chord before use MSG_task_dsend |
tree | commitdiff |
2012-10-08 |
Arnaud Giersch | Use binary dir for bindir, and cd to home dir. |
tree | commitdiff |
2012-10-06 |
Marion Guthmuller | model-checker : cleanup in mc examples |
tree | commitdiff |
2012-10-05 |
Marion Guthmuller | model-checker : display information about variables... |
tree | commitdiff |
2012-10-04 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-04 |
degomme | generalize non contiguous send method to other MPI... |
tree | commitdiff |
2012-10-04 |
suter | slight changes in the paje trace |
tree | commitdiff |
2012-10-04 |
suter | small improvements to make ctest happy |
tree | commitdiff |
2012-10-04 |
suter | tell tesh that this test returns -1 and not 0 |
tree | commitdiff |
2012-10-04 |
suter | add a tesh file for the example of dax loading that... |
tree | commitdiff |
2012-10-04 |
suter | modify the test to not die poorly anymore. Just gently... |
tree | commitdiff |
2012-10-04 |
suter | add a little dax to make a real test with dax_test |
tree | commitdiff |
2012-10-04 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-10-03 |
Augustin Degomme | remove some warnings |
tree | commitdiff |
2012-10-03 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-03 |
jean-noel quintin | [smpi] add a gestion of non-contignous data |
tree | commitdiff |
2012-10-02 |
Martin Quinson | Deprecate MSG_clean |
tree | commitdiff |
2012-10-01 |
Arnaud Giersch | Fix paths for test simdag-test-fail in out-of-source... |
tree | commitdiff |
2012-09-28 |
Augustin Degomme | update the smpi replay tesh file again, as the problems... |
tree | commitdiff |
2012-09-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-09-27 |
Martin Quinson | update this code so that it matches my thesis document |
tree | commitdiff |
2012-09-26 |
suter | revalidate tesh file after Augustin's commit |
tree | commitdiff |
2012-09-26 |
suter | moved to examples/smpi/replay/replay.c |
tree | commitdiff |
next |