Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
simgrid.git
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 Martin Quinsondocument what I've done, and note that a written item...
2012-01-16 Christophe... Lua chord: simplify the code by reusing tasks since...
2012-01-16 Christophe... Add a test for Chord in Lua
2012-01-16 Christophe... MSG_task_dsend: don't apply a default function if clean...
2012-01-13 Christophe... Lua: close the Lua world of a process being destroyed
2012-01-13 Christophe... Fix a compilation error
2012-01-13 Christophe... Lua: forgot the timeout argument of simgrid.comm.send
2012-01-13 Christophe... Change the prototype of copy data callbacks to add...
2012-01-13 Christophe... MSG_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 unknownPackage of simgrid.dll
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 unknownAdd a dll for simgrid and protect DLL_EXPORT and DLL_IM...
2012-01-12 Christophe... Lua: only keep tracks of tables coming from maestro
2012-01-12 Christophe... Fix a variable name
2012-01-12 Christophe... Split 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... Add binaries and various files to .gitignore
2012-01-12 Christophe... Add comments to the Lua task copy callback
2012-01-12 Christophe... MSG: 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 : 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
next