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-06-13
Marion Guthmuller
model-checker : remove binary name as argument of some...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-13
Marion Guthmuller
model-checker : print statistics in all cases (property...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Marion Guthmuller
model-checker : comment unused statistics information
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Marion Guthmuller
model-checker : warnings compilation fixed
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Marion Guthmuller
fix merge conflict
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Marion Guthmuller
model-checker : fix number and address of blocks in...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Arnaud Giersch
Missing include.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Arnaud Giersch
Use XBT_PUBLIC for exported functions.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Arnaud Giersch
Define variables in C file.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Arnaud Giersch
Declare exported functions in header.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
Arnaud Giersch
Fix compilation errors about unused or uninitialized...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-12
jbrv
change a function name that I forgot to change
commit
|
commitdiff
|
tree
|
snapshot
2012-06-11
jbrv
Trace manager : add a function to generate values from...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-11
jbrv
Trace manager : Add and change some structures and...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-11
Marion Guthmuller
model-checker : remove useless memcmp in heap compariso...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-11
jbrv
Add a function to copy a RngStream structure
commit
|
commitdiff
|
tree
|
snapshot
2012-06-11
jbrv
Move XBT hash functions to xbt_str.c and make them...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-11
Stephane Genaud
gcc defines __APPLE__, use this instead APPLE
commit
|
commitdiff
|
tree
|
snapshot
2012-06-09
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-09
Marion Guthmuller
model-checker : heap comparison algorithm rewrited
commit
|
commitdiff
|
tree
|
snapshot
2012-06-08
jbrv
Add new functions to support different sources of avaib...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-08
jbrv
Modify structures to support different sources of avaib...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-08
suter
First step to move trace replay from MSG towards SMPI
commit
|
commitdiff
|
tree
|
snapshot
2012-06-08
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-08
jbrv
Changed masterslave with failures test platform
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
schnorr
[trace] paje header changed, update tesh
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
schnorr
[trace] paje file format has evolved with a new event...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Arnaud Giersch
Whitespace etc. (take #3).
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Arnaud Giersch
Fix Doxygen error.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Arnaud Giersch
Update Doxyfile with doxygen -u.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
navarro
Update doc to inform which gcc or clang to use.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
pierre
Hack to compile smpi on Mac (but need to fix;)
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Arnaud Giersch
More whitespace cleanup.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
navarro
Update doc for install section.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
navarro
Update Changelog for MAC and Win package
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Arnaud Giersch
Cosmetics: whitespace cleanup.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Arnaud Giersch
Add a word about Debian/Hurd in Changelog.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Martin Quinson
prepare the ChangeLog and NEWS files for the upcoming...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
Martin Quinson
a word on installing onto Mac OSX systems
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
pierre
Try to put script before and after install simgrid...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-07
pierre
Update script for iceberg
commit
|
commitdiff
|
tree
|
snapshot
2012-06-06
Marion Guthmuller
typos in message of backtrace display (where malloced...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-06
schnorr
[trace] viva graph configuration (same as for triva...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-06
schnorr
[trace] launch an exception if user provided an unknown...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-05
Christophe...
The usual typo.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-05
Martin Quinson
avoid double free issues when on host failure+process run
commit
|
commitdiff
|
tree
|
snapshot
2012-06-05
Martin Quinson
Bug fixes around the resource failures in Simix
commit
|
commitdiff
|
tree
|
snapshot
2012-06-05
Martin Quinson
do not hide issues
commit
|
commitdiff
|
tree
|
snapshot
2012-06-04
Arnaud Giersch
Declare as "unsigned" bit fields used as boolean.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-04
Arnaud Giersch
Cosmetics: align comment.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-04
Arnaud Giersch
Add missing includes.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-04
Christophe...
A boolean should be unsigned if you want to compare...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-03
Marion Guthmuller
model-checker : XBT_DEBUG replaced by XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-06-03
Marion Guthmuller
model-checker : new properties in promela for centraliz...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-03
Marion Guthmuller
model-checker : new examples
commit
|
commitdiff
|
tree
|
snapshot
2012-06-03
Marion Guthmuller
model-checker : free pointers
commit
|
commitdiff
|
tree
|
snapshot
2012-06-03
Marion Guthmuller
model-checker : free pointers
commit
|
commitdiff
|
tree
|
snapshot
2012-06-03
Marion Guthmuller
model-checker : initialize pointer and update indice...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-02
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-02
Marion Guthmuller
model-checker : free pointer
commit
|
commitdiff
|
tree
|
snapshot
2012-06-02
Marion Guthmuller
model-checker : initialize pointers (segfault with...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-02
Marion Guthmuller
model-checker : add pair's number in struct mc_pair_rea...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-02
Marion Guthmuller
model-checker : free pointers
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
Arnaud Giersch
Undefine this terms, or supernovae build will fail.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
Arnaud Giersch
memcheck_tests: regenerate.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
Marion Guthmuller
model-checker : oops, about 3000 blocks unchecked in...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
Marion Guthmuller
model-checker : first work for canonicalisation (get...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
Arnaud Giersch
Use XBT_PARMAP_DEFAULT as default SIMIX parallel mode.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
navarro
Use default value core, state host value if empty
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
navarro
Missing routing callback and creation of SIMIx and...
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
Arnaud Giersch
Don't run tests if facility not available.
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
unknown
Functions RngStream must be XBT_PUBLIC for dll
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
unknown
Declare nonfatal java in the package
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
unknown
Cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
unknown
Add missing files to install on WIn
commit
|
commitdiff
|
tree
|
snapshot
2012-06-01
unknown
Fix compilation on Windows with pthread.
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
Arnaud Giersch
Use the correct variable to check for working ucontexts...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
Christophe...
Lua: fix an indentation bug in debug logs (the stack...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
Arnaud Giersch
Don't lie about VCS.
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
Arnaud Giersch
Also remove reference to variable ARGS in generate_memc...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
Arnaud Giersch
Remove usage of environment variable ARGS in tesh files.
commit
|
commitdiff
|
tree
|
snapshot
2012-05-31
Arnaud Giersch
Revert "Don't fail when backtrace() returns 0."
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
navarro
Sorry for this.
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
navarro
Don't change doxygen typo for \dontinclude
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
Samuel Lepetit
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
Samuel Lepetit
Move RngStream to xbt (public)
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
Marion Guthmuller
model-checker : remove unused variable CS_PER_PROCESS
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
navarro
Remove custom_flags and use CFLAGS LDFLAGS
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
Martin Quinson
update FSF address (thanks to debian's paranoid robots ;)
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
navarro
Some typos in source code
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
Marion Guthmuller
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-30
navarro
Rewrite --setenv bindir
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
Martin Quinson
make it clear that this is a boolean field
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
Martin Quinson
Improve an error message
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
Martin Quinson
recommit my initial version of cloud stuff for 3.8...
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
Martin Quinson
document Pierre's last change (thx for your work, pierre)
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
navarro
Must have init MSG/SD/GRAS before using mutex
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
navarro
Cosmetics
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
Marion Guthmuller
model-checker : replace all XBT_DEBUG by XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-05-29
navarro
Remove wrong copy past
commit
|
commitdiff
|
tree
|
snapshot
next