Skip to content

Fix default BoolExpr accumulator construction - #216

Merged
zayenz merged 3 commits into
mainfrom
feature/bool-expr-default-consrruction
Jul 11, 2026
Merged

Fix default BoolExpr accumulator construction#216
zayenz merged 3 commits into
mainfrom
feature/bool-expr-default-consrruction

minimodel: restrict empty BoolExpr accumulation

29b4490
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar