2013-08-14 |
Marion Guthmuller | model-checker : memory free and cleanup |
commit | commitdiff | tree | snapshot |
2013-08-14 |
Marion Guthmuller | model-checker : update SMPI bugged mutual exclusion... |
commit | commitdiff | tree | snapshot |
2013-08-14 |
Marion Guthmuller | model-checker : update MSG bugged mutual exclusion... |
commit | commitdiff | tree | snapshot |
2013-08-14 |
Marion Guthmuller | model-checker : stop stack comparison before the contex... |
commit | commitdiff | tree | snapshot |
2013-08-13 |
Marion Guthmuller | model-checker : fix dot output for liveness MC |
commit | commitdiff | tree | snapshot |
2013-08-13 |
Marion Guthmuller | model-checker : fix error compilation without MC |
commit | commitdiff | tree | snapshot |
2013-08-13 |
Marion Guthmuller | model-checker : remove binary |
commit | commitdiff | tree | snapshot |
2013-08-13 |
Marion Guthmuller | model-checker : create mc directory in smpi examples... |
commit | commitdiff | tree | snapshot |
2013-08-13 |
Marion Guthmuller | model-checker : ignore in_use in s_smpi_mpi_datatype |
commit | commitdiff | tree | snapshot |
2013-08-13 |
Marion Guthmuller | model-checker : fix ignore mechanism |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : ignore smpi timer |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | get size of struct s_xbt_os_timer |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : fix ignore global variable |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : remove unused variable |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : add debug message |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | init ret_val (MC compliant) |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : fix MC init in smpi_main |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : fix comparison of local variables |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : initialize equal_to in mmalloc heapinfo |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : memory free |
commit | commitdiff | tree | snapshot |
2013-08-12 |
Marion Guthmuller | model-checker : extend ignore mechanism with new user... |
commit | commitdiff | tree | snapshot |
2013-08-11 |
Marion Guthmuller | model-checker : remove fprintf -> XBT_DEBUG |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : update tesh |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : update chord example for exhaustive... |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : udpate debug information |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : fix DPOR with visited states reduction |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : add min and max values for MC_RANDOM... |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : rename MC_max_depth(int prop) -> MC_cut() |
commit | commitdiff | tree | snapshot |
2013-08-10 |
Marion Guthmuller | model-checker : fix dot_output with DPOR |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | document SD_config |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | start to design a test for storage management in SimDag... |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | Simdag users may also want to change SimGrid configurat... |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | at least give an existing model as example ... |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | add a SD_workstation_storage_get_list as a first try... |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | small simplification |
commit | commitdiff | tree | snapshot |
2013-08-09 |
suter | add new simdag function upon user request. |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | update the other tesh for chord example |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | disable random lookup in Chord (tesh examples fail) |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | update chord.tesh |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : update CMakeLists |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : remove dead file |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : remove duplicated example chord |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | implement check_predecessor and random_lookup (periodic... |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | cosmetics |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : remove obsolete examples |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : remove dead code |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : new primitive MC_max_depth, to define... |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : update tesh files |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : fix DPOR with timeout |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : include simcall number in request_to_string |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : snapshot comparison with the types... |
commit | commitdiff | tree | snapshot |
2013-08-05 |
Marion Guthmuller | model-checker : comparison of number of processes and... |
commit | commitdiff | tree | snapshot |
2013-07-24 |
Augustin Degomme | exclude tests, don't include them. |
commit | commitdiff | tree | snapshot |
2013-07-24 |
Augustin Degomme | Add simple autotuning selector for collectives |
commit | commitdiff | tree | snapshot |
2013-07-24 |
Augustin Degomme | generate unique names, but easier for debug |
commit | commitdiff | tree | snapshot |
2013-07-24 |
Augustin Degomme | deactivate f90 tests with MC, which caused problems |
commit | commitdiff | tree | snapshot |
2013-07-24 |
Augustin Degomme | one of the two ci configurations kept failing, attempt... |
commit | commitdiff | tree | snapshot |
2013-07-18 |
Augustin Degomme | remove now useless debug messages |
commit | commitdiff | tree | snapshot |
2013-07-18 |
Augustin Degomme | Set MPI_Request to MPI_REQUEST_NULL whenever a call... |
commit | commitdiff | tree | snapshot |
2013-07-18 |
Augustin Degomme | guard against potential segfault when used before initi... |
commit | commitdiff | tree | snapshot |
2013-07-18 |
Augustin Degomme | add an include to please ci |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | changelog update |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | fix behavior of MPI_STATUS_IGNORE and MPI_STATUSES_IGNO... |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | typo + compile without fortran |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | smpif90 changes (force gfortran for now), replace ... |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | add fortran 90 tests |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | Fix potential segfault |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | add one binding |
commit | commitdiff | tree | snapshot |
2013-07-17 |
Augustin Degomme | fix behavior of waitany |
commit | commitdiff | tree | snapshot |
2013-07-17 |
suter | oups forgot to describe new parameter |
commit | commitdiff | tree | snapshot |
2013-07-17 |
suter | don't allow java to attach user data to file (for now... |
commit | commitdiff | tree | snapshot |
2013-07-17 |
suter | update examples with new prototype for open |
commit | commitdiff | tree | snapshot |
2013-07-17 |
suter | Allow users to attach arbitrary data to opened files |
commit | commitdiff | tree | snapshot |
2013-07-16 |
degomme | remove f77 attr tests |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | missing file |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | only use MPI_SOURCE when necessary |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | switch cmake variable names |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | cmakelists cleanup |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | Add (some) mpich3 f77 tests |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | have smpiff work on temporary file copies |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | correct a few mistakes with waitall, waitany, wait |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | make fortran new bindings almost functional |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | add two more functions |
commit | commitdiff | tree | snapshot |
2013-07-16 |
Augustin Degomme | fix MPI_Initialized |
commit | commitdiff | tree | snapshot |
2013-07-15 |
Augustin Degomme | Update changelog |
commit | commitdiff | tree | snapshot |
2013-07-15 |
Augustin Degomme | remove references to old test suite |
commit | commitdiff | tree | snapshot |
2013-07-15 |
Augustin Degomme | wrong (but still unimplemented) function was used |
commit | commitdiff | tree | snapshot |
2013-07-15 |
Augustin Degomme | add "a few" fortran bindings |
commit | commitdiff | tree | snapshot |
2013-07-12 |
degomme | remove problematic (and unused for now) test from build |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Arnaud Giersch | Include directory is in source_dir, not in binary_dir. |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Arnaud Giersch | Fix doxygen warning about parameter name that did not... |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Arnaud Giersch | Remove useless file. |
commit | commitdiff | tree | snapshot |
2013-07-12 |
degomme | (try to) fix tests |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | missing files |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | missing file for test |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | fix build and dist, add missing folder |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | remove older mpich test suite |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | Add mpich3 test suite, to replace older one. |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | change some behaviors with MPI_IN_PLACE |
commit | commitdiff | tree | snapshot |
2013-07-12 |
Augustin Degomme | change algo chosen for pairwise, to work with non power... |
commit | commitdiff | tree | snapshot |
next |