Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove option 'model-check/record': paths are recorded in any cases
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 12:49:34 +0000 (14:49 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 20:13:02 +0000 (22:13 +0200)
commitade29f42563cdc36cea26a7dd51fca288c160aa6
tree25c740c8a22efcd80871681cd0d397324fc365b1
parent603a2971cfa9ec8a4fd4493b74c5680956828423
Remove option 'model-check/record': paths are recorded in any cases
ChangeLog
docs/source/Configuring_SimGrid.rst
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_record.cpp
src/mc/mc_record.hpp