Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add a message to explain no property violation is found
[simgrid.git] / teshsuite /
2015-05-21 Gabriel Corona[mc] Make C++ classes out of addres_space, process...
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-05-19 Gabriel CoronaFix java cloud integration tesh files
2015-05-04 Gabriel Corona[mc] Fix the umpire tesh files
2015-05-04 Gabriel Corona[mc] Fix umpire tests invocations (call simgrid-mc)
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] C++ class ModelChecker
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-04-08 Arnaud LegrandThis tesh file was actually wrong. This is fixed by...
2015-04-08 Arnaud Legranddocument this test as broken
2015-04-08 Arnaud LegrandCosmetics
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien
2015-04-05 Martin QuinsonInterface cleanup
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h
2015-04-04 Martin Quinsonmv simdag/simdag.h simgrid/simdag.h
2015-04-04 Martin Quinsonrename parameters all around to make their meaning...
2015-04-04 Martin Quinsonrevalidate teshes
2015-04-04 Martin Quinsoncosmetics about excluded tests to ease the writing...
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation
2015-03-20 Gabriel Corona[mc] Do not take NULL to mean 'the current address...
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-22 Martin QuinsonIgnore the display of the used collective algorithm
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-02-17 Arnaud GierschFix comments.
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...
2015-01-30 Gabriel Corona[mc] Remove useless code in ~DWARF test
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program
2015-01-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-01-05 Augustin DegommeChange include order for smpi tests/examples to avoid...
2014-12-12 Augustin Degommefix tesh
2014-12-12 Gabriel Corona[mc] Support for reading heap state from another process
2014-12-09 Gabriel Corona[mc] Enable the custom mm malloc only in MC
2014-12-08 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-12-05 Augustin Degommeactivate mpich3 tests for post/wait/start/complete...
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure
2014-12-04 Gabriel CoronaMerge branch 'master'
2014-12-04 Gabriel Corona[mc] Remove useless header #includes
2014-12-01 Gabriel CoronaFix dist
2014-12-01 Gabriel Coronas/formated/formatted/
2014-12-01 Gabriel Corona[mc] Initial support MC record/replay
2014-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is...
2014-11-06 Augustin Degommeuse the manually privatized version of this algorithm...
2014-11-06 Augustin Degommeadd mpi_info_* support to fortran, and activate relevan...
2014-11-06 Augustin Degommeuncomment some calls to free
2014-11-04 Augustin Degommereplace xbt_dynar_member by xbt_dynar_search_or_negativ...
2014-11-04 Augustin Degommedeactivate test that actually needs MPI_Type_get_envelope
2014-11-03 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-11-03 Martin Quinsonfix the tesh of one last command
2014-11-03 Augustin DegommeAdd preliminary support for MPI_Pack, MPI_Pack_size...
2014-11-03 Augustin Degommefix compilation without mpich3 testsuite
2014-11-03 Augustin DegommeAdd mpich3 tests for MPI_Info calls.
2014-10-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-13 Lucas Mello SchnorrMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-13 Gabriel Corona[mc] Prepare support for register location in DWARF...
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-09 Adrien Lebremake msg_vm_migrate robust (i.e. now SRC or DST can...
2014-10-05 degommeAdd MPI_Type*keyval and MPI_Type*attr functions
2014-10-03 degommeAdd MPI_Comm_*keyval and MPI_Comm*attr functions
2014-10-03 Augustin Degommeactivate some more tests
2014-10-03 Augustin DegommeImplement MPI_Keyval_create, MPI_Keyval_free, MPI_Attr_...
2014-10-02 Augustin Degommeadd MPI_Win_get_group, and activate some tests using...
2014-09-22 Augustin DegommeFix failing tests when enable_debug is not activated.
2014-09-11 Augustin Degommeenable by default asynchronous sends for small messages...
2014-08-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-08-25 Gabriel Corona[mc] ISP tests integration
2014-08-18 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-08-18 Augustin DegommeFix [#17799] : have mpi_group_range_incl and mpi_group_...
2014-08-11 Paul BédarideAdd vm tesh
2014-08-11 Paul BédarideAdd java teshsuite for sleep_host_off
2014-08-07 degommefix build
2014-08-07 degommemove platform file
2014-08-01 Augustin Degommefix dist
2014-08-01 Augustin Degommechange hostfile used for mpich testsuite.
2014-08-01 Augustin Degommechange SMPI collectives hostfile, to use 4 contiguous...
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-28 Paul BédarideFix host_on_off_process tesh
2014-07-28 Paul BédarideFix tesh host_on_off_processes 4
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-28 Adrien Lebrefix tesh (add the sleep test output) - adrien
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-28 Adrien LebreAdd test sleep for host_on_off + minor changes - Adrien
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-25 Gabriel Corona[mc] Make state/snapshot comparison work with SMPI...
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-07-25 Gabriel Corona[mc] Remove page_store.tesh (has been changed into...
2014-07-24 Paul BédarideFix msg-host-on-off tesh
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot...
2014-07-24 Adrien Lebrefix daemon typos
2014-07-24 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-24 Augustin Degommemanually privatize allred test, to have it work on...
2014-07-24 Paul BédarideFix mallocator tesh
2014-07-24 Paul BédarideAdd test for host on off and some fixes
2014-07-21 Augustin Degommesanitize get/set_name functions for fortran use
2014-07-21 Augustin DegommeAdd MPI_Win_get_name and MPI_Win_set_name support
2014-07-21 Augustin Degommereactivate allred test
2014-07-17 Augustin Degommerevert changes on allgatherv4, which needed manual...
next