Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2012-11-07 Marion Guthmullermodel-checker : add debug information on processes...
2012-11-07 Marion Guthmullermodel-checker: add chord example for liveness property...
2012-11-07 Marion Guthmullermodel-checker : initialize global variable ignore_done...
2012-11-07 Marion Guthmullermodel-checker : remove backtracking if no more request...
2012-11-07 Marion Guthmullermodel-checker : comment trigger for state equality...
2012-11-07 Marion Guthmullermodel-checker : improve debug information for stacks...
2012-11-07 Marion Guthmullermodel-checker : add local variables from xbt/ex.h in...
2012-11-07 Marion Guthmullermodel-checker : ignore some local variables from xbt...
2012-11-07 Marion Guthmullermodel-checker : update examples for test snapshot compa...
2012-11-07 Marion Guthmullermodel-checker : memory free
2012-11-07 Marion Guthmullermodel-checker : verification of current_heap
2012-11-07 Marion Guthmullermodel-checker : add ignore mechanism for comparison...
2012-11-07 Marion Guthmullermodel-checker : remove declaration of unused function
2012-11-07 Marion Guthmullermodel-checker : fix dynar index in algorithm to get...
2012-11-04 degommeadd a tesh file and test for two already existing tests...
2012-11-04 degommehandle MPI_UB and MPI_LB for real, activate tests in...
2012-10-31 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-31 navarroAdd an example of generated pdf from simgrid scalability
2012-10-31 Augustin Degommereplace explicit smpi_sleep calls I introduced in some...
2012-10-31 Augustin Degommequick fix that hopefully won't break too much compilati...
2012-10-31 Augustin Degommedo not fail when building smpi without f2c, as it is...
2012-10-31 Augustin Degommemove defines frmpo smpi.h to mpi.h, to avoid using...
2012-10-31 Augustin Degommeremove todo, once done
2012-10-31 navarroChange parse for exec to be complient with simgrid...
2012-10-31 navarroOups
2012-10-31 navarroReused mem check in pipol
2012-10-31 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-31 navarroRemove all navarro into source of pipol
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-30 navarroCorrect way to use CTestCustom.cmake
2012-10-30 Augustin Degommesmall change for future fortran tests in context folder
2012-10-30 Augustin Degommeadd changes to previous commit on ctest
2012-10-30 Augustin Degommecorrect behavior of smpi_group_excl and smpi_group_int...
2012-10-30 Augustin Degommemodifiy alltoall test to cover all 3 algorithms current...
2012-10-30 Augustin Degommeadd a CMakeCustom.cmake file, which is automatically...
2012-10-30 navarroAdd docs
2012-10-30 navarroCosmetics
2012-10-30 navarroUpdate target sync-pipol
2012-10-30 navarroAdd a new target for update pipol scripts
2012-10-30 navarroComsetics. Replace exec_program by execute_process
2012-10-29 Arnaud GierschFix compilation error.
2012-10-29 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-29 navarroFix doxygen table generation
2012-10-29 Augustin Degommehandle nested datatypes in smpi (structs of vectors...
2012-10-29 navarroCosmetics. Remove unused part
2012-10-29 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-29 navarroAdd doc for dev_guide
2012-10-29 Arnaud GierschForce Fortran compiler name, before calling enable_lang...
2012-10-29 Arnaud GierschThis variable is useless. CMAKE_Fortran_COMPILER is...
2012-10-29 Arnaud GierschSlight reindent.
2012-10-29 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-29 navarroComsetic and uninstall lib lua and man for tesh
2012-10-29 Augustin DegommeWORKING_DIRECTORY option for add_test was not supported...
2012-10-29 Augustin Degommeremove absolute paths from test scripts
2012-10-28 Arnaud GierschFix compilation without MC.
2012-10-28 Arnaud GierschOptionally look for a Fortran compiler.
2012-10-27 Marion Guthmullermodel-checker : update second parameter of mmorecore...
2012-10-27 Marion Guthmullermodel-checker : store initial snapshot in structure...
2012-10-27 Marion Guthmullermodel-checker : don't call exit at the end of MC (segfa...
2012-10-27 Marion Guthmullermodel-checker : update debug information
2012-10-27 Marion Guthmullermodel-checker : remove the display of promela property
2012-10-27 Marion Guthmullermodel-checker : test examples for snapshot comparison
2012-10-27 Marion Guthmullermodel-checker : New public functions to take a snapshot...
2012-10-27 Marion Guthmullermodel-checker : let some debug information with XBT_INFO
2012-10-27 Marion Guthmullermodel-checker : check current heap
2012-10-27 Marion Guthmullermodel-checker : update bprintf format for local variables
2012-10-27 Marion Guthmullermodel-checker : fix memory leaks in heap 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 Marion Guthmullermodel-checker : process can be NULL
2012-10-27 Marion Guthmullermodel-checker : backtracking if there is no request...
2012-10-27 Marion Guthmullermodel-checker : use xbt_abort to exit MC if acceptance...
2012-10-27 Marion Guthmullermodel-checker : init MC for liveness in a separate...
2012-10-27 Marion Guthmullermodel-checker : if get_libsimgrid_plt_section called...
2012-10-27 Marion Guthmullermodel-checker : display debug information with XBT_DEBU...
2012-10-27 Marion Guthmullermodel-checker : change MC_take_snapshot_liveness declar...
2012-10-27 Marion Guthmullermodel-checker : remove instruction pointer offset for...
2012-10-27 Marion Guthmullermodel-checker : stack_areas stored in raw_heap instead...
2012-10-27 Marion Guthmullermodel-checker : debug information more concise
2012-10-27 Marion Guthmullermodel-checker : fix some memory leaks
2012-10-27 Marion Guthmullermodel-checker : first line of objdump --section-headers...
2012-10-27 Marion Guthmullermodel-checker : fix first parameter for get_stack_point...
2012-10-27 Marion Guthmullermodel-checker : ignore pointers on raw_heap in data...
2012-10-27 Arnaud GierschA C++ compiler is required for gtnets and ns3.
2012-10-27 Arnaud GierschCosmetics.
2012-10-27 Arnaud GierschDon't enforce to have a C++ nor a Fortran compiler.
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschAlso add release name in ChangeLog. v3_8_x v3_8_1
2012-10-27 Arnaud GierschMerge branch 'v3_8_x'
2012-10-27 Arnaud GierschRelease 3.8.1.
2012-10-27 Arnaud GierschDocument change.
2012-10-27 Arnaud GierschTesh is not ls, and other trivial typos in tesh.1.
2012-10-27 Arnaud GierschThese files are already added from testsuite/surf/CMake...
2012-10-27 Arnaud GierschAdd tesh.1 to txt_files.
2012-10-27 Arnaud GierschThese files are already added from testsuite/surf/CMake...
2012-10-27 Arnaud GierschAdd tesh.1 to txt_files.
2012-10-27 Arnaud GierschRemove conditions from else() and endif() in cmake...
2012-10-26 navarroSMPI finally works ;)
next