Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : code refactoring
[simgrid.git] / src /
2013-03-16 Marion Guthmullermodel-checker : code refactoring
2013-03-16 Marion Guthmullermodel-checker : ignore mc_time for heap comparison...
2013-03-16 Marion Guthmullermodel-checker : improve debug message
2013-03-16 Marion Guthmullermodel-checker : new model-checker configuration model...
2013-03-16 Marion Guthmullermodel-checker : return state number if the current...
2013-03-16 Marion Guthmullermodel-checker : fix MC_RANDOM simcall
2013-03-16 Marion Guthmullermodel-checker : set ignore flag to 0 if reallocation
2013-03-16 Marion Guthmullermodel-checker : minor changes for debug information...
2013-03-16 Marion Guthmullermodel-checker : check if fragment or block has been...
2013-03-16 Marion Guthmullermodel-checker : remove local variable only if frame...
2013-03-16 Marion Guthmullermodel-checker : remove static function
2013-03-16 Marion Guthmullermodel-checker : cosmetics
2013-03-16 Marion Guthmullermodel-checker : get hash of local and global variables...
2013-03-16 Marion Guthmullermodel-checker : ignore running context of processes...
2013-03-16 Marion Guthmullermodel-checker : use short instead of int for ignore...
2013-03-16 Marion Guthmullermodel-checker : init ignore information for each block...
2013-03-16 Marion Guthmullermodel-checker : remove commentated declaration of funct...
2013-03-16 Marion Guthmullermodel-checker : remove variable from mc_local_variables...
2013-03-16 Marion Guthmullermodel-checker : fix memory leak
2013-03-16 Marion Guthmullermodel-checker : cosmetics
2013-03-16 Marion Guthmullermodel-checker : cleanups in mc_snapshot structure
2013-03-16 Marion Guthmullermodel-checker : new simcall MC_RANDOM
2013-03-16 Marion Guthmullermodel-checker : fix memory leak
2013-03-16 Marion Guthmullermodel-checker : get instruction pointer and frame name...
2013-03-10 Arnaud GierschAdd new option to smpirun, for running valgrind/gdb...
2013-03-08 Arnaud GierschImprove the printing of default values when size != 1.
2013-03-08 Arnaud GierschCosmetics: add space before opening parenthesis.
2013-03-06 Arnaud GierschUse simple arrays, instead of dynars.
2013-03-06 Arnaud GierschReally copy only when recvbuf != sendbuf.
2013-02-21 Arnaud GierschDefine missing function.
2013-02-21 Arnaud GierschRemove useless statements.
2013-02-21 Arnaud GierschTry to fix const madness.
2013-02-21 Arnaud GierschFix memory leaks in smpi.
2013-02-21 Arnaud GierschExtend smpi_register_static to accept any free function.
2013-02-20 Arnaud GierschAvoid to export internal variables.
2013-02-20 Arnaud GierschFree timer after it's been used.
2013-02-20 Arnaud GierschFix a few memory leaks.
2013-02-19 Augustin Degommeremove forgotten debug println
2013-02-19 Augustin DegommeJava didn't report the same OS name as Cmake for Window...
2013-02-19 Augustin Degommechange an include, to avoid linking from simgrid to...
2013-02-19 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-19 Arnaud GierschUse correct log category.
2013-02-18 Arnaud GierschKill old commented line.
2013-02-18 Arnaud GierschCheck status also with MC.
2013-02-18 Arnaud GierschMove test outside the loop.
2013-02-18 Arnaud GierschSet status in any case.
2013-02-18 Arnaud GierschRemove declarations for nonexistent functions or variables.
2013-02-18 Arnaud GierschChange regexp to correctly handle types like "short...
2013-02-18 Arnaud GierschAlso set MPI_ERROR in smpi_empty_status.
2013-02-15 Augustin Degommebe case insensitive when trying to change main name...
2013-02-15 Augustin Degommeadd mpi_testall binding for fortran
2013-02-14 Arnaud GierschUsing memcpy looks a bit overkill here.
2013-02-14 Arnaud GierschRemove spurious brace from error message.
2013-02-14 Arnaud GierschRemove remaining traces from synchronized dynars.
2013-02-14 Arnaud GierschCsmetics: algin braces.
2013-02-14 Arnaud GierschRemove declarations for undefined functions.
2013-02-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
2013-02-14 Arnaud GierschSimply say func(...) instead of (*func)(...) when func...
2013-02-14 Arnaud GierschUse CATCH_ANONYMOUS whenever possible.
2013-02-14 Arnaud GierschReplace, when possible, calls to bprintf() by calls...
2013-02-14 Arnaud GierschRemove unused static functions.
2013-02-14 Arnaud GierschRemove declarations for undefined functions.
2013-02-14 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-14 Jonathan Rouzaud... Fix recv/irecv with bounded rate
2013-02-14 Lucas Schnorr[trace] remove useless if, fix identation
2013-02-14 Lucas Schnorr[trace] correct place to keep route allocation + free
2013-02-14 Lucas Schnorr[trace] add debug messages to debug graph extraction...
2013-02-14 Lucas Schnorr[trace] cosmetics and typos
2013-02-14 Lucas Schnorr[trace] useless declaration
2013-02-14 Jonathan Rouzaud... New version of recv/irecv with bounded rate
2013-02-14 Jonathan Rouzaud... Remove commented code from surf_routing_cluster
2013-02-14 Jonathan Rouzaud... Remove commented code from surf_routing_cluster
2013-02-13 Arnaud GierschFix errors caught by java -Xcheck:jni.
2013-02-13 Arnaud GierschMore long -> intptr_t changes.
2013-02-13 Arnaud GierschAdd missing class initializer for VM.java.
2013-02-13 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-13 Arnaud GierschTypos: binded -> bound.
2013-02-13 Martin Quinsondocument that the search function on dynar don't work...
2013-02-12 Arnaud GierschFix build warnings on 32bits archs.
2013-02-12 Arnaud GierschInitialize variable, and make gcc happy.
2013-02-12 Arnaud GierschReindent.
2013-02-12 Arnaud GierschKill unused variable.
2013-02-12 Augustin Degommeissend should be treated as isend, even if not detached
2013-02-12 Augustin Degommecorrect behavior of MPI_Send which used to values of...
2013-02-12 Arnaud GierschFix double free error.
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-12 Jonathan Rouzaud... Bounded receive
2013-02-11 Augustin Degommeadd an smpi/ois factor, to account for the fact that...
2013-02-11 Augustin Degommeactivate a bunch of tests using mpi_ssend, and change...
2013-02-11 Augustin Degommeadd support for Ssend/Issend in SMPI
2013-02-11 Augustin DegommeRevert "always have display_timing activated for smpi...
2013-02-11 Augustin Degommeadd option to set the threshold where smpi send stops...
2013-02-11 Augustin Degommebug : smpi tracing options were replacing those the...
2013-02-11 Augustin Degommesmall fixes to repair unix build
2013-02-11 Augustin Degommeresolve cmakelists conflict
2013-02-11 Augustin Degommevarious fixes to hopefully compile under win32
2013-02-11 Augustin DegommeMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-08 George MarkomanolisFixing a possible bug, I should use parse_double()...
2013-02-07 Martin QuinsonSeed the random generators before the main()
2013-02-07 George MarkomanolisNow the SMPI replay tool supports the modified MPE...
next