SMV: expression typechecker now post-traversal#1040

Open

kroening wants to merge 2 commits intomainfrom

smv-tc-expr-traversal

Commits on Mar 28, 2025

SMV: expression typechecker now post-traversal
kroening
committed

Commits on Mar 30, 2025

SMV: stack-based expression type checking
kroening
committed