Built foundation for activation literal management in PDR - #52

Open

michael-zhang-lambda wants to merge 14 commits into

cucapra:mainfrom

michael-zhang-lambda:feature/add-act-lit-scope-pool

Commits on Aug 25, 2026

remove activation literal usage from places where it did not exist before
michael-zhang-lambda
committed
e79ffac
remove unsat assumptions support for yices2 due to loss of activation literals for compound expressions in pdr
michael-zhang-lambda
committed
30b1059
disabled check-assuming calls for yices2
michael-zhang-lambda
committed
ac4337f
restore original bmc code
michael-zhang-lambda
committed
8f3c3d0
remove default definition for supports_check_assuming_exprs from SolverMetaData trait
michael-zhang-lambda
committed
6024fbf

Commits on Aug 28, 2026

replaced manual activation literal creation with step_lit_act in BasePdr::init
michael-zhang-lambda
committed
b341c83