Design preparation for native semantics#44

Open

vmatare wants to merge 33 commits intomasterfrom vmatare/native-semantics

+4,040-1,434

Commits on Mar 19, 2023

add native semantics (WIP)

vmatare
authored and
Victor Mataré
committed
cmake: fix native semantics integration

vmatare
authored and
Victor Mataré
committed
cmake: rename NATIVE_IMPL -> NATIVE_SEMANTICS

vmatare
authored and
Victor Mataré
committed
model: cleanup old/unused code
Victor Mataré
committed
model: refactor semantics interface
Victor Mataré
committed
ReadylogSemantics: adapt to changed semantics interface
Victor Mataré
committed
execution: minor infrastructure for native semantics
Victor Mataré
committed
platform: adapt Taptenc semantics to interface changes
Victor Mataré
committed
semantics: adapt native semantics to new interface
Victor Mataré
committed
plan: fix max_reward(...) signature
Victor Mataré
committed
move ExecutionController::run() into ReadylogContext
Victor Mataré
committed
move Transition semantics impl to ReadylogSemantics
Victor Mataré
committed
model: redesign event architecture
Victor Mataré
committed
model: clarify copyability of elements & semantics
Victor Mataré
committed
model: fix Reference inheritance
Victor Mataré
committed
execution: fix copying & instantiation of semantics
Victor Mataré
committed
parser: silence boost::phoenix deprecated header warnings
Victor Mataré
committed
readylog: adapt to changed Reference interface
Victor Mataré
committed
cmake: remove gcc-specific compiler flags
Victor Mataré
committed
fix reference ExprT inheritance
Victor Mataré
committed
taptenc: Adapt to new Refernce interface
Victor Mataré
committed
rename list_expression.* -> list.*
Victor Mataré
committed
move list-related code into list.*
Victor Mataré
committed
rename compound_expression.* -> compound.*
Victor Mataré
committed
move FieldAccess stuff into compound.*
Victor Mataré
committed

Commits on Mar 26, 2023

readylog: cleanup PL code search logic
Victor Mataré
committed
workflow: enable gpp tests
vmatare
authored

Commits on Mar 27, 2023