2012-11-12 |
Lucas Schnorr | [trace] bye bye triva, welcome viva |
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 |
2012-10-02 |
Martin Quinson | Deprecate MSG_clean |
tree | commitdiff |
2012-09-27 |
Martin Quinson | Merge branch 'master' of scm.gforge.inria.fr:/gitroot... |
tree | commitdiff |
2012-09-14 |
schnorr | [trace] update tesh'es to contain simgrid version that... |
tree | commitdiff |
2012-09-13 |
schnorr | [trace] update tesh'es |
tree | commitdiff |
2012-09-11 |
navarro | Update file example for ls command |
tree | commitdiff |
2012-09-03 |
navarro | Add properties to AS structure (Not work for now) and... |
tree | commitdiff |
2012-08-29 |
navarro | Rewrite the init of bypass mecanism (tks Martin;) |
tree | commitdiff |
2012-08-22 |
schnorr | [trace] only fixing some tesh'es, paje header has changed |
tree | commitdiff |
2012-08-21 |
jean-noel quintin | Merge remote-tracking branch 'origin/master' |
tree | commitdiff |
2012-08-20 |
schnorr | [trace] updating tesh'es according to header changes |
tree | commitdiff |
2012-08-10 |
Jean-Baptiste Hervé | Add a master/slave example using a generated platform... |
tree | commitdiff |
2012-08-10 |
Jean-Baptiste Hervé | Platform generation: add a bittorent example using... |
tree | commitdiff |
2012-08-10 |
Jean-Baptiste Hervé | Platform generation: fex modification of the master... |
tree | commitdiff |
2012-08-09 |
Jean-Baptiste Hervé | Platform generation: add a master/slave example using... |
tree | commitdiff |
2012-08-08 |
navarro | First example for bypass platform wit sg_platf_new... |
tree | commitdiff |
2012-07-31 |
navarro | Update tesh for io. |
tree | commitdiff |
2012-07-31 |
navarro | Add function to unlink a file. |
tree | commitdiff |
2012-07-31 |
navarro | Fix memory leak |
tree | commitdiff |
2012-07-12 |
navarro | Update xml_files in Cmake |
tree | commitdiff |
2012-07-12 |
navarro | Remove this output. |
tree | commitdiff |
2012-07-12 |
navarro | Update tesh file for cabinet |
tree | commitdiff |
2012-07-11 |
Marion Guthmuller | model-checker : application alert for state equality... |
tree | commitdiff |
2012-07-10 |
Marion Guthmuller | model-checker : update example bugged1_liveness (variab... |
tree | commitdiff |
2012-07-09 |
Arnaud Giersch | Increase required width for times in tesh file. |
tree | commitdiff |
2012-07-09 |
Arnaud Giersch | Fix kademlia example which was broken on 32bits archs. |
tree | commitdiff |
2012-07-06 |
Arnaud Giersch | Increase timeout for test bittorrent. |
tree | commitdiff |
2012-07-05 |
Arnaud Giersch | Add missing files from examples for dist. |
tree | commitdiff |
2012-07-05 |
Martin Quinson | be more verbose on explaining the expected result of... |
tree | commitdiff |
2012-07-05 |
Christophe Thiéry | Make it clear that MC is supposed to detect a counter... |
tree | commitdiff |
2012-07-05 |
navarro | Use new tag host_link for peer. No need for router... |
tree | commitdiff |
2012-07-04 |
Samuel Lepetit | Add kademlia C example |
tree | commitdiff |
2012-07-04 |
Samuel Lepetit | Use xbt_dynar_foreach in cloud example |
tree | commitdiff |
2012-07-04 |
Samuel Lepetit | Revalidate tesh file for cloud example |
tree | commitdiff |
2012-07-04 |
Samuel Lepetit | Update cloud example to use MSG_vm_reboot. Update the... |
tree | commitdiff |
2012-07-04 |
Samuel Lepetit | Remove XBT_INLINE from bittorrent example. |
tree | commitdiff |
2012-07-04 |
Arnaud Giersch | Make example compile with enable_warnings=ON. |
tree | commitdiff |
2012-07-04 |
Arnaud Giersch | Reindent. |
tree | commitdiff |
2012-07-04 |
Arnaud Giersch | Don't override CMAKE_C_FLAGS! |
tree | commitdiff |
2012-07-04 |
Arnaud Giersch | Make directory when building out of the source tree. |
tree | commitdiff |
2012-07-04 |
schnorr | [trace] fix paje header in tesh files |
tree | commitdiff |
2012-07-03 |
Marion Guthmuller | model-checker : copyright header for safety properties... |
tree | commitdiff |
2012-07-03 |
Samuel Lepetit | Add bittorrent example |
tree | commitdiff |
2012-07-03 |
Samuel Lepetit | Revalidate chord.tesh/chord_crosstraffic.tesh |
tree | commitdiff |
2012-07-03 |
Samuel Lepetit | Add leave in chord |
tree | commitdiff |
2012-07-02 |
Marion Guthmuller | model-checker: sed 's/m_task_t/msg_task_t/g' on MC... |
tree | commitdiff |
2012-06-29 |
lbobelin | Cleaned doc, re-included examples, should be better... |
tree | commitdiff |
2012-06-29 |
Marion Guthmuller | model-checker : tests for snapshot comparison |
tree | commitdiff |
2012-06-29 |
Samuel Lepetit | Use msg_error_t instead of MSG_error_t |
tree | commitdiff |
next |