A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
model-checker : free memory
2013-01-11
Paul Bédaride
Fix lua tesh and remove msg_lua_masterslave test
commit
|
commitdiff
|
tree
2013-01-08
Paul Bédaride
Fix lua deploy
commit
|
commitdiff
|
tree
2013-01-08
Paul Bédaride
Fix lua platform script
commit
|
commitdiff
|
tree
2012-12-21
Paul Bédaride
Revert "make MSG_comm_waitany use dynar"
commit
|
commitdiff
|
tree
2012-12-20
Paul Bédaride
make MSG_comm_waitany use dynar
commit
|
commitdiff
|
tree
2012-12-20
Paul Bédaride
Move module tracing into corresponding modules
commit
|
commitdiff
|
tree
2012-12-18
Paul Bédaride
Fix _sg_do_model_check use with model_check=OFF
commit
|
commitdiff
|
tree
2012-12-18
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-12-17
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-12-17
Paul Bédaride
Restructure config headers
commit
|
commitdiff
|
tree
2012-12-17
Paul Bédaride
Fix model checker config issue
commit
|
commitdiff
|
tree
2012-12-17
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-12-17
Paul Bédaride
Move config from surf to simgrid
commit
|
commitdiff
|
tree
2012-12-12
Paul Bédaride
Add ctest2junit.xsl for jenkins
commit
|
commitdiff
|
tree
2012-12-06
Paul Bédaride
Merge branch 'master' of git+ssh://scm.gforge.inria...
commit
|
commitdiff
|
tree
2012-12-06
Paul Bédaride
Add ModelChecker build type
commit
|
commitdiff
|
tree