Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
2012-01-13 Marion Guthmullermodel-checker : break forgotten in switch
2012-01-12 Marion Guthmullermodel-checker : add informations when log debug enabled
2012-01-12 Marion Guthmullermodel-checker : prototypes of static functions moved
2012-01-12 Marion Guthmullermodel-checker : prototypes of unused functions removed
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 Marion Guthmullermodel-checker : add example centralized_liveness in...
2012-01-11 Marion Guthmullermodel-checker : new example for liveness properties
2012-01-11 Christophe... Lua: copy the Lua task right after the C task using...
2012-01-11 Christophe... MSG: add a function to register a task copy callback
2012-01-11 Christophe... Remove declaration of unexisting functions
2012-01-11 Christophe... The timings of these tests have changed since crosstraf...
2012-01-11 unknownDownload doc with wget on windows and add a target...
2012-01-11 unknownAdd missing headers to simgrid install for windows
2012-01-11 unknownNew logo for installer.
2012-01-10 unknownreturn 0 instead of die.
2012-01-10 unknownOn windows pthread_atfork is not implemented
2012-01-10 unknownMake Hello World example works with mingw
2012-01-10 unknownUpdate nsis script.
2012-01-10 unknownDon't compile those examples on Win
2012-01-10 unknownUpdate README from HelloWorld.
2012-01-10 unknownUpdate doc for MinGW
2012-01-10 unknownsleep doesn't exist on windows.
2012-01-10 unknownCosmetics and replace some deprecated function 'exec_pr...
2012-01-10 unknownMake Simgrid compile with MinGW and gcc4.6
2012-01-10 unknownRemove unused part.
2012-01-10 unknownOnly use MinGW compilator
2012-01-10 unknownMake those programs succed on windows.
2012-01-10 Arnaud GierschFix other "missing prototype" errors.
2012-01-10 Marion Guthmullermodel-checker : bugged2_liveness with promela of LTL...
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 Marion Guthmullermodel-checker : new LTL property for bugged2_liveness...
2012-01-10 Arnaud GierschFix format.
2012-01-10 Arnaud GierschDon't use printf modifier %Z. Use %z instead.
2012-01-09 Marion Guthmullermodel-checker : add comments for the example bugged2_li...
2012-01-09 Marion Guthmullermodel-checker : new examples for verification of livene...
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-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-01-09 Martin Quinsonimprove doc of multicore in FAQ
2012-01-09 NavarropRemove test masterslave-cpu_ti-no-crosstraffic because...
2012-01-09 NavarropUpdate option page: Write that crosstraffic is enable...
2012-01-09 NavarropAdd the faq to documentation because it is under versio...
2012-01-09 NavarropRename old tesh with no-crosstraffic and new like old...
2012-01-09 Martin Quinsoncosmetics in the ChangeLog
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 NavarropRewrite script for update tesh file.
2012-01-06 Christophe... Keep iwannadie set instead of lying to the context...
2012-01-06 Christophe... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-06 Christophe... SIMIX: when a process is killed, remove its blocking...
2012-01-06 Christophe... MSG: don't keep pointers to a structure freed
2012-01-06 NavarropAdd some tests for crosstraffic = 1.
2012-01-06 Christophe... Merge branch 'smpi'
2012-01-05 Christophe... clean_fun is the function that frees the userdata of...
2012-01-05 Christophe... SMPI: don't finish immediately a dsend comm.
2012-01-05 Christophe... SMPI: before terminating a process, wait for its asynch...
2012-01-05 Christophe... When a process leaves, no one should ever finish a...
2012-01-05 Christophe... Export SIMIX_rdv_remove and fix debug messages
2012-01-05 Christophe... -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 Christophe... Add a Chord test with the constant network model
2012-01-02 Martin Quinsonthis configuration option does not exist anymore (and...
2011-12-30 Christophe... Fix 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[doc] basic tracing options (and a link to the full...
2011-12-26 Lucas Schnorr[doc] colors are defined through the tracing API and...
2011-12-26 Lucas Schnorr[doc] update the graph visualization screenshot to...
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[doc] updating the graph configuration documentation
2011-12-26 Lucas Schnorr[doc] fix on tracing parameter documentation
2011-12-26 Lucas Schnorr[doc] triva is using git
2011-12-26 Lucas Schnorr[doc] tracing documentation was duplicated, fix it
2011-12-26 Lucas Schnorr[trace] better source code comments for configuration...
2011-12-26 Lucas Schnorr[doc] documentation for three tracing options
2011-12-26 Lucas Schnorr[doc] users can also declare variable with colors for...
2011-12-26 Lucas Schnorr[doc] explain how to use TRACE_declare_mark and TRACE_mark
next