Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : move functions about snapshot comparison in a separate file mc_compare.c
[simgrid.git] / src / gras /
2012-10-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-02 Arnaud GierschMark as volatile variables that "might be clobbered...
2012-10-02 Martin QuinsonEnsures that SIMIX_clean is called automatically
2012-06-27 Samuel LepetitFirst bricks for auto_restart support in SIMIX/MSG.
2012-06-20 suterSolve white space conflicts
2012-06-20 Martin Quinsonsed -i -e 's/\t/ /g' *.[ch] Please people, stop using...
2012-06-08 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-04 Arnaud GierschDeclare as "unsigned" bit fields used as boolean.
2012-06-02 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-30 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-30 navarroSome typos in source code
2012-05-23 Arnaud GierschA cast is mandatory here to discard the volatile qualifier.
2012-05-03 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-04-28 Martin QuinsonI forgot to update my tree before commiting (once again...
2012-04-27 Martin QuinsonMerge all public simix headers, and distribute them...
2012-04-27 navarroRewrite the kill_time mecanism.
2012-04-27 Arnaud GierschEmpty argument is allowed for XBT_IN().
2012-03-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-28 Arnaud GierschMove all XBT_LOG_CONNECT into one place.
2012-03-28 Arnaud GierschBackslashes should be doubled in C strings.
2012-03-28 Arnaud GierschKill dead commented code.
2012-03-28 Arnaud GierschRemove useless use of XBT_LOG_EXTERNAL_CATEGORY.
2012-03-28 Arnaud GierschCosmetics: use XBT_LOG_EXTERNAL_DEFAULT_CATEGORY where...
2012-03-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-22 Arnaud GierschFix gras initialization messages.
2012-03-22 schnorrlet simgrid compile with NDEBUG and warnings are errors
2012-03-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-03-20 Martin Quinsonreduce the amount of output on (handled) issues
2012-03-20 Martin Quinsonbig fat warning about GRAS not being stable anymore
2012-03-07 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-03-06 Martin Quinsontypos and reduce debug verbosity
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-02-21 Arnaud GierschFix format strings to match their arguments.
2012-02-21 Arnaud GierschAn unsigned int cannot be negative.
2012-02-01 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-31 Arnaud GierschRemove extern declaration for gras_opt_trp_nomoredata_o...
2012-01-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-31 Christophe ThiéryMove datadesc and TCP sockets from GRAS to XBT.
2012-01-30 Marion Guthmullermerge conflict resolved
2012-01-25 Christophe ThiérySIMIX refactoring: replace 'request' by a more precise...
2012-01-25 Christophe ThiéryRename SIMIX files
2012-01-11 Marion Guthmullermerge conflicts resolved
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2012-01-06 Christophe ThiéryMerge branch 'smpi'
2011-12-26 Martin QuinsonFurther investigate the dsend issue, in vain so far
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-12-06 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-01 Arnaud GierschUse homogeneous dictionaries whenever possible.
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-28 Arnaud GierschRemove useless internal functions.
2011-11-22 Marion Guthmullermerge conflicts
2011-11-15 Christophe ThiérySIMIX: add a redundant parameter to avoid repeated...
2011-11-14 Arnaud GierschUse xbt_XXX_is_empty() instead of testing xbt_XXX_lengt...
2011-11-10 Arnaud GierschSimply say fun_ptr(...) instead of (*fun_ptr)(...).
2011-11-09 Arnaud GierschKill "if" before free, and useless cast of free argument.
2011-11-03 Christophe ThiéryEnable clobbered variable warnings again and fix the...
2011-11-02 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-11-02 Christophe ThiéryFix gcc 4.6 warnings about clobbered variables with...
2011-10-28 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-10-28 Christophe ThiéryWith optimizations, gcc 4.6 warns about clobbered variables
2011-10-28 Christophe Thiérymemset with a size of 0 is forbidden
2011-10-20 Martin Quinsonmerge branches
2011-09-27 NavarropRevert "Those files should not be in git."
2011-09-27 NavarropThose files should not be in git.
2011-09-15 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-09-15 Martin Quinsonreally ignore the return value of that function, or...
2011-09-15 Martin Quinsonfix some unused-but-set-variable warnings comming from...
2011-09-01 NavarropAdd pages for ns3 and gtnets.
2011-07-30 Quintin Jean-NoëlMerge remote-tracking branch 'origin/master'
2011-07-19 Pierre-Nicolas ClaussMerge back master branch.
2011-07-19 Arnaud GierschFix comments about gras_arch to actually match the...
2011-07-18 Martin Quinsonbump GRAS_PROTOCOL_VERSION since the wire protocol...
2011-07-07 unknownAdd one arch to gras_arch_count.
2011-07-07 unknownAdd a new arch to gras. WIN64
2011-07-06 Martin Quinsontrivial merge of changes about gras architecture
2011-07-06 Martin Quinsonmore comments to document how gras architectures work
2011-06-23 Arnaud GierschReindent TRY/TRY_CLEANUP/CATCH constructs.
2011-06-23 Arnaud GierschUse CATCH_ANONYMOUS whenever possible, and remove unuse...
2011-06-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-06-07 Arnaud GierschRemove unused variables.
2011-04-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-04-20 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-04-20 Martin Quinsontypos in comments
2011-04-18 Martin QuinsonDo not fail if getprotobyname(tcp) returns NULL, as...
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-24 agierschUse new macros THROWF and RETHROWF.
2011-03-01 thieryRemove side effects from xbt_asserts calls
2011-02-17 agierschMake PARSE_ERROR a variadic macro too.
2011-02-17 agierschMake XBT_{IN,OUT,HERE} function-like macros.
2011-02-17 agierschUse new style logging macros.
2011-02-01 thieryDon't read a comm after completion since it is auto...
2011-01-31 cristianrosaAdd MSG_task_dsend function to MSG.
2011-01-27 thieryReplace the return value of SIMIX_req_process_create...
2011-01-27 cristianrosaAdd extra argument "priority" to SIMIX_req_host_execute.
2010-12-07 piniDistinguish access to sender-side and receiver-side...
2010-12-07 cristianrosaAdd support for custom communication matching to SIMIX...
2010-12-02 thieryBiggest commit ever (SIMIX2): the user processes can...
next