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-20
Christophe...
Surf: also parallelize update_actions_state() of models
commit
|
commitdiff
|
tree
|
snapshot
2012-01-20
Christophe...
Add an option --cfg=surf/nthreads:N to update Surf...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-20
Christophe...
Surf: allow to call share_resources in parallel (never...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-20
Christophe...
Parmap: add a value XBT_PARMAP_DEFAULT that decides...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
navarro
Remove old MSG_set_channel_number from examples.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Christophe...
Fix SIMIX_post_io. For now SIMIX_req_file_read makes...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
navarro
Starting simix mecanism for io.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Christophe...
A for was a bit too much here. It should be readable...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Arnaud Giersch
Use %zu to format a sizeof value.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Arnaud Giersch
Don't turn warnings about clobbered variables into...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Arnaud Giersch
Enable warnings iff enable_compile_warnings=ON.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Arnaud Giersch
Inline test_all() in masterslave_mailbox.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
navarro
Add mm.c to fragile sources
commit
|
commitdiff
|
tree
|
snapshot
2012-01-19
Marion Guthmuller
unused example chord_stateful removed
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Completely remove channel mecanism with tesh tested...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Put XBT_WARN when try to use channel and not alias...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Also display some information when procname is NULL
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Revert "Fix segfault when using XBT_... and when proces...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
Arnaud Giersch
Don't crash with NULL procname.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
Arnaud Giersch
AFAICS, there is no problem with e.msg.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
Arnaud Giersch
Cosmetics: fix indentation.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Fix segfault when using XBT_... and when process have...
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Implement SIMIX_process_from_PID
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Factorize functions for smpi factor.
commit
|
commitdiff
|
tree
|
snapshot
2012-01-17
navarro
Fix some memory leak.
commit
|
commitdiff
|
tree
|
snapshot
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
next