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-11-25
Martin Quinson
plug a (damn) memleak. Gosh, this one was hard to get...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-25
Martin Quinson
plug a memleak in that example
commit
|
commitdiff
|
tree
|
snapshot
2012-11-25
Martin Quinson
Remove all traces of chord_before_dsend
commit
|
commitdiff
|
tree
|
snapshot
2012-11-25
Martin Quinson
further eradicate all traces of GRAS existance
commit
|
commitdiff
|
tree
|
snapshot
2012-11-25
Martin Quinson
don't polute my disk with your crappy test files
commit
|
commitdiff
|
tree
|
snapshot
2012-11-24
Martin Quinson
document one of the major change of the upcoming release
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Remove doc items about gras.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
These files are automatically regenerated at another...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Remove deprecated figures.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Remove old pictures.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Remove binary file!
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Remove fixme comment.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Log priorities were renamed a long time ago.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Eradicate gras further.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Merge XBT_SG_SRC with XBT_SRC, and fix make dist.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Re-add file (wrongly removed).
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Augustin Degomme
fix distcheck to handle mpich-test
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Merge branch 'killgraskill'
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Update ChangeLog.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Fix make dist.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Finalize coverage for swag.c.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Kill more references to GRAS.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
This hack is not needed since gras is killed.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Rename gras_config to internal_config.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Kill xbt_dynar_dopar().
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Use real threads for xbt_dynar_dopar.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Revert "use MSG_init instead of xbt_init since someone...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Arnaud Giersch
Move check at another place where it doesn't break...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-23
Martin Quinson
try to fix 'make dist' after GRAS murder (SMPI test...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
adapt the links of this figure to the fact that the...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
remove GRAS and AMOK from the module picture
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
further remove GRAS and friends (from the doxygen confi...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
useless cosmetic
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
comments, debugs and other minor glitches
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
use OS threads and not simix ones to run the test in...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
a public xbt header wasnt included from xbt.h
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
ignore some of the recently added generated files
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
these examples were moved as tesh tests
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
kill synchronized dynars: we don't need them and they...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
use MSG_init instead of xbt_init since someone wrongly...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
how did that cruft manage to live that long?
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
suter
typo--
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
suter
some things do not have to be done by each process
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
We want host name here, not process name.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Remove further references to gras in buildtools/.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Remove references to amok in builtools/.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
These tests don't exist anymore.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
xbt/time.h dows not exist anymore.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Link against simgrid instead of gras.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Use xbt_os_time() instead of gras_os_time().
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Remove more references to gras.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Add missing files to build.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Define xbt_os_procname().
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
xbt_trp and xbt_datadesc were removed.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Make tesh build (?).
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Kill gras_modinter.h.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Arnaud Giersch
Log category gras_trp_sg does not exist anymore.
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
suter
remove some leaks in verbose replay
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
first try at killing GRAS -- does not compile yet
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
remove gras from the main documentation
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Martin Quinson
merge changes: modify GRAS vs. kill GRAS, kill wins
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
paul bedaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
paul bedaride
Change links in doc
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Marion Guthmuller
model-checker : increase timeout in tesh chord_neverjoin
commit
|
commitdiff
|
tree
|
snapshot
2012-11-22
Marion Guthmuller
model-checker : increase timeout in tesh snapshot_compa...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Augustin Degomme
secure the stack size parameter for thread,
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Augustin Degomme
there was a mistake that prevented examples dir from...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Augustin Degomme
Switch some globals to DATA, this shouldn't change...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Augustin Degomme
seriously ...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Marion Guthmuller
model-checker: take snapshot if property file set
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Martin Quinson
s/lastest/latest/ (stupid me)
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Marion Guthmuller
model-checker : abort if acceptance cycle detected
commit
|
commitdiff
|
tree
|
snapshot
2012-11-21
Marion Guthmuller
model-checker : remove automatic activation of MC if...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : new tesh for snapshot comparison tests
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : rename cfg flag for state comparison...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : use xbt_cfg_setdefault instead of defau...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : ignore coverage variables
commit
|
commitdiff
|
tree
|
snapshot
2012-11-20
Marion Guthmuller
model-checker : abort if popen failed
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Marion Guthmuller
model-checker : fix compilation error (with optimizatio...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Martin Quinson
add the TLA specification of the simix network layer...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-19
Martin Quinson
attempt to get everything properly cleaned when only...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : add tesh for bugged1_liveness and chord...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : fix insertion in mc_data_bss_comparion
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : ignore some variables enabled with...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : improve stack ignore in heap comparison...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-18
Marion Guthmuller
model-checker : stateful mode disabled by default
commit
|
commitdiff
|
tree
|
snapshot
2012-11-17
Marion Guthmuller
model-checker : stop independance reduction if same...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : ignore new local variable
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : use XBT_DEBUG instead of XBT_INFO
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : MC_init() must be called for initial...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
model-checker : fix dpor algorithm
commit
|
commitdiff
|
tree
|
snapshot
2012-11-16
Marion Guthmuller
forget to apply cleanups in MC on SMPI (separate MC_mod...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : factorize code for safety and liveness...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : fix dependance theorem according to...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : warning message if max depth is reached
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : memory free
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : cleanups in verification of current...
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : comparison times are NULL for visited_pair
commit
|
commitdiff
|
tree
|
snapshot
2012-11-15
Marion Guthmuller
model-checker : fix segfault in get_local_variables_val...
commit
|
commitdiff
|
tree
|
snapshot
next