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-07-31
Jean-Baptiste...
Platform generation : add a function to set link parameters
commit
|
commitdiff
|
tree
|
snapshot
2012-07-31
Jean-Baptiste...
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-31
Jean-Baptiste...
Platform generation : add promotion functions
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : add debug information about pointers...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : free memory
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : use bprintf instead of sprintf
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : ignore differences of pointers in ...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : cleanup for heap comparison
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : update tests for snapshot comparison
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : remove core dump for each reached pair
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Marion Guthmuller
model-checker : cleanup on mc_checkpoint
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Jean-Baptiste...
Platform generation : add the exponential topology
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Jean-Baptiste...
Platform generation : add a function to compute distanc...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-30
Jean-Baptiste...
Platform generation : add the uniform topology
commit
|
commitdiff
|
tree
|
snapshot
2012-07-27
Jean-Baptiste...
Platform generation : add the clique topology
commit
|
commitdiff
|
tree
|
snapshot
2012-07-27
Jean-Baptiste...
Platform generation : add the "ring" topology
commit
|
commitdiff
|
tree
|
snapshot
2012-07-27
Jean-Baptiste...
Platform generation : Add 2 topology setup functions
commit
|
commitdiff
|
tree
|
snapshot
2012-07-27
Jean-Baptiste...
Platform generation : Add some debug
commit
|
commitdiff
|
tree
|
snapshot
2012-07-26
Jean-Baptiste...
Platform generation : Add a function to interconnect...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-26
Jean-Baptiste...
Platform generation : modify some interface
commit
|
commitdiff
|
tree
|
snapshot
2012-07-26
Jean-Baptiste...
First step to implement a platform generator in Simgrid
commit
|
commitdiff
|
tree
|
snapshot
2012-07-25
Marion Guthmuller
model-checker : cleanups for liveness property model...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-25
Marion Guthmuller
model-checker : new heap comparison algorithm
commit
|
commitdiff
|
tree
|
snapshot
2012-07-24
Jean-Baptiste...
Add an include to avoid a compilation warning
commit
|
commitdiff
|
tree
|
snapshot
2012-07-22
Martin Quinson
Add some support to bench the sequential and parallel...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-22
Martin Quinson
useless tiny cleanups that should be done all over...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-22
Martin Quinson
New function: xbt_os_timer_resume() to restart a timer...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-19
lbobelin
documenation. Added a link to ref guide in user guide...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-19
Martin Quinson
maxmin/precision: reflect the real default value, as...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-17
Martin Quinson
regenerate the flexer files with a recent flexml, so...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-17
Martin Quinson
Fix a bug making that the simulation ran longer than...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-16
Marion Guthmuller
model-checker : #ifdef instead of #if (found by Cristia...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-16
Marion Guthmuller
model-checker : add new pair reached in raw_heap
commit
|
commitdiff
|
tree
|
snapshot
2012-07-16
Marion Guthmuller
model-checker : add new pair reached even if compare==0
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
suter
this example is simpler now
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
suter
Do the same as before to replay traces with SMPI, but...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
navarro
Update xml_files in Cmake
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
Marion Guthmuller
model-checker : remove unnecessary memset on free fragm...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
Marion Guthmuller
model-checker : comment MC_compare
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
navarro
Remove this output.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-12
navarro
Update tesh file for cabinet
commit
|
commitdiff
|
tree
|
snapshot
2012-07-11
suter
add a few (totally untested) actions.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-11
navarro
Add a tag cabinet to write new kind of cluster. See...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-11
Marion Guthmuller
model-checker : application alert for state equality...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : new recursive function for comparison...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : malloc_backtrace_display functions...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : heapinfo adresses refer to saved heap...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : remove header of unused function
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : heapinfo address in parameter of malloc...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : update example bugged1_liveness (variab...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : memset 0 on free block/fragment
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : factorization of set_pair_reached and...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : remove useless code
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : update backtrace display
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : remove unused function
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : remove unnecessary take_snapshot for...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : initialize variables
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
Marion Guthmuller
model-checker : remove useless code
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
suter
mention the SD_task_set_rate function
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
suter
finally understand how the rate works. update the examp...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-10
suter
Finally understand how the rate works. Explain it in...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
Arnaud Giersch
Fix error: overflow in implicit constant conversion...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
Arnaud Giersch
Fix fatal error: simix/simix.h: No such file or directory.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
Arnaud Giersch
Increase required width for times in tesh file.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
Arnaud Giersch
Fix kademlia example which was broken on 32bits archs.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
suter
Add a Q&D implementation of trace replay with SMPI...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
suter
Add what's missing to load traces from SMPI.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
suter
As pointed out by a user, the rate should be expressed...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
suter
no need to add "rank" to the rank (will decrease trace...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
Martin Quinson
document the upcoming change in SMPI
commit
|
commitdiff
|
tree
|
snapshot
2012-07-09
Jean-Baptiste...
Fix a mistake in the Weibull inverse distribution function
commit
|
commitdiff
|
tree
|
snapshot
2012-07-06
Arnaud Giersch
Increase timeout for test bittorrent.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Add missing files from examples for dist.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Merge variable BINDINGS_FILES into BINDINGS_SRC.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Reorder file lists in lexical order.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Stop trying to resolve real path for cmake directories.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Kill duplicated code in CMakeLists.txt.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Copying the file once is sufficient.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Create needed directories at configure time instead...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
memcheck_tests.cmake: update.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Break loop here.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Arnaud Giersch
Check if cnst->cnst_usage is NULL.
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Martin Quinson
be more verbose on explaining the expected result of...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Christophe...
Make it clear that MC is supposed to detect a counter...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Martin Quinson
regenerate the parser files with flexml 1.9.3 (thx...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
navarro
free this dynar in none_finalize (if it was used).
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
navarro
Use new tag host_link for peer. No need for router...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
Martin Quinson
typo on option name
commit
|
commitdiff
|
tree
|
snapshot
2012-07-05
navarro
Add two new tag for routing cluster (only):
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Marion Guthmuller
model-checker : use rename() instead of system(mv ..)
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Add kademlia C example
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Use xbt_dynar_foreach in cloud example
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Revalidate tesh file for cloud example
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Update cloud example to use MSG_vm_reboot. Update the...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Memory leak fix
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Add MSG_vm_reboot
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
Samuel Lepetit
Return the new process in SIMIX_process_restart, simcal...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
schnorr
fix tracing documentation
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
lbobelin
Stupid commit to get shared/doxygen directory existing...
commit
|
commitdiff
|
tree
|
snapshot
2012-07-04
lbobelin
Changed URLs to the correct one.
commit
|
commitdiff
|
tree
|
snapshot
next