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
2013-08-21
Arnaud Legrand
Move variable to where it belongs.
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
typo--
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
Get rid of nasty utf8 spaces that annoy latex.
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
Rulebased is dead some time ago.
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
Typos
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
Peers should be within an AS if we want this constructi...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
Allow to disable simgrid cleanups at exit from command...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
typo--
commit
|
commitdiff
|
tree
|
snapshot
2013-08-21
Arnaud Legrand
Typo--
commit
|
commitdiff
|
tree
|
snapshot
2013-08-19
Pierre Veyre
Add MSG_storages_as_dynar function
commit
|
commitdiff
|
tree
|
snapshot
2013-08-19
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
increase timeout
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
model-checker : else if instead of if{} if{}
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
model-checker : init equal_to in mmalloc info
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
model-checker : memory free and cleanup
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
model-checker : update SMPI bugged mutual exclusion...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
model-checker : update MSG bugged mutual exclusion...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Marion Guthmuller
model-checker : stop stack comparison before the contex...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-14
Pierre Veyre
prepare MSG_storages_as_dynar function
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Marion Guthmuller
model-checker : fix dot output for liveness MC
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Marion Guthmuller
model-checker : fix error compilation without MC
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Marion Guthmuller
model-checker : remove binary
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Marion Guthmuller
model-checker : create mc directory in smpi examples...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Marion Guthmuller
model-checker : ignore in_use in s_smpi_mpi_datatype
commit
|
commitdiff
|
tree
|
snapshot
2013-08-13
Marion Guthmuller
model-checker : fix ignore mechanism
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : ignore smpi timer
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
get size of struct s_xbt_os_timer
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : fix ignore global variable
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : remove unused variable
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : add debug message
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
init ret_val (MC compliant)
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : fix MC init in smpi_main
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : fix comparison of local variables
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : initialize equal_to in mmalloc heapinfo
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
|
snapshot
2013-08-12
Marion Guthmuller
model-checker : extend ignore mechanism with new user...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-11
Marion Guthmuller
model-checker : remove fprintf -> XBT_DEBUG
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : update tesh
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : update chord example for exhaustive...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : udpate debug information
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : fix DPOR with visited states reduction
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : add min and max values for MC_RANDOM...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : rename MC_max_depth(int prop) -> MC_cut()
commit
|
commitdiff
|
tree
|
snapshot
2013-08-10
Marion Guthmuller
model-checker : fix dot_output with DPOR
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
document SD_config
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
start to design a test for storage management in SimDag...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
Simdag users may also want to change SimGrid configurat...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
at least give an existing model as example ...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
add a SD_workstation_storage_get_list as a first try...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
small simplification
commit
|
commitdiff
|
tree
|
snapshot
2013-08-09
suter
add new simdag function upon user request.
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
update the other tesh for chord example
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
disable random lookup in Chord (tesh examples fail)
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
update chord.tesh
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : update CMakeLists
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : remove dead file
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : remove duplicated example chord
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
implement check_predecessor and random_lookup (periodic...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : remove obsolete examples
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : remove dead code
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : new primitive MC_max_depth, to define...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : update tesh files
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : fix DPOR with timeout
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : include simcall number in request_to_string
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : snapshot comparison with the types...
commit
|
commitdiff
|
tree
|
snapshot
2013-08-05
Marion Guthmuller
model-checker : comparison of number of processes and...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-24
Augustin Degomme
exclude tests, don't include them.
commit
|
commitdiff
|
tree
|
snapshot
2013-07-24
Augustin Degomme
Add simple autotuning selector for collectives
commit
|
commitdiff
|
tree
|
snapshot
2013-07-24
Augustin Degomme
generate unique names, but easier for debug
commit
|
commitdiff
|
tree
|
snapshot
2013-07-24
Augustin Degomme
deactivate f90 tests with MC, which caused problems
commit
|
commitdiff
|
tree
|
snapshot
2013-07-24
Augustin Degomme
one of the two ci configurations kept failing, attempt...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-18
Augustin Degomme
remove now useless debug messages
commit
|
commitdiff
|
tree
|
snapshot
2013-07-18
Augustin Degomme
Set MPI_Request to MPI_REQUEST_NULL whenever a call...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-18
Augustin Degomme
guard against potential segfault when used before initi...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-18
Augustin Degomme
add an include to please ci
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
changelog update
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
fix behavior of MPI_STATUS_IGNORE and MPI_STATUSES_IGNO...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
typo + compile without fortran
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
smpif90 changes (force gfortran for now), replace ...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
add fortran 90 tests
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
Fix potential segfault
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
add one binding
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Augustin Degomme
fix behavior of waitany
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
suter
oups forgot to describe new parameter
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
suter
don't allow java to attach user data to file (for now...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
suter
update examples with new prototype for open
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
suter
Allow users to attach arbitrary data to opened files
commit
|
commitdiff
|
tree
|
snapshot
2013-07-17
Pierre Veyre
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
degomme
remove f77 attr tests
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
missing file
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
only use MPI_SOURCE when necessary
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
switch cmake variable names
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
cmakelists cleanup
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
Add (some) mpich3 f77 tests
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
have smpiff work on temporary file copies
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
correct a few mistakes with waitall, waitany, wait
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
make fortran new bindings almost functional
commit
|
commitdiff
|
tree
|
snapshot
2013-07-16
Augustin Degomme
add two more functions
commit
|
commitdiff
|
tree
|
snapshot
next