Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : more debug information
[simgrid.git] / src /
2012-01-30 Marion Guthmullermodel-checker : more debug information
2012-01-30 Marion Guthmullermodel-checker : add address of std_heap into debug...
2012-01-30 Marion Guthmullermodel-checker : get rdv_points in simix for comparison...
2012-01-29 Marion Guthmullermodel-checker : more debug informations in function...
2012-01-19 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-17 navarroPut XBT_WARN when try to use channel and not alias...
2012-01-17 navarroAlso display some information when procname is NULL
2012-01-17 navarroRevert "Fix segfault when using XBT_... and when proces...
2012-01-17 Arnaud GierschDon't crash with NULL procname.
2012-01-17 Arnaud GierschAFAICS, there is no problem with e.msg.
2012-01-17 Arnaud GierschCosmetics: fix indentation.
2012-01-17 navarroFix segfault when using XBT_... and when process have...
2012-01-17 navarroImplement SIMIX_process_from_PID
2012-01-17 navarroFactorize functions for smpi factor.
2012-01-17 navarroFix some memory leak.
2012-01-16 navarroAdd a platform with tag config and explain how to chang...
2012-01-16 navarroOffer the possibility to change smpi bandwidth and...
2012-01-16 navarroPut xbt_cfg_register for smpi into surf_config.c file
2012-01-16 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-16 Christophe ThiéryMSG_task_dsend: don't apply a default function if clean...
2012-01-13 Christophe ThiéryLua: close the Lua world of a process being destroyed
2012-01-13 Christophe ThiéryFix a compilation error
2012-01-13 Christophe ThiéryLua: forgot the timeout argument of simgrid.comm.send
2012-01-13 Christophe ThiéryChange the prototype of copy data callbacks to add...
2012-01-13 Christophe ThiéryMSG_comm_destroy should not assume that the task still...
2012-01-13 Marion GuthmullerMerge branch 'MC_LTL'
2012-01-13 Marion Guthmullermodel-checker : new function MC_diff to display all...
2012-01-13 Marion Guthmullermodel-checker : break forgotten in switch
2012-01-13 Martin QuinsonMerge branch 'MC_LTL'
2012-01-13 unknownDeclare functions XBT_PUBLIC to export them.
2012-01-13 unknownAdd more debug messages and add flag _I_X86 on windows...
2012-01-13 unknownThe function is not implemented so put a THROW_UNIMPLEM...
2012-01-12 Christophe ThiéryLua: only keep tracks of tables coming from maestro
2012-01-12 Christophe ThiérySplit simgrid_lua.c in one source file per module
2012-01-12 Marion Guthmullermodel-checker : add informations when log debug enabled
2012-01-12 Christophe ThiéryAdd comments to the Lua task copy callback
2012-01-12 Christophe ThiéryMSG: register a SIMIX copy data callback only if necessary
2012-01-12 Marion Guthmullermodel-checker : prototypes of static functions moved
2012-01-12 Marion Guthmullermodel-checker : %zu instead of %Zu in printf
2012-01-11 Marion Guthmullermerge conflicts resolved
2012-01-11 Marion Guthmullermodel-checker : more informations if log enabled for...
2012-01-11 Christophe ThiéryLua: copy the Lua task right after the C task using...
2012-01-11 Christophe ThiéryMSG: add a function to register a task copy callback
2012-01-10 unknownreturn 0 instead of die.
2012-01-10 unknownOn windows pthread_atfork is not implemented
2012-01-10 unknownsleep doesn't exist on windows.
2012-01-10 Arnaud GierschFix other "missing prototype" errors.
2012-01-10 Arnaud GierschFix test, and remove duplicated checks.
2012-01-10 Arnaud GierschFix error: passing argument 7 of ‘SIMIX_req_comm_isend...
2012-01-10 Arnaud GierschFix error: passing argument 3 of ‘xbt_dict_set’ discard...
2012-01-10 Arnaud GierschFix compilation errors about "enumeration value not...
2012-01-10 Arnaud GierschAdd missing declaration.
2012-01-10 Arnaud GierschFix format.
2012-01-10 Arnaud GierschDon't use printf modifier %Z. Use %z instead.
2012-01-09 Martin Quinsongive the localisation of parse errors more accurately
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2012-01-09 Martin Quinsonmake sure that we won't survive a parser error in the...
2012-01-09 Martin Quinsonmake it compile with -Werror by forcing a type casting
2012-01-08 Lucas Schnorr[trace] valgrind's memcheck to wipe out memory leaks...
2012-01-06 Arnaud GierschFix the order of contraints changed by previous commits:
2012-01-06 Arnaud GierschIn lmm_update_modified_set, don't visit variables twice.
2012-01-06 Arnaud GierschTry hard to optimize lmm_update_modified_set.
2012-01-06 NavarropThe variable-constraint graph is already traversed...
2012-01-06 Arnaud GierschEnsure that all constraints are put in modified_constra...
2012-01-06 Arnaud GierschRemove constraint from modified_constraint_set, when...
2012-01-06 Christophe ThiéryKeep iwannadie set instead of lying to the context...
2012-01-06 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-06 Christophe ThiérySIMIX: when a process is killed, remove its blocking...
2012-01-06 Christophe ThiéryMSG: don't keep pointers to a structure freed
2012-01-06 NavarropAdd some tests for crosstraffic = 1.
2012-01-06 Christophe ThiéryMerge branch 'smpi'
2012-01-05 Christophe Thiéryclean_fun is the function that frees the userdata of...
2012-01-05 Christophe ThiérySMPI: don't finish immediately a dsend comm.
2012-01-05 Christophe ThiérySMPI: before terminating a process, wait for its asynch...
2012-01-05 Christophe ThiéryWhen a process leaves, no one should ever finish a...
2012-01-05 Christophe ThiéryExport SIMIX_rdv_remove and fix debug messages
2012-01-05 Christophe Thiéry-0.000000 is lower than 0.0. True story.
2012-01-05 Marion Guthmullermodel-checker : warnings fixed
2012-01-05 NavarropSorry, for this stupid error
2012-01-05 PierreUse xbt_config mechanism instead of hard coding value.
2012-01-05 PierreUse of busy wait instead of futex if there is not futex.h
2012-01-05 PierreAdd a ifdef HAVE_FUTEX_H to compile on Mac
2012-01-02 Martin Quinsonthis configuration option does not exist anymore (and...
2011-12-30 Christophe ThiéryFix supernovae compilation
2011-12-26 Martin Quinsoncleanup the debug messages
2011-12-26 Martin Quinsonmore verbose debug messages
2011-12-26 Martin QuinsonWhen the process exits, don't cancel the communications...
2011-12-26 Martin Quinsonuse sensible process names (their rank) in SMPI, and...
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-26 Lucas Schnorr[trace] tracing needs a Full network/optim, otherwise...
2011-12-26 Lucas Schnorrbug fix, tracing mechanism relies on a correct set_cate...
2011-12-26 Lucas Schnorrtypo
2011-12-26 Lucas Schnorr[trace] better source code comments for configuration...
2011-12-26 Martin Quinsonmore verbose debug around detached sends
2011-12-26 Martin Quinsondupplicate the sender buffer in eager mode, when isends...
2011-12-26 Martin Quinsonfix some glitches in documentation generation
2011-12-26 Martin Quinsondocument SMPI configuration items
2011-12-25 Martin Quinsondocument the configuration items related to packet...
2011-12-25 Martin Quinsondocument simix-related config options
next