Skip to content

SMV grammar: rename term -> basic_expr#1378

Merged
tautschnig merged 1 commit intomainfrom
smv-grammar-basic-expr
Nov 2, 2025
Merged

SMV grammar: rename `term` -> `basic_expr`#1378
tautschnig merged 1 commit intomainfrom
smv-grammar-basic-expr

Commits

Commits on Nov 1, 2025