Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
More automatic memory mgmt in MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 12:09:03 +0000 (14:09 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 27 Apr 2023 13:49:14 +0000 (15:49 +0200)
commit75c4f9295f59dab2c9085c966c769196997b6c93
tree42d09ff0d673abf749d40c370f905b227d4c4d82
parent4436a8d7307514469bb78664ea83359da0d57b4a
More automatic memory mgmt in MC
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/UdporChecker.cpp