Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: inline a function, kill a file
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Mar 2021 13:27:04 +0000 (14:27 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 6 Mar 2021 16:03:33 +0000 (17:03 +0100)
commitdc6b95dec8c8c9c6f6aba852061d2e469c21aca1
treef1a18a3d54259e4296c14490e17a7202709da490
parent589ff6c6a4607393e259f7c703a06bed216f213d
MC: inline a function, kill a file
16 files changed:
MANIFEST.in
src/mc/api.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/compare.cpp
src/mc/mc_global.cpp
src/mc/mc_record.cpp
src/mc/mc_request.cpp
src/mc/mc_smx.cpp
src/mc/mc_smx.hpp [deleted file]
src/mc/remote/AppSide.cpp
src/mc/remote/RemoteSimulation.cpp
src/mc/sosp/Region.cpp
src/mc/sosp/Snapshot.cpp
tools/cmake/DefinePackages.cmake