Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
2013-08-19 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-08-14 Marion Guthmullerincrease timeout
2013-08-14 Marion Guthmullermodel-checker : else if instead of if{} if{}
2013-08-14 Marion Guthmullermodel-checker : init equal_to in mmalloc info
2013-08-14 Marion Guthmullermodel-checker : memory free and cleanup
2013-08-14 Marion Guthmullermodel-checker : update SMPI bugged mutual exclusion...
2013-08-14 Marion Guthmullermodel-checker : update MSG bugged mutual exclusion...
2013-08-14 Marion Guthmullermodel-checker : stop stack comparison before the contex...
2013-08-14 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-08-14 Pierre Veyreprepare MSG_storages_as_dynar function
2013-08-13 Marion Guthmullermodel-checker : fix dot output for liveness MC
2013-08-13 Marion Guthmullermodel-checker : fix error compilation without MC
2013-08-13 Marion Guthmullermodel-checker : remove binary
2013-08-13 Marion Guthmullermodel-checker : create mc directory in smpi examples...
2013-08-13 Marion Guthmullermodel-checker : ignore in_use in s_smpi_mpi_datatype
2013-08-13 Marion Guthmullermodel-checker : fix ignore mechanism
2013-08-12 Marion Guthmullermodel-checker : ignore smpi timer
2013-08-12 Marion Guthmullerget size of struct s_xbt_os_timer
2013-08-12 Marion Guthmullermodel-checker : fix ignore global variable
2013-08-12 Marion Guthmullermodel-checker : remove unused variable
2013-08-12 Marion Guthmullermodel-checker : add debug message
2013-08-12 Marion Guthmullerinit ret_val (MC compliant)
2013-08-12 Marion Guthmullermodel-checker : fix MC init in smpi_main
2013-08-12 Marion Guthmullermodel-checker : fix comparison of local variables
2013-08-12 Marion Guthmullermodel-checker : initialize equal_to in mmalloc heapinfo
2013-08-12 Marion Guthmullermodel-checker : memory free
2013-08-12 Marion Guthmullermodel-checker : extend ignore mechanism with new user...
2013-08-11 Marion Guthmullermodel-checker : remove fprintf -> XBT_DEBUG
2013-08-10 Marion Guthmullermodel-checker : update tesh
2013-08-10 Marion Guthmullermodel-checker : update chord example for exhaustive...
2013-08-10 Marion Guthmullermodel-checker : udpate debug information
2013-08-10 Marion Guthmullermodel-checker : fix DPOR with visited states reduction
2013-08-10 Marion Guthmullermodel-checker : add min and max values for MC_RANDOM...
2013-08-10 Marion Guthmullermodel-checker : rename MC_max_depth(int prop) -> MC_cut()
2013-08-10 Marion Guthmullermodel-checker : fix dot_output with DPOR
2013-08-09 suterdocument SD_config
2013-08-09 suterstart to design a test for storage management in SimDag...
2013-08-09 suterSimdag users may also want to change SimGrid configurat...
2013-08-09 suterat least give an existing model as example ...
2013-08-09 suteradd a SD_workstation_storage_get_list as a first try...
2013-08-09 sutersmall simplification
2013-08-09 suteradd new simdag function upon user request.
2013-08-05 Marion Guthmullerupdate the other tesh for chord example
2013-08-05 Marion Guthmullerdisable random lookup in Chord (tesh examples fail)
2013-08-05 Marion Guthmullerupdate chord.tesh
2013-08-05 Marion Guthmullermodel-checker : update CMakeLists
2013-08-05 Marion Guthmullermodel-checker : remove dead file
2013-08-05 Marion Guthmullermodel-checker : remove duplicated example chord
2013-08-05 Marion Guthmullerimplement check_predecessor and random_lookup (periodic...
2013-08-05 Marion Guthmullercosmetics
2013-08-05 Marion Guthmullermodel-checker : remove obsolete examples
2013-08-05 Marion Guthmullermodel-checker : remove dead code
2013-08-05 Marion Guthmullermodel-checker : new primitive MC_max_depth, to define...
2013-08-05 Marion Guthmullermodel-checker : update tesh files
2013-08-05 Marion Guthmullermodel-checker : fix DPOR with timeout
2013-08-05 Marion Guthmullermodel-checker : include simcall number in request_to_string
2013-08-05 Marion Guthmullermodel-checker : snapshot comparison with the types...
2013-08-05 Marion Guthmullermodel-checker : comparison of number of processes and...
2013-07-24 Augustin Degommeexclude tests, don't include them.
2013-07-24 Augustin DegommeAdd simple autotuning selector for collectives
2013-07-24 Augustin Degommegenerate unique names, but easier for debug
2013-07-24 Augustin Degommedeactivate f90 tests with MC, which caused problems
2013-07-24 Augustin Degommeone of the two ci configurations kept failing, attempt...
2013-07-18 Augustin Degommeremove now useless debug messages
2013-07-18 Augustin DegommeSet MPI_Request to MPI_REQUEST_NULL whenever a call...
2013-07-18 Augustin Degommeguard against potential segfault when used before initi...
2013-07-18 Augustin Degommeadd an include to please ci
2013-07-17 Augustin Degommechangelog update
2013-07-17 Augustin Degommefix behavior of MPI_STATUS_IGNORE and MPI_STATUSES_IGNO...
2013-07-17 Augustin Degommetypo + compile without fortran
2013-07-17 Augustin Degommesmpif90 changes (force gfortran for now), replace ...
2013-07-17 Augustin Degommeadd fortran 90 tests
2013-07-17 Augustin DegommeFix potential segfault
2013-07-17 Augustin Degommeadd one binding
2013-07-17 Augustin Degommefix behavior of waitany
2013-07-17 suteroups forgot to describe new parameter
2013-07-17 suterdon't allow java to attach user data to file (for now...
2013-07-17 suterupdate examples with new prototype for open
2013-07-17 suterAllow users to attach arbitrary data to opened files
2013-07-17 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-07-16 degommeremove f77 attr tests
2013-07-16 Augustin Degommemissing file
2013-07-16 Augustin Degommeonly use MPI_SOURCE when necessary
2013-07-16 Augustin Degommeswitch cmake variable names
2013-07-16 Augustin Degommecmakelists cleanup
2013-07-16 Augustin DegommeAdd (some) mpich3 f77 tests
2013-07-16 Augustin Degommehave smpiff work on temporary file copies
2013-07-16 Augustin Degommecorrect a few mistakes with waitall, waitany, wait
2013-07-16 Augustin Degommemake fortran new bindings almost functional
2013-07-16 Augustin Degommeadd two more functions
2013-07-16 Augustin Degommefix MPI_Initialized
2013-07-16 Pierre Veyrefix comments
2013-07-15 Pierre VeyreUpdate msg_storage_t structure and prepare new storage...
2013-07-15 Augustin DegommeUpdate changelog
2013-07-15 Augustin Degommeremove references to old test suite
2013-07-15 Augustin Degommewrong (but still unimplemented) function was used
2013-07-15 Augustin Degommeadd "a few" fortran bindings
2013-07-12 degommeremove problematic (and unused for now) test from build
2013-07-12 Arnaud GierschInclude directory is in source_dir, not in binary_dir.
2013-07-12 Arnaud GierschFix doxygen warning about parameter name that did not...