Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add Unfolding data structure
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 16 Feb 2023 09:32:42 +0000 (10:32 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 09:43:53 +0000 (10:43 +0100)
commitc1f72d83295393da38a9373e6f0b0cf41f31cb4f
treedc36d1308064028780430ba50f87455a236f5b13
parent5330e3a7b025e4c552747ff0456653a65341f7f7
Add Unfolding data structure

The Unfolding data structure is used to
house all of the events UDPOR needs to maintain
as it searches through the unfolding. The
Unfolding may eventually also be used to store
and maintain state, although this technically
only needs to be delegated to the checker itself
as it performs its exploration
MANIFEST.in
src/mc/explo/udpor/Unfolding.cpp [new file with mode: 0644]
src/mc/explo/udpor/Unfolding.hpp [new file with mode: 0644]
tools/cmake/DefinePackages.cmake