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-03-27
Martin Quinson
fix for windows -- not sure if it's still mandatory...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Arnaud Giersch
Fix various build errors.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Arnaud Giersch
Reindent files before changes.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Arnaud Giersch
Missing include.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Marion Guthmuller
model-checker : variable declaration deleted with a...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Marion Guthmuller
model-checker : add variable deleted before to resolve...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Marion Guthmuller
model-checker : ignore variable about time used with...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Marion Guthmuller
model-checker : if acceptance cycle is detected, get...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Marion Guthmuller
model-checker : last fix in DPOR algorithm if max depth...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Marion Guthmuller
model-checker : update bugged1 tesh
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Martin Quinson
documentation cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Martin Quinson
fix some simple errors in the commit of Paul (not enoug...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Martin Quinson
rework the SMPI documentation quite a bit
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Martin Quinson
split SMPI documentation into a specific file (no real...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Jonathan Rouzaud...
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Jonathan Rouzaud...
Fix sendBounded java binding
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Paul Bédaride
Add colls.h to DefinePackages
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-25
Paul Bédaride
Add alltoall collectives from starmpi
commit
|
commitdiff
|
tree
|
snapshot
2013-03-21
Arnaud Giersch
Dumb commit: kill empty line.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-21
Arnaud Giersch
Kill unused variable.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-21
Marion Guthmuller
model-checker : use xbt_free_f instead of a new functio...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-21
Marion Guthmuller
model-checker : fix soundness of DPOR algorithm if...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Arnaud Giersch
Also link with platform independent libunwind.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Arnaud Giersch
Initialize variables.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Arnaud Giersch
Generated file has changed.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Arnaud Giersch
Add missing declarations.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : update tesh
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : order reached_pairs by number of proces...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : free memory
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : fragment size and fragment number may...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Jonathan Rouzaud...
Add receive bounded to the java binding
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : store heap_bytes_used and number of...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : update tesh (according to previous...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : cleanups
commit
|
commitdiff
|
tree
|
snapshot
2013-03-19
Marion Guthmuller
model-checker : code refactoring for get_hash_global
commit
|
commitdiff
|
tree
|
snapshot
2013-03-18
Nicolas Bonichon
Fix msg-bittorrent's problem of incompletion
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : update msg chord example for the verifi...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : fix tesh (different local deployment...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : fix dpor
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : fix compilation error without MC
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
update tesh
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : update tesh
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : code refactoring for heap comparison...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : add state equality reduction in ddfs...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : get current backtrace with libunwind...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : code refactoring
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : ignore mc_time for heap comparison...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : improve debug message
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : new model-checker configuration model...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : return state number if the current...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : fix MC_RANDOM simcall
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : remove obsolete example
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : set ignore flag to 0 if reallocation
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : minor changes for debug information...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : check if fragment or block has been...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : remove local variable only if frame...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : remove static function
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : get hash of local and global variables...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : ignore running context of processes...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : use short instead of int for ignore...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : init ignore information for each block...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : remove commentated declaration of funct...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : remove variable from mc_local_variables...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : fix memory leak
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : cleanups in mc_snapshot structure
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : new simcall MC_RANDOM
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : fix memory leak
commit
|
commitdiff
|
tree
|
snapshot
2013-03-16
Marion Guthmuller
model-checker : get instruction pointer and frame name...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-10
Arnaud Giersch
Avoid to run the smpirun script through valgrind on...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-10
Arnaud Giersch
Add new option to smpirun, for running valgrind/gdb...
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Arnaud Giersch
Improve the printing of default values when size != 1.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-08
Arnaud Giersch
Cosmetics: add space before opening parenthesis.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Arnaud Giersch
Check return code, and report errors.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Arnaud Giersch
Use simple arrays, instead of dynars.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-06
Arnaud Giersch
Really copy only when recvbuf != sendbuf.
commit
|
commitdiff
|
tree
|
snapshot
2013-03-01
Lucas Schnorr
[doc] general update on tracing doc
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Arnaud Giersch
Define missing function.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Arnaud Giersch
Remove useless statements.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Arnaud Giersch
Try to fix const madness.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Arnaud Giersch
Fix memory leaks in smpi.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-21
Arnaud Giersch
Extend smpi_register_static to accept any free function.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Arnaud Giersch
Fix a few more memory leaks.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Arnaud Giersch
Avoid to export internal variables.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Arnaud Giersch
Free timer after it's been used.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Arnaud Giersch
Use splitted xml files, and avoid memory leaks in the...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Arnaud Giersch
Split the xml file, and destroy task, to fix memory...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-20
Arnaud Giersch
Fix a few memory leaks.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
remove forgotten debug println
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
Java didn't report the same OS name as Cmake for Window...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
change an include, to avoid linking from simgrid to...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
change name of the real executed main function to a...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
add smpi to windows installer
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
force lib names to stop changing when activating smpi...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Augustin Degomme
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2013-02-19
Arnaud Giersch
Use correct log category.
commit
|
commitdiff
|
tree
|
snapshot
2013-02-18
Arnaud Giersch
File was removed.
commit
|
commitdiff
|
tree
|
snapshot
next