Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new examples (with tesh) for verification of liveness properties...
[simgrid.git] / examples / msg /
2013-04-03 Marion Guthmullermodel-checker : new examples (with tesh) for verificati...
2013-04-03 Marion Guthmullermodel-checker : display address of communication in...
2013-04-02 Marion Guthmullermodel-checker : update tesh
2013-04-02 Marion Guthmullermodel-checker : update tesh (different log messages)
2013-03-27 Marion Guthmullermodel-checker : add example (electric_fence) to check...
2013-03-25 Marion Guthmullermodel-checker : update bugged1 tesh
2013-03-25 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-03-19 Marion Guthmullermodel-checker : update tesh
2013-03-19 Marion Guthmullermodel-checker : order reached_pairs by number of proces...
2013-03-19 Marion Guthmullermodel-checker : update tesh (according to previous...
2013-03-18 Nicolas BonichonFix msg-bittorrent's problem of incompletion
2013-03-16 Marion Guthmullermodel-checker : update msg chord example for the verifi...
2013-03-16 Marion Guthmullermodel-checker : fix tesh (different local deployment...
2013-03-16 Marion Guthmullermodel-checker : update tesh
2013-03-16 Marion Guthmullermodel-checker : fix MC_RANDOM simcall
2013-03-16 Marion Guthmullermodel-checker : remove obsolete example
2013-02-20 Arnaud GierschFix a few more memory leaks.
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-18 Arnaud GierschRemove declarations for nonexistent functions or variables.
2013-02-14 Arnaud GierschRemove remaining traces from synchronized dynars.
2013-02-14 Arnaud GierschIncrease tesh timeouts for slow machines.
2013-02-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
2013-02-14 Arnaud GierschReplace, when possible, calls to bprintf() by calls...
2013-02-14 Arnaud GierschRemove unused static functions.
2013-02-14 Arnaud GierschDeclaration for static functions in header file does...
2013-02-14 Lucas Schnorr[trace] fix tesh, changes only in event ordering, same...
2013-02-14 Jonathan Rouzaud... Remove commented code from surf_routing_cluster
2013-02-13 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-12 Arnaud GierschFix the parallel execution for the bittorrent example.
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-11 Augustin Degommeresolve cmakelists conflict
2013-02-11 Augustin Degommevarious fixes to hopefully compile under win32
2013-02-11 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-06 Arnaud GierschMSG_comm_get_status must be called before MSG_comm_destroy.
2013-02-06 Arnaud GierschRegenerate tesh file for master_slave_virtual_machines.
2013-02-06 Arnaud GierschWait a while before effective shutdown.
2013-02-05 Arnaud GierschMerge branch 'v3_9_x'
2013-02-04 Arnaud LegrandThis way of passing arguments has changed since a long...
2013-02-04 Arnaud LegrandThis way of passing arguments has changed since a long...
2013-02-02 Martin Quinsoncleanups in .gitignore files
2013-02-02 Martin QuinsonMerge branch 'master' of github.com:mquinson/simgrid
2013-02-01 Arnaud GierschConsolidate .gitignore files.
2013-02-01 Maximiliano Geierchainsend: remove active wait at peer termination
2013-02-01 Maximiliano Geierchainsend: reduce filesize in tesh to avoid timeouts...
2013-02-01 Maximiliano Geierchainsend: remove end of data message, send that inform...
2013-02-01 Martin Quinsonignore some new stuff
2013-01-31 Marion Guthmullermodel-checker : update tesh bugged1_liveness and chord_...
2013-01-31 Marion Guthmullermodel-checker : remove trigger for state equality detection
2013-01-31 Martin Quinsonignore some new stuff
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-30 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-01-30 Arnaud GierschMerge branch 'v3_9_x'
2013-01-30 Arnaud GierschRemove remaining trace of chord_before_dsend.
2013-01-30 Arnaud GierschAdd more missing files to the archive.
2013-01-29 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-01-29 Arnaud GierschMerge branch 'v3_9_x'
2013-01-29 Martin Quinsonread the 'how to release' page
2013-01-29 Martin Quinsonthis file got renamed in the tesh
2013-01-29 Paul BédarideFix kademlia node sort
2013-01-29 Martin QuinsonMerge branch 'v3_9_x' of scm.gforge.inria.fr:/gitroot...
2013-01-29 Paul BédarideMerge branch 'v3_9_x' of github.com:mquinson/simgrid...
2013-01-29 Martin Quinsonread the 'how to release' page
2013-01-29 Martin Quinsonthis file got renamed in the tesh
2013-01-29 Paul BédarideFix kademlia node sort
2013-01-29 Paul BédarideMerge branch 'master' of 192.168.8.160:/git/simgrid
2013-01-29 Paul BédarideFix kademlia node sort
2013-01-18 Martin Quinsonincrease the timeout of this test
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2013-01-16 Marion Guthmullermodel-checker : update bugged1 tesh
2013-01-16 Marion Guthmullermodel-checker : update bugged1 tesh
2013-01-11 Paul BédarideFix lua tesh and remove msg_lua_masterslave test
2013-01-11 Martin Quinsonadd the files we need to ensure that make distcheck...
2013-01-11 Martin Quinsonfix the make dist target by not including some files...
2013-01-10 Marion Guthmullermodel-checker : update tesh
2013-01-08 Arnaud GierschReindent (again).
2013-01-07 Maximiliano Geierchainsend: add optional argument to deployment file...
2013-01-01 Marion Guthmullermodel-checker : update bugged1 tesh
2012-12-26 Marion Guthmullermodel-checker : update chord_neverjoin tesh
2012-12-25 Martin Quinsonthis file should not overload the codebase
2012-12-25 Marion Guthmullermodel-checker : stats XP of model checking on chord...
2012-12-21 Paul BédarideRevert "make MSG_comm_waitany use dynar"
2012-12-20 Maximiliano Geierchainsend: fix tesh
2012-12-20 Maximiliano Geierchainsend: change peers active wait to waitall
2012-12-20 Maximiliano Geierchainsend: broadcaster should send synchronously
2012-12-20 Arnaud GierschNow, you have to use "cursor" instead of "i".
2012-12-20 Arnaud GierschReindent file before changes.
2012-12-20 Arnaud GierschSome symbols were renamed by last flexml update.
2012-12-20 Paul Bédaridemake MSG_comm_waitany use dynar
2012-12-20 Martin Quinsonmake MSG_config public, document it, and implement...
2012-12-20 Paul BédarideMove module tracing into corresponding modules
2012-12-19 sutermake this example be more valgrind compliant by increas...
2012-12-18 Martin QuinsonUse xbt_malloc (and friends) instead of direct malloc()
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 suterno need to explicitly tell that resources are initially...
2012-12-17 Maximiliano Geierchainsend: print some transfer stats, move debug prints...
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-16 Marion Guthmullermodel-checker : remove tesh bugged2 (too long with...
2012-12-16 Marion Guthmullermodel-checker : update tesh bugged1 with the new versio...
2012-12-11 Marion Guthmullermodel-checker : update tesh bugged1_liveness
next