Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add Execution concept without ExecutionViews
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 2 May 2023 06:58:21 +0000 (08:58 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 12 May 2023 13:58:22 +0000 (15:58 +0200)
commita05b37852a57f94f75cbd4da7dc9e75a88a69f35
tree79453cac257a3e39d87ba4eae50f44ca4bb26a9a
parent44e1f8ffa8fa357d84dd73e136fe3f4497980ef8
Add Execution concept without ExecutionViews

The Execution is the key concept in ODPOR
and SDPOR for generating new traces. Executions
for the basis off of which new search paths are
created
MANIFEST.in
src/mc/explo/odpor/Execution.cpp [new file with mode: 0644]
src/mc/explo/odpor/Execution.hpp
src/mc/explo/odpor/odpor_forward.hpp [new file with mode: 0644]
tools/cmake/DefinePackages.cmake