Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2cd7794) | patch
[mc] Marh the model-check/snapshot_fds option as disabled
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 26 May 2015 14:04:47 +0000 (16:04 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 9 Jun 2015 07:59:09 +0000 (09:59 +0200)
commit651127b961f79604ed807f1c580ee5e96b13165f
treeddea28bc950269357ce32bf07ac8882b7dd70785tree | snapshot
parent2cd779436d49dabd1bcf6162a19c96f66d8cd7c8commit | diff
[mc] Marh the model-check/snapshot_fds option as disabled

We need to bring it back in the new MC model.
doc/doxygen/options.doc diff | blob | history
src/simgrid/sg_config.c diff | blob | history
Clone of SimGrid repository with local patches