Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove option model-checker/hash; This is always activated now.
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 10 Jul 2019 14:43:31 +0000 (16:43 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 10 Jul 2019 14:44:48 +0000 (16:44 +0200)
commitf96797fbc8f3a5f6b0d26fbf899ff25a75323f56
tree32fd9cafb4ec7b161ba053a8503c554203a8d396
parenteb92e377b2afbcdaae55d0819b5c226091d25d49
Remove option model-checker/hash; This is always activated now.
ChangeLog
docs/source/Configuring_SimGrid.rst
src/mc/compare.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/sosp/Snapshot.cpp