Make the strategy cost structure explicit - #3904

Merged

wadoon merged 11 commits into

mainfrom

bubel/strategy-cost-cleanup

Aug 17, 2026

Commits on Aug 13, 2026

Step 2 (checkpoint): FOLStrategy costs via CostBand + FOLCost

unp1
authored and
wadoon
committed
7885fbe
Step 2 (checkpoint): IntegerStrategy costs via CostBand + IntegerArithmeticCosts

unp1
authored and
wadoon
committed
0bc232d
Step 2 (checkpoint): SymExStrategy costs via CostBand + SymExCost

unp1
authored and
wadoon
committed
3a66fc3
Step 2 (checkpoint): StringStrategy costs via CostBand + StringCost

unp1
authored and
wadoon
committed
167ed2f
Step 2 (checkpoint): JavaCardDLStrategy costs via CostBand + holders

unp1
authored and
wadoon
committed
091391c
Step 2 (consolidation): CombinationCost + naming/structure alignment

unp1
authored and
wadoon
committed
c841740
Step 2 (readability): static-import theory-local costs; APPLY_EQ rename

unp1
authored and
wadoon
committed
c2beb4b
CostBand: cost()/at() return a constant Feature; document layer relation

unp1
authored and
wadoon
committed
51a0458

Commits on Aug 17, 2026

Fix compilation error and move SymEx specific constants to SymExCost
Drodt
committed
d147629
Merge branch 'main' into bubel/strategy-cost-cleanup
Drodt
committed
b187b64
Integrate set into new structure
Drodt
committed
a1139a1