Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename some files
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 May 2019 21:58:11 +0000 (23:58 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 May 2019 21:58:11 +0000 (23:58 +0200)
commitd574355c7629f9f18b0667c69bfb0f1695b7b3b6
tree73b1d4c28bfb500f03ee2c4eb0e4d6e41c59516e
parent61cb4e2573cc8a606e2e09cfb97a8546db50530d
MC: rename some files
13 files changed:
src/mc/VisitedState.hpp
src/mc/compare.cpp
src/mc/mc_global.cpp
src/mc/mc_hash.cpp
src/mc/mc_state.hpp
src/mc/remote/RemoteClient.cpp
src/mc/sosp/Region.cpp [moved from src/mc/sosp/RegionSnapshot.cpp with 97% similarity]
src/mc/sosp/Region.hpp [moved from src/mc/sosp/RegionSnapshot.hpp with 87% similarity]
src/mc/sosp/Snapshot.cpp [moved from src/mc/sosp/mc_snapshot.cpp with 97% similarity]
src/mc/sosp/Snapshot.hpp [moved from src/mc/sosp/mc_snapshot.hpp with 91% similarity]
src/mc/sosp/Snapshot_test.cpp [moved from src/mc/sosp/mc_snapshot_test.cpp with 99% similarity]
tools/cmake/DefinePackages.cmake
tools/cmake/Tests.cmake