Skip to content

Add rename function for term_t and rule_t to add prefix/suffix to variables - #29

Merged
hzhangxyz merged 8 commits into
mainfrom
copilot/add-prefix-and-suffix-to-variables
Nov 25, 2025
Merged

Add rename function for term_t and rule_t to add prefix/suffix to variables#29
hzhangxyz merged 8 commits into
mainfrom
copilot/add-prefix-and-suffix-to-variables

Commits

Commits on Nov 25, 2025