2013-03-29 |
Augustin Degomme | update dtd |
commit | commitdiff | tree | snapshot |
2013-03-29 |
Augustin Degomme | add a loopback_lat and loopback_bw to cluster tag |
commit | commitdiff | tree | snapshot |
2013-03-29 |
Augustin Degomme | add limiter_link option to cluster tag, to add a pseudo... |
commit | commitdiff | tree | snapshot |
2013-03-29 |
Augustin Degomme | add a bunch of bindings/new definitions of unimplemente... |
commit | commitdiff | tree | snapshot |
2013-03-28 |
Arnaud Giersch | Cosmetics: those are regexps. |
commit | commitdiff | tree | snapshot |
2013-03-28 |
Arnaud Giersch | Remove extraneous parentheses, and silent clang. |
commit | commitdiff | tree | snapshot |
2013-03-28 |
Arnaud Giersch | Make dist complete, and fix "make distcheck". |
commit | commitdiff | tree | snapshot |
2013-03-28 |
Arnaud Giersch | Fix build without smpi. |
commit | commitdiff | tree | snapshot |
2013-03-28 |
Arnaud Giersch | Don't build smpi in a separate library anymore. |
commit | commitdiff | tree | snapshot |
2013-03-28 |
Paul Bédaride | Add collectives for allgather, allreduce, bcast and... |
commit | commitdiff | tree | snapshot |
2013-03-27 |
Marion Guthmuller | model-checker : add example (electric_fence) to check... |
commit | commitdiff | tree | snapshot |
2013-03-27 |
Martin Quinson | fix for windows -- not sure if it's still mandatory... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Arnaud Giersch | Fix various build errors. |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Arnaud Giersch | Reindent files before changes. |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Arnaud Giersch | Missing include. |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Marion Guthmuller | model-checker : variable declaration deleted with a... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Marion Guthmuller | model-checker : add variable deleted before to resolve... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Marion Guthmuller | model-checker : ignore variable about time used with... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Marion Guthmuller | model-checker : if acceptance cycle is detected, get... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Marion Guthmuller | model-checker : last fix in DPOR algorithm if max depth... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Marion Guthmuller | model-checker : update bugged1 tesh |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Martin Quinson | documentation cosmetics |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Martin Quinson | fix some simple errors in the commit of Paul (not enoug... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Martin Quinson | rework the SMPI documentation quite a bit |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Martin Quinson | split SMPI documentation into a specific file (no real... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Jonathan Rouzaud... | Fix sendBounded java binding |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Paul Bédaride | Add colls.h to DefinePackages |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
commit | commitdiff | tree | snapshot |
2013-03-25 |
Paul Bédaride | Add alltoall collectives from starmpi |
commit | commitdiff | tree | snapshot |
2013-03-21 |
Arnaud Giersch | Dumb commit: kill empty line. |
commit | commitdiff | tree | snapshot |
2013-03-21 |
Arnaud Giersch | Kill unused variable. |
commit | commitdiff | tree | snapshot |
2013-03-21 |
Marion Guthmuller | model-checker : use xbt_free_f instead of a new functio... |
commit | commitdiff | tree | snapshot |
2013-03-21 |
Marion Guthmuller | model-checker : fix soundness of DPOR algorithm if... |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Arnaud Giersch | Also link with platform independent libunwind. |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Arnaud Giersch | Initialize variables. |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Arnaud Giersch | Generated file has changed. |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Arnaud Giersch | Add missing declarations. |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : update tesh |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : order reached_pairs by number of proces... |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : free memory |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : cosmetics |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : fragment size and fragment number may... |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Jonathan Rouzaud... | Add receive bounded to the java binding |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : store heap_bytes_used and number of... |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : update tesh (according to previous... |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : cleanups |
commit | commitdiff | tree | snapshot |
2013-03-19 |
Marion Guthmuller | model-checker : code refactoring for get_hash_global |
commit | commitdiff | tree | snapshot |
2013-03-18 |
Nicolas Bonichon | Fix msg-bittorrent's problem of incompletion |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : update msg chord example for the verifi... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : fix tesh (different local deployment... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : fix dpor |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : fix compilation error without MC |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | update tesh |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : update tesh |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : code refactoring for heap comparison... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : add state equality reduction in ddfs... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : get current backtrace with libunwind... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : code refactoring |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : ignore mc_time for heap comparison... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : improve debug message |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : new model-checker configuration model... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : return state number if the current... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : fix MC_RANDOM simcall |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : remove obsolete example |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : set ignore flag to 0 if reallocation |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : minor changes for debug information... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : check if fragment or block has been... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : remove local variable only if frame... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : remove static function |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : cosmetics |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : get hash of local and global variables... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : ignore running context of processes... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : use short instead of int for ignore... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : init ignore information for each block... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : remove commentated declaration of funct... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : remove variable from mc_local_variables... |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : fix memory leak |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : cosmetics |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : cleanups in mc_snapshot structure |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : new simcall MC_RANDOM |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : fix memory leak |
commit | commitdiff | tree | snapshot |
2013-03-16 |
Marion Guthmuller | model-checker : get instruction pointer and frame name... |
commit | commitdiff | tree | snapshot |
2013-03-10 |
Arnaud Giersch | Avoid to run the smpirun script through valgrind on... |
commit | commitdiff | tree | snapshot |
2013-03-10 |
Arnaud Giersch | Add new option to smpirun, for running valgrind/gdb... |
commit | commitdiff | tree | snapshot |
2013-03-08 |
Arnaud Giersch | Improve the printing of default values when size != 1. |
commit | commitdiff | tree | snapshot |
2013-03-08 |
Arnaud Giersch | Cosmetics: add space before opening parenthesis. |
commit | commitdiff | tree | snapshot |
2013-03-06 |
Arnaud Giersch | Check return code, and report errors. |
commit | commitdiff | tree | snapshot |
2013-03-06 |
Arnaud Giersch | Use simple arrays, instead of dynars. |
commit | commitdiff | tree | snapshot |
2013-03-06 |
Arnaud Giersch | Really copy only when recvbuf != sendbuf. |
commit | commitdiff | tree | snapshot |
2013-03-01 |
Lucas Schnorr | [doc] general update on tracing doc |
commit | commitdiff | tree | snapshot |
2013-02-21 |
Arnaud Giersch | Define missing function. |
commit | commitdiff | tree | snapshot |
2013-02-21 |
Arnaud Giersch | Remove useless statements. |
commit | commitdiff | tree | snapshot |
2013-02-21 |
Arnaud Giersch | Try to fix const madness. |
commit | commitdiff | tree | snapshot |
2013-02-21 |
Arnaud Giersch | Fix memory leaks in smpi. |
commit | commitdiff | tree | snapshot |
2013-02-21 |
Arnaud Giersch | Extend smpi_register_static to accept any free function. |
commit | commitdiff | tree | snapshot |
2013-02-20 |
Arnaud Giersch | Fix a few more memory leaks. |
commit | commitdiff | tree | snapshot |
2013-02-20 |
Arnaud Giersch | Avoid to export internal variables. |
commit | commitdiff | tree | snapshot |
2013-02-20 |
Arnaud Giersch | Free timer after it's been used. |
commit | commitdiff | tree | snapshot |
2013-02-20 |
Arnaud Giersch | Use splitted xml files, and avoid memory leaks in the... |
commit | commitdiff | tree | snapshot |
next |