A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
simgrid.git
2012-01-17
navarro
Update changelog for smpi factor.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
navarro
Add a platform with tag config and explain how to chang...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
navarro
Offer the possibility to change smpi bandwidth and...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
navarro
Put xbt_cfg_register for smpi into surf_config.c file
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
Martin Quinson
document what I've done, and note that a written item...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
Christophe...
Lua chord: simplify the code by reusing tasks since...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
Christophe...
Add a test for Chord in Lua
commit
|
commitdiff
|
tree
|
snapshot
2012-01-16
Christophe...
MSG_task_dsend: don't apply a default function if clean...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Christophe...
Lua: close the Lua world of a process being destroyed
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Christophe...
Fix a compilation error
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Christophe...
Lua: forgot the timeout argument of simgrid.comm.send
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Christophe...
Change the prototype of copy data callbacks to add...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Christophe...
MSG_comm_destroy should not assume that the task still...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Marion Guthmuller
Merge branch 'MC_LTL'
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Marion Guthmuller
model-checker : new function MC_diff to display all...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Marion Guthmuller
model-checker : break forgotten in switch
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
Martin Quinson
Merge branch 'MC_LTL'
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
unknown
Package of simgrid.dll
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
unknown
Declare functions XBT_PUBLIC to export them.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
unknown
Add more debug messages and add flag _I_X86 on windows...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-13
unknown
The function is not implemented so put a THROW_UNIMPLEM...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
unknown
Add a dll for simgrid and protect DLL_EXPORT and DLL_IM...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Christophe...
Lua: only keep tracks of tables coming from maestro
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Christophe...
Fix a variable name
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Christophe...
Split simgrid_lua.c in one source file per module
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Marion Guthmuller
model-checker : add informations when log debug enabled
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Christophe...
Add binaries and various files to .gitignore
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Christophe...
Add comments to the Lua task copy callback
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Christophe...
MSG: register a SIMIX copy data callback only if necessary
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Marion Guthmuller
model-checker : prototypes of static functions moved
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Marion Guthmuller
model-checker : prototypes of unused functions removed
commit
|
commitdiff
|
tree
|
snapshot
2012-01-12
Marion Guthmuller
model-checker : %zu instead of %Zu in printf
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Marion Guthmuller
merge conflicts resolved
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Marion Guthmuller
model-checker : more informations if log enabled for...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Marion Guthmuller
model-checker : add example centralized_liveness in...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Marion Guthmuller
model-checker : new example for liveness properties
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Christophe...
Lua: copy the Lua task right after the C task using...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Christophe...
MSG: add a function to register a task copy callback
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Christophe...
Remove declaration of unexisting functions
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
Christophe...
The timings of these tests have changed since crosstraf...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
unknown
Download doc with wget on windows and add a target...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
unknown
Add missing headers to simgrid install for windows
commit
|
commitdiff
|
tree
|
snapshot
2012-01-11
unknown
New logo for installer.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
return 0 instead of die.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
On windows pthread_atfork is not implemented
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Make Hello World example works with mingw
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Update nsis script.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Don't compile those examples on Win
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Update README from HelloWorld.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Update doc for MinGW
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
sleep doesn't exist on windows.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Cosmetics and replace some deprecated function 'exec_pr...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Make Simgrid compile with MinGW and gcc4.6
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Remove unused part.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Only use MinGW compilator
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
unknown
Make those programs succed on windows.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Fix other "missing prototype" errors.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Marion Guthmuller
model-checker : bugged2_liveness with promela of LTL...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Fix test, and remove duplicated checks.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Fix error: passing argument 7 of ‘SIMIX_req_comm_isend...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Fix error: passing argument 3 of ‘xbt_dict_set’ discard...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Fix compilation errors about "enumeration value not...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Add missing declaration.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Marion Guthmuller
model-checker : new LTL property for bugged2_liveness...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Fix format.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-10
Arnaud Giersch
Don't use printf modifier %Z. Use %z instead.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Marion Guthmuller
model-checker : add comments for the example bugged2_li...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Marion Guthmuller
model-checker : new examples for verification of livene...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
give the localisation of parse errors more accurately
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
Merge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
make sure that we won't survive a parser error in the...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
make it compile with -Werror by forcing a type casting
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
Merge branch 'master' of scm.gforge.inria.fr:/gitroot...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
improve doc of multicore in FAQ
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Navarrop
Remove test masterslave-cpu_ti-no-crosstraffic because...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Navarrop
Update option page: Write that crosstraffic is enable...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Navarrop
Add the faq to documentation because it is under versio...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Navarrop
Rename old tesh with no-crosstraffic and new like old...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-09
Martin Quinson
cosmetics in the ChangeLog
commit
|
commitdiff
|
tree
|
snapshot
2012-01-08
Lucas Schnorr
[trace] valgrind's memcheck to wipe out memory leaks...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Arnaud Giersch
Fix the order of contraints changed by previous commits:
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Arnaud Giersch
In lmm_update_modified_set, don't visit variables twice.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Arnaud Giersch
Try hard to optimize lmm_update_modified_set.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Navarrop
The variable-constraint graph is already traversed...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Arnaud Giersch
Ensure that all constraints are put in modified_constra...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Arnaud Giersch
Remove constraint from modified_constraint_set, when...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Navarrop
Rewrite script for update tesh file.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Christophe...
Keep iwannadie set instead of lying to the context...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Christophe...
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Christophe...
SIMIX: when a process is killed, remove its blocking...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Christophe...
MSG: don't keep pointers to a structure freed
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Navarrop
Add some tests for crosstraffic = 1.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-06
Christophe...
Merge branch 'smpi'
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
Christophe...
clean_fun is the function that frees the userdata of...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
Christophe...
SMPI: don't finish immediately a dsend comm.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
Christophe...
SMPI: before terminating a process, wait for its asynch...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
Christophe...
When a process leaves, no one should ever finish a...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
Christophe...
Export SIMIX_rdv_remove and fix debug messages
commit
|
commitdiff
|
tree
|
snapshot
2012-01-05
Christophe...
-0.000000 is lower than 0.0. True story.
commit
|
commitdiff
|
tree
|
snapshot
next