2012-11-28 |
Arnaud Giersch | We have status, return its value. |
tree | commitdiff |
2012-11-28 |
Arnaud Giersch | Define functions as static. |
tree | commitdiff |
2012-11-28 |
Arnaud Giersch | Remove unused variables. |
tree | commitdiff |
2012-11-28 |
Arnaud Giersch | Add missing prototypes. |
tree | commitdiff |
2012-11-28 |
Arnaud Giersch | An inline function must be visible from header file. |
tree | commitdiff |
2012-11-28 |
Arnaud Giersch | Return new value. |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Oops, forgot to actually add the new tesh |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Remove unused tesh (copied from sendrecv), add a real... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Oops, forgot to change one XBT_INFO |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Some more cleaning up, commented out INFO logs go to... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Code cleanup |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Fix compilation error: there's no MSG_clean anymore |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Fix typo |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Renamed project to chainsend to avoid confusion |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Deployment file generator in Ruby, takes a platform... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Code is now modular and tidy |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Refactored the xbt_dynar_iterator_t implementation... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | First working version with 8 peers I have not evaluated... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Modified XML platform file so that routing actually... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | messages implementation: it dies when trying to forward... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Modified platform and deployment files so it's easier... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Fixed iterator Initial version of chain generator ... |
tree | commitdiff |
2012-11-28 |
Maximiliano Geier | Initial implementation of kadeploy look-alike |
tree | commitdiff |
2012-11-26 |
Arnaud Giersch | Revalidate tesh outputs for msg/cloud, and lua tests. |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh output for tracing ms and simdag |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh output for token ring |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh outputs for masterslave |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh output for bittorrent |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh output for actions |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh outputs for chord |
tree | commitdiff |
2012-11-26 |
suter | revalidate tesh outputs for icomms, pmm, sendrecv |
tree | commitdiff |
2012-11-25 |
Martin Quinson | plug a memleak in that example |
tree | commitdiff |
2012-11-25 |
Martin Quinson | Remove all traces of chord_before_dsend |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Remove binary file! |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | Merge branch 'killgraskill' |
tree | commitdiff |
2012-11-23 |
Arnaud Giersch | This hack is not needed since gras is killed. |
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-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 | 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-25 |
navarro | Merge branch 'master' of git+ssh://scm.gforge.inria... |
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-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-19 |
paul bedaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
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 |
Maximiliano Geier | BitTorrent: fixed message sizes, based on the actual... |
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-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 | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-10-10 |
Arnaud Giersch | Remove declaration of static functions from header... |
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-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-03 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
next |