2012-11-23 |
Arnaud Giersch | This hack is not needed since gras is killed. |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Kill xbt_dynar_dopar(). |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | xbt/time.h dows not exist anymore. |
tree | commitdiff |
2012-11-22 |
Arnaud Giersch | Remove more references to gras. |
tree | commitdiff |
2012-11-22 |
Martin Quinson | first try at killing GRAS -- does not compile yet |
tree | commitdiff |
2012-11-22 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-11-22 |
Marion Guthmuller | model-checker : increase timeout in tesh chord_neverjoin |
tree | commitdiff |
2012-11-22 |
Marion Guthmuller | model-checker : increase timeout in tesh snapshot_compa... |
tree | commitdiff |
2012-11-20 |
Marion Guthmuller | model-checker : new tesh for snapshot comparison tests |
tree | commitdiff |
2012-11-19 |
Martin Quinson | fix the tesh outputs after last output cleanups |
tree | commitdiff |
2012-11-18 |
Marion Guthmuller | model-checker : add tesh for bugged1_liveness and chord... |
tree | commitdiff |
2012-11-15 |
Marion Guthmuller | model-checker : create subdir for chord example with... |
tree | commitdiff |
2012-11-14 |
Martin Quinson | typo in comments |
tree | commitdiff |
2012-11-14 |
Maximiliano Geier | BitTorrent: changed the way the PIECE message is handle... |
tree | commitdiff |
2012-11-14 |
Maximiliano Geier | BitTorrent: added reference to the report by A. Legout... |
tree | commitdiff |
2012-11-13 |
paul bedaride | Correct a bug in kademlia |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2012-11-12 |
Lucas Schnorr | [trace] bye bye triva, welcome viva |
tree | commitdiff |
2012-11-12 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
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-24 |
alebre | Merge branch 'master' into vmtrace |
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 |
Jonathan Rouzaud... | Fix an issue in smx_ctx_cojava_runall ie do not try... |
tree | commitdiff |
2012-10-11 |
Arnaud Giersch | Increase timeout in pmm.tesh. |
tree | commitdiff |
2012-10-11 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
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 |
next |