SMT2 parser with explicit stack#8415

Draft

kroening wants to merge 8 commits into

smt2_parser_with_stack

Commits on May 6, 2026

smt2irep with tokenizer

kroening
authored and
tautschnig
committed
SMT2 parser: extract function_application_with_id

tautschnig
and
kiro-agent
committed
SMT2 parser: collect nested 'let's iteratively

tautschnig
and
kiro-agent
committed
smt2irep: store tokenizer by reference

tautschnig
and
kiro-agent
committed
SMT2 parser: iterative operand collection via smt2irep

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

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

tautschnig
and
kiro-agent
committed
SMT2 parser: fall back to recursive path for quantifiers, 'as const', to_fp

tautschnig
and
kiro-agent
committed