Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : use xbt_abort to exit MC if acceptance cycle detected
[simgrid.git] / examples /
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschRemove conditions from else() and endif() in cmake...
2012-10-26 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-26 navarroFix smpi script variables between cmake home dir and...
2012-10-26 navarroFix test out of directory for smpi mpich
2012-10-25 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-25 navarroCompilation fix on SMPI with WIN32
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-25 navarroRemove generated files from dist
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-23 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-23 Arnaud GierschSet smpi/cpu_threshold to 1 for smpi-replay, and hope...
2012-10-23 Arnaud GierschDefine an additional parameter for the hack around...
2012-10-19 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-19 paul bedarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-19 paul bedarideclean user guide
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 Augustin Degommemove smpi examples to teshsuite
2012-10-18 Maximiliano GeierBitTorrent: fixed message sizes, based on the actual...
2012-10-18 navarrocosmetics
2012-10-17 Arnaud GierschIgnore the first two lines of output.
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-11 jean-noel quintin[example,smpi,MM] remove the specification of parameter...
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 quintin[examples,smpi,MM] remove a useless function
2012-10-10 jean-noel quintin[examples,smpi,MM] get some positive value for the...
2012-10-10 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-10 jean-noel quintin[example,smpi,MM] remove the timer interface which...
2012-10-10 Arnaud GierschAbort if getline failed.
2012-10-10 Arnaud GierschRemove declaration of static functions from header...
2012-10-10 Arnaud GierschAn inline declaration without definition does not make...
2012-10-10 Arnaud GierschRemove generated file after test.
2012-10-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-10-10 Arnaud GierschAlways initialize variable.
2012-10-09 Augustin Degommeshunt a warning, quite dirtily
2012-10-09 Augustin Degommeadd a few tests for smpi
2012-10-09 jean-noel quintin[examples,smpi] remove warnings and resolve a bug ...
2012-10-09 navarroAdd a tesh file for smpi vector
2012-10-09 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-09 jean-noel quintin[smpi,example] an example of matrix multiplication...
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-08 Arnaud GierschUse binary dir for bindir, and cd to home dir.
2012-10-06 Marion Guthmullermodel-checker : cleanup in mc examples
2012-10-05 Marion Guthmullermodel-checker : display information about variables...
2012-10-04 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-04 degommegeneralize non contiguous send method to other MPI...
2012-10-04 suterslight changes in the paje trace
2012-10-04 sutersmall improvements to make ctest happy
2012-10-04 sutertell tesh that this test returns -1 and not 0
2012-10-04 suteradd a tesh file for the example of dax loading that...
2012-10-04 sutermodify the test to not die poorly anymore. Just gently...
2012-10-04 suteradd a little dax to make a real test with dax_test
2012-10-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-10-03 Augustin Degommeremove some warnings
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-03 jean-noel quintin[smpi] add a gestion of non-contignous data
2012-10-02 Martin QuinsonDeprecate MSG_clean
2012-10-01 Arnaud GierschFix paths for test simdag-test-fail in out-of-source...
2012-09-28 Augustin Degommeupdate the smpi replay tesh file again, as the problems...
2012-09-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-09-27 Martin Quinsonupdate this code so that it matches my thesis document
2012-09-26 suterrevalidate tesh file after Augustin's commit
2012-09-26 sutermoved to examples/smpi/replay/replay.c
2012-09-26 suteradd a tesh file for trace replay with SMPI
2012-09-26 suterslight modifications to make things work
2012-09-26 suterWhat? give the same name to the directory and the execu...
2012-09-26 suterupdate the CMake file
2012-09-26 suteradd files to test trace replay with smpi
2012-09-26 suterput the replay stuff in its own directory
2012-09-25 suteradd a tesh file for sd_fail
2012-09-25 sutercircumvent the fact that if you let the simulation...
2012-09-25 suterextend the availability trace for the second part of...
2012-09-25 sutertest works fine with typed tasks. Add extra testing...
next