Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetics
[simgrid.git] / src / simgrid /
2013-03-08 Arnaud GierschCosmetics: add space before opening parenthesis.
2013-02-12 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2013-02-11 Augustin Degommeadd an smpi/ois factor, to account for the fact that...
2013-02-11 Augustin Degommeadd option to set the threshold where smpi send stops...
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2013-01-17 Arnaud GierschMerge branch 'master' into vmtrace
2013-01-16 Jonathan Rouzaud... Merge with master
2013-01-16 Augustin Degommeadd smpi/os and smpi/or parameters to handle timings...
2013-01-08 Arnaud GierschFix build with tracing=OFF.
2013-01-08 Arnaud GierschAvoid to put smpi symbols in libsimgrid.
2012-12-24 Martin Quinsonacknoledge that the default value is set in network...
2012-12-20 Paul BédarideMove module tracing into corresponding modules
2012-12-18 Paul BédarideFix _sg_do_model_check use with model_check=OFF
2012-12-18 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideRestructure config headers
2012-12-17 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-12-17 Paul BédarideMove config from surf to simgrid