SMT2 parser with explicit work stack#9040

Draft

tautschnig wants to merge 7 commits into

diffblue:developfrom

tautschnig:smt2-rework

Commits on Jun 17, 2026

SMT2 parser: parse nested let and operand chains iteratively

tautschnig
and
kiro-agent
committed
regression/smt2_solver: deep nested-let and operand-chain tests

tautschnig
and
kiro-agent
committed
smt2_solver: iterate over operands in expand_function_applications

tautschnig
and
kiro-agent
committed
Optimize replace_symbolt: skip have_to_replace pre-check for symbols

tautschnig
and
kiro-agent
committed
util: make irept destruction depth-safe without recursion

tautschnig
and
kiro-agent
committed
solvers/flattening: prime bv_cache for deep bitwise chains (prototype)

tautschnig
and
kiro-agent
committed
solvers/flattening: iterative convert_let for deep let-chains

tautschnig
and
kiro-agent
committed