Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move UDPOR constructs out of udpor_global.cpp
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 14 Feb 2023 13:53:44 +0000 (14:53 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 09:43:53 +0000 (10:43 +0100)
commita123c47d727be0441ca0702d10a3ef63437deca7
tree52259f32d7c4ab9df57af1e981c48d8b935e1279
parentd98ea8fb0db773425a54d615fb6236e905b2e9e1
Move UDPOR constructs out of udpor_global.cpp

The udpor_global.hpp/cpp have been removed in
favor of seperate files for the primary
constructs that will be used in UDPOR. The source
files have been adjusted as necessary to allow
for a complete compilation
13 files changed:
MANIFEST.in
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/Configuration.hpp
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/StateManager.hpp
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/udpor_forward.hpp
src/mc/udpor_global.cpp [deleted file]
src/mc/udpor_global.hpp [deleted file]
tools/cmake/DefinePackages.cmake