Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Flag state hashing (model-check/hash) as experimental
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 21 Mar 2014 11:50:58 +0000 (12:50 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 21 Mar 2014 11:50:58 +0000 (12:50 +0100)
commit77ad7d74e9c7c82e4338596278600b18bb87b3e3
tree239105153f01f0b6c1770bc04ad6874042f3cd7a
parentf2df13795e01302813a6aef10825ec7e922ce530
[mc] Flag state hashing (model-check/hash) as experimental
src/simgrid/sg_config.c