Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update examples for test snapshot comparison
[simgrid.git] / examples / msg /
2012-11-07 Marion Guthmullermodel-checker : update examples for test snapshot compa...
2012-10-31 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-31 Arnaud GierschVariable is unused, remove it.
2012-10-30 suteruse MSG_host_set_property_value everywhere
2012-10-30 suterbetter to use a function that exists than dealing with...
2012-10-27 Marion Guthmullermodel-checker : test examples for snapshot comparison
2012-10-27 Marion Guthmullermodel-checker : clean debug information in bugged1_live...
2012-10-27 Marion Guthmullermodel-checker : remove files about test_heap_comparison
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-25 Christophe ThiérySince cmake 2.6, else() and endif() don't need to repea...
2012-10-25 Lucas Schnorr[trace] fix tesh'es due to change of link values
2012-10-24 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-24 Martin QuinsonDesactivate an historical MC_assert so that model-check...
2012-10-24 Arnaud GierschFix format string and args.
2012-10-24 Maximiliano GeierPull again, something was changed before I could push
2012-10-24 Maximiliano GeierPull changes to push BitTorrent fix
2012-10-24 Maximiliano GeierBitTorrent changes:
2012-10-24 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-23 Arnaud GierschCosmetics: Having -> Have; write -> written.
2012-10-19 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-19 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-19 Maximiliano GeierMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-18 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-18 navarroAdd missing files for distrib
2012-10-18 Martin Quinsonplug some memleaks in that example
2012-10-18 Maximiliano GeierBitTorrent: fixed message sizes, based on the actual...
2012-10-17 schnorr[trace] fix tesh'es to compare trace file considering...
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
2012-10-16 Arnaud GierschRegenerate tesh files for chord examples.
2012-10-14 Lucas Nussbaumchord: avoid duplicate call of MSG_comm_test()
2012-10-11 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-11 Arnaud GierschIncrease timeout in pmm.tesh.
2012-10-10 Arnaud GierschFix memory leaks in msg_pmm.
2012-10-10 Arnaud GierschAdd msg-pmm to the list of tests to run, and fill up...
2012-10-10 Arnaud GierschCannot use a dsend here, or it will be aborted when...
2012-10-10 Arnaud GierschCheck for errors from MSG_task_receive.
2012-10-10 paul bedarideadd pmm.tesh
2012-10-10 Martin Quinsoncommit my deployment for testing the model-checking...
2012-10-10 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-10 Arnaud GierschRemove declaration of static functions from header...
2012-10-08 Martin Quinsonwe need the simgrid library too. True story.
2012-10-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-10-08 Martin Quinsonmake it compile in a recent tree
2012-10-08 Marion Guthmulleradd executable chord_before_dsend in CMakeLists
2012-10-08 Marion Guthmullerversion of chord before use MSG_task_dsend
2012-10-06 Marion Guthmullermodel-checker : cleanup in mc examples
2012-10-05 Marion Guthmullermodel-checker : display information about variables...
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-02 Martin QuinsonDeprecate MSG_clean
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-09-14 schnorr[trace] update tesh'es to contain simgrid version that...
2012-09-13 schnorr[trace] update tesh'es
2012-09-11 navarroUpdate file example for ls command
2012-09-03 navarroAdd properties to AS structure (Not work for now) and...
2012-08-29 navarroRewrite the init of bypass mecanism (tks Martin;)
2012-08-22 schnorr[trace] only fixing some tesh'es, paje header has changed
2012-08-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-08-20 schnorr[trace] updating tesh'es according to header changes
2012-08-10 Jean-Baptiste HervéAdd a master/slave example using a generated platform...
2012-08-10 Jean-Baptiste HervéPlatform generation: add a bittorent example using...
2012-08-10 Jean-Baptiste HervéPlatform generation: fex modification of the master...
2012-08-09 Jean-Baptiste HervéPlatform generation: add a master/slave example using...
2012-08-08 navarroFirst example for bypass platform wit sg_platf_new...
2012-07-31 navarroUpdate tesh for io.
2012-07-31 navarroAdd function to unlink a file.
2012-07-31 navarroFix memory leak
2012-07-12 navarroUpdate xml_files in Cmake
2012-07-12 navarroRemove this output.
2012-07-12 navarroUpdate tesh file for cabinet
2012-07-11 Marion Guthmullermodel-checker : application alert for state equality...
2012-07-10 Marion Guthmullermodel-checker : update example bugged1_liveness (variab...
2012-07-09 Arnaud GierschIncrease required width for times in tesh file.
2012-07-09 Arnaud GierschFix kademlia example which was broken on 32bits archs.
2012-07-06 Arnaud GierschIncrease timeout for test bittorrent.
2012-07-05 Arnaud GierschAdd missing files from examples for dist.
2012-07-05 Martin Quinsonbe more verbose on explaining the expected result of...
2012-07-05 Christophe ThiéryMake it clear that MC is supposed to detect a counter...
2012-07-05 navarroUse new tag host_link for peer. No need for router...
2012-07-04 Samuel LepetitAdd kademlia C example
2012-07-04 Samuel LepetitUse xbt_dynar_foreach in cloud example
2012-07-04 Samuel LepetitRevalidate tesh file for cloud example
2012-07-04 Samuel LepetitUpdate cloud example to use MSG_vm_reboot. Update the...
2012-07-04 Samuel LepetitRemove XBT_INLINE from bittorrent example.
2012-07-04 Arnaud GierschMake example compile with enable_warnings=ON.
2012-07-04 Arnaud GierschReindent.
2012-07-04 Arnaud GierschDon't override CMAKE_C_FLAGS!
2012-07-04 Arnaud GierschMake directory when building out of the source tree.
2012-07-04 schnorr[trace] fix paje header in tesh files
2012-07-03 Marion Guthmullermodel-checker : copyright header for safety properties...
2012-07-03 Samuel LepetitAdd bittorrent example
2012-07-03 Samuel LepetitRevalidate chord.tesh/chord_crosstraffic.tesh
2012-07-03 Samuel LepetitAdd leave in chord
2012-07-02 Marion Guthmullermodel-checker: sed 's/m_task_t/msg_task_t/g' on MC...
2012-06-29 lbobelinCleaned doc, re-included examples, should be better...
2012-06-29 Marion Guthmullermodel-checker : tests for snapshot comparison
2012-06-29 Samuel LepetitUse msg_error_t instead of MSG_error_t
2012-06-29 Samuel LepetitUse msg_gpu_task_t instead of m_gpu_task_t
2012-06-29 Samuel LepetitUse msg_task_t instead of m_task_t
next