2013-03-19 |
Marion Guthmuller | model-checker : cleanups |
tree | commitdiff |
2013-03-19 |
Marion Guthmuller | model-checker : code refactoring for get_hash_global |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : fix dpor |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : fix compilation error without MC |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : code refactoring for heap comparison... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : add state equality reduction in ddfs... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : get current backtrace with libunwind... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : code refactoring |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : ignore mc_time for heap comparison... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : improve debug message |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : new model-checker configuration model... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : return state number if the current... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : fix MC_RANDOM simcall |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : set ignore flag to 0 if reallocation |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : minor changes for debug information... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : check if fragment or block has been... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : remove local variable only if frame... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : remove static function |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : cosmetics |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : get hash of local and global variables... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : ignore running context of processes... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : use short instead of int for ignore... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : init ignore information for each block... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : remove commentated declaration of funct... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : remove variable from mc_local_variables... |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : fix memory leak |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : cosmetics |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : cleanups in mc_snapshot structure |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : new simcall MC_RANDOM |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : fix memory leak |
tree | commitdiff |
2013-03-16 |
Marion Guthmuller | model-checker : get instruction pointer and frame name... |
tree | commitdiff |
2013-03-10 |
Arnaud Giersch | Add new option to smpirun, for running valgrind/gdb... |
tree | commitdiff |
2013-03-08 |
Arnaud Giersch | Improve the printing of default values when size != 1. |
tree | commitdiff |
2013-03-08 |
Arnaud Giersch | Cosmetics: add space before opening parenthesis. |
tree | commitdiff |
2013-03-06 |
Arnaud Giersch | Use simple arrays, instead of dynars. |
tree | commitdiff |
2013-03-06 |
Arnaud Giersch | Really copy only when recvbuf != sendbuf. |
tree | commitdiff |
2013-02-21 |
Arnaud Giersch | Define missing function. |
tree | commitdiff |
2013-02-21 |
Arnaud Giersch | Remove useless statements. |
tree | commitdiff |
2013-02-21 |
Arnaud Giersch | Try to fix const madness. |
tree | commitdiff |
2013-02-21 |
Arnaud Giersch | Fix memory leaks in smpi. |
tree | commitdiff |
2013-02-21 |
Arnaud Giersch | Extend smpi_register_static to accept any free function. |
tree | commitdiff |
2013-02-20 |
Arnaud Giersch | Avoid to export internal variables. |
tree | commitdiff |
2013-02-20 |
Arnaud Giersch | Free timer after it's been used. |
tree | commitdiff |
2013-02-20 |
Arnaud Giersch | Fix a few memory leaks. |
tree | commitdiff |
2013-02-19 |
Augustin Degomme | remove forgotten debug println |
tree | commitdiff |
2013-02-19 |
Augustin Degomme | Java didn't report the same OS name as Cmake for Window... |
tree | commitdiff |
2013-02-19 |
Augustin Degomme | change an include, to avoid linking from simgrid to... |
tree | commitdiff |
2013-02-19 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-02-19 |
Arnaud Giersch | Use correct log category. |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Kill old commented line. |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Check status also with MC. |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Move test outside the loop. |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Set status in any case. |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Remove declarations for nonexistent functions or variables. |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Change regexp to correctly handle types like "short... |
tree | commitdiff |
2013-02-18 |
Arnaud Giersch | Also set MPI_ERROR in smpi_empty_status. |
tree | commitdiff |
2013-02-15 |
Augustin Degomme | be case insensitive when trying to change main name... |
tree | commitdiff |
2013-02-15 |
Augustin Degomme | add mpi_testall binding for fortran |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Using memcpy looks a bit overkill here. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Remove spurious brace from error message. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Remove remaining traces from synchronized dynars. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Csmetics: algin braces. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Remove declarations for undefined functions. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Use xbt_XXX_is_empty() instead of testing xbt_XXX_lengt... |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Simply say func(...) instead of (*func)(...) when func... |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Use CATCH_ANONYMOUS whenever possible. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Replace, when possible, calls to bprintf() by calls... |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Remove unused static functions. |
tree | commitdiff |
2013-02-14 |
Arnaud Giersch | Remove declarations for undefined functions. |
tree | commitdiff |
2013-02-14 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-02-14 |
Jonathan Rouzaud... | Fix recv/irecv with bounded rate |
tree | commitdiff |
2013-02-14 |
Lucas Schnorr | [trace] remove useless if, fix identation |
tree | commitdiff |
2013-02-14 |
Lucas Schnorr | [trace] correct place to keep route allocation + free |
tree | commitdiff |
2013-02-14 |
Lucas Schnorr | [trace] add debug messages to debug graph extraction... |
tree | commitdiff |
2013-02-14 |
Lucas Schnorr | [trace] cosmetics and typos |
tree | commitdiff |
2013-02-14 |
Lucas Schnorr | [trace] useless declaration |
tree | commitdiff |
2013-02-14 |
Jonathan Rouzaud... | New version of recv/irecv with bounded rate |
tree | commitdiff |
2013-02-14 |
Jonathan Rouzaud... | Remove commented code from surf_routing_cluster |
tree | commitdiff |
2013-02-14 |
Jonathan Rouzaud... | Remove commented code from surf_routing_cluster |
tree | commitdiff |
2013-02-13 |
Arnaud Giersch | Fix errors caught by java -Xcheck:jni. |
tree | commitdiff |
2013-02-13 |
Arnaud Giersch | More long -> intptr_t changes. |
tree | commitdiff |
2013-02-13 |
Arnaud Giersch | Add missing class initializer for VM.java. |
tree | commitdiff |
2013-02-13 |
Augustin Degomme | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-02-13 |
Arnaud Giersch | Typos: binded -> bound. |
tree | commitdiff |
2013-02-13 |
Martin Quinson | document that the search function on dynar don't work... |
tree | commitdiff |
2013-02-12 |
Arnaud Giersch | Fix build warnings on 32bits archs. |
tree | commitdiff |
2013-02-12 |
Arnaud Giersch | Initialize variable, and make gcc happy. |
tree | commitdiff |
2013-02-12 |
Arnaud Giersch | Reindent. |
tree | commitdiff |
2013-02-12 |
Arnaud Giersch | Kill unused variable. |
tree | commitdiff |
2013-02-12 |
Augustin Degomme | issend should be treated as isend, even if not detached |
tree | commitdiff |
2013-02-12 |
Augustin Degomme | correct behavior of MPI_Send which used to values of... |
tree | commitdiff |
2013-02-12 |
Arnaud Giersch | Fix double free error. |
tree | commitdiff |
2013-02-12 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-02-12 |
Jonathan Rouzaud... | Bounded receive |
tree | commitdiff |
2013-02-11 |
Augustin Degomme | add an smpi/ois factor, to account for the fact that... |
tree | commitdiff |
2013-02-11 |
Augustin Degomme | activate a bunch of tests using mpi_ssend, and change... |
tree | commitdiff |
2013-02-11 |
Augustin Degomme | add support for Ssend/Issend in SMPI |
tree | commitdiff |
2013-02-11 |
Augustin Degomme | Revert "always have display_timing activated for smpi... |
tree | commitdiff |
2013-02-11 |
Augustin Degomme | add option to set the threshold where smpi send stops... |
tree | commitdiff |
2013-02-11 |
Augustin Degomme | bug : smpi tracing options were replacing those the... |
tree | commitdiff |
next |