Skip to content

Add additional allowed prefixes for booleans#149

Closed
nusbaume wants to merge 2 commits into
ESCOMP:mainfrom
nusbaume:boolean_rule_update
Closed

Add additional allowed prefixes for booleans#149
nusbaume wants to merge 2 commits into
ESCOMP:mainfrom
nusbaume:boolean_rule_update

Commits

Commits on Jun 11, 2026