Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2013-03-19 Marion Guthmullermodel-checker : update tesh
2013-03-19 Marion Guthmullermodel-checker : order reached_pairs by number of proces...
2013-03-19 Marion Guthmullermodel-checker : free memory
2013-03-19 Marion Guthmullermodel-checker : cosmetics
2013-03-19 Marion Guthmullermodel-checker : fragment size and fragment number may...
2013-03-19 Jonathan Rouzaud... Add receive bounded to the java binding
2013-03-19 Marion Guthmullermodel-checker : store heap_bytes_used and number of...
2013-03-19 Marion Guthmullermodel-checker : update tesh (according to previous...
2013-03-19 Marion Guthmullermodel-checker : cleanups
2013-03-19 Marion Guthmullermodel-checker : code refactoring for get_hash_global
2013-03-18 Nicolas BonichonFix msg-bittorrent's problem of incompletion
2013-03-16 Marion Guthmullermodel-checker : update msg chord example for the verifi...
2013-03-16 Marion Guthmullermodel-checker : fix tesh (different local deployment...
2013-03-16 Marion Guthmullermodel-checker : fix dpor
2013-03-16 Marion Guthmullermodel-checker : fix compilation error without MC
2013-03-16 Marion Guthmullerupdate tesh
2013-03-16 Marion Guthmullermodel-checker : update tesh
2013-03-16 Marion Guthmullermodel-checker : code refactoring for heap comparison...
2013-03-16 Marion Guthmullermodel-checker : add state equality reduction in ddfs...
2013-03-16 Marion Guthmullermodel-checker : get current backtrace with libunwind...
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 : remove obsolete example
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 GierschAvoid to run the smpirun script through valgrind on...
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 GierschCheck return code, and report errors.
2013-03-06 Arnaud GierschUse simple arrays, instead of dynars.
2013-03-06 Arnaud GierschReally copy only when recvbuf != sendbuf.
2013-03-01 Lucas Schnorr[doc] general update on tracing doc
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 GierschFix a few more memory leaks.
2013-02-20 Arnaud GierschAvoid to export internal variables.
2013-02-20 Arnaud GierschFree timer after it's been used.
2013-02-20 Arnaud GierschUse splitted xml files, and avoid memory leaks in the...
2013-02-20 Arnaud GierschSplit the xml file, and destroy task, to fix memory...
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 Degommechange name of the real executed main function to a...
2013-02-19 Augustin Degommeadd smpi to windows installer
2013-02-19 Augustin Degommeforce lib names to stop changing when activating smpi...
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 GierschFile was removed.
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 GierschRemove duplicated declaration for xbt_time().
2013-02-18 Arnaud GierschChange regexp to correctly handle types like "short...
2013-02-18 Arnaud GierschRemove duplicated strings.
2013-02-18 Arnaud GierschCosmetics: add space.
2013-02-18 Arnaud GierschAlso set MPI_ERROR in smpi_empty_status.
2013-02-15 Arnaud GierschRemove unused script.
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-15 Arnaud GierschCosmetics: add space before dot.
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 GierschIncrease tesh timeouts for slow machines.
2013-02-14 Arnaud GierschMake test reproducible on slow machines.
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 GierschAlso comment declaration for now unused variable.
2013-02-14 Arnaud GierschRemove unused static functions.
next