2013-04-03 |
Marion Guthmuller | model-checker : display address of communication in... |
tree | commitdiff |
2013-04-03 |
Marion Guthmuller | model-checker : iSend/iRecv independent with Wait but... |
tree | commitdiff |
2013-04-02 |
Marion Guthmuller | model-checker : state at max depth may have none interl... |
tree | commitdiff |
2013-04-02 |
Augustin Degomme | have sendrecv_replace work with non contiguous datatype... |
tree | commitdiff |
2013-04-02 |
Marion Guthmuller | model-checker : signed int instead of unsigned int |
tree | commitdiff |
2013-04-02 |
Marion Guthmuller | model-checker : create dot_output file after MC_do_the_... |
tree | commitdiff |
2013-04-01 |
Marion Guthmuller | model-checker : restore independence between iSend... |
tree | commitdiff |
2013-04-01 |
Marion Guthmuller | model-checker : update state equality detection |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | new attempt to stabilize the use of underscores on... |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | freebsd compatibility |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | remove states for the new tracing option, as only links... |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | switch back from two underscores to one in fortran... |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | add a cfg:tracing/smpi/internals option, to trace all... |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | update dtd |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | add a loopback_lat and loopback_bw to cluster tag |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | add limiter_link option to cluster tag, to add a pseudo... |
tree | commitdiff |
2013-03-29 |
Augustin Degomme | add a bunch of bindings/new definitions of unimplemente... |
tree | commitdiff |
2013-03-28 |
Arnaud Giersch | Remove extraneous parentheses, and silent clang. |
tree | commitdiff |
2013-03-28 |
Arnaud Giersch | Fix build without smpi. |
tree | commitdiff |
2013-03-28 |
Arnaud Giersch | Don't build smpi in a separate library anymore. |
tree | commitdiff |
2013-03-28 |
Paul Bédaride | Add collectives for allgather, allreduce, bcast and... |
tree | commitdiff |
2013-03-27 |
Martin Quinson | fix for windows -- not sure if it's still mandatory... |
tree | commitdiff |
2013-03-25 |
Arnaud Giersch | Fix various build errors. |
tree | commitdiff |
2013-03-25 |
Arnaud Giersch | Reindent files before changes. |
tree | commitdiff |
2013-03-25 |
Arnaud Giersch | Missing include. |
tree | commitdiff |
2013-03-25 |
Marion Guthmuller | model-checker : variable declaration deleted with a... |
tree | commitdiff |
2013-03-25 |
Marion Guthmuller | model-checker : add variable deleted before to resolve... |
tree | commitdiff |
2013-03-25 |
Marion Guthmuller | model-checker : ignore variable about time used with... |
tree | commitdiff |
2013-03-25 |
Marion Guthmuller | model-checker : if acceptance cycle is detected, get... |
tree | commitdiff |
2013-03-25 |
Marion Guthmuller | model-checker : last fix in DPOR algorithm if max depth... |
tree | commitdiff |
2013-03-25 |
Martin Quinson | fix some simple errors in the commit of Paul (not enoug... |
tree | commitdiff |
2013-03-25 |
Jonathan Rouzaud... | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-03-25 |
Jonathan Rouzaud... | Fix sendBounded java binding |
tree | commitdiff |
2013-03-25 |
Paul Bédaride | Merge branch 'master' of git+ssh://scm.gforge.inria... |
tree | commitdiff |
2013-03-25 |
Paul Bédaride | Add alltoall collectives from starmpi |
tree | commitdiff |
2013-03-21 |
Arnaud Giersch | Dumb commit: kill empty line. |
tree | commitdiff |
2013-03-21 |
Arnaud Giersch | Kill unused variable. |
tree | commitdiff |
2013-03-21 |
Marion Guthmuller | model-checker : use xbt_free_f instead of a new functio... |
tree | commitdiff |
2013-03-21 |
Marion Guthmuller | model-checker : fix soundness of DPOR algorithm if... |
tree | commitdiff |
2013-03-19 |
Arnaud Giersch | Initialize variables. |
tree | commitdiff |
2013-03-19 |
Arnaud Giersch | Generated file has changed. |
tree | commitdiff |
2013-03-19 |
Arnaud Giersch | Add missing declarations. |
tree | commitdiff |
2013-03-19 |
Marion Guthmuller | model-checker : order reached_pairs by number of proces... |
tree | commitdiff |
2013-03-19 |
Marion Guthmuller | model-checker : free memory |
tree | commitdiff |
2013-03-19 |
Marion Guthmuller | model-checker : cosmetics |
tree | commitdiff |
2013-03-19 |
Marion Guthmuller | model-checker : fragment size and fragment number may... |
tree | commitdiff |
2013-03-19 |
Jonathan Rouzaud... | Add receive bounded to the java binding |
tree | commitdiff |
2013-03-19 |
Marion Guthmuller | model-checker : store heap_bytes_used and number of... |
tree | commitdiff |
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 |
next |