Skip to content

Add SimplifiedPredicate - #246

Merged
rcosta358 merged 6 commits into
mainfrom
vc-simplification
Jun 9, 2026
Merged

Add SimplifiedPredicate#246
rcosta358 merged 6 commits into
mainfrom
vc-simplification

Minor Changes

dfb80ab
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning

The logs for this run have expired and are no longer available.