Support unary predicates in cat#908

Merged

hernanponcedeleon merged 18 commits intodevelopmentfrom

wmm-unary-predicates

Oct 11, 2025

Commits on Oct 6, 2025

Support unary predicates in cat

xeren
authored and
hernanponcedeleon
committed
Fix SimpleSet.initializeToDomain(Domain)

xeren
authored and
hernanponcedeleon
committed
fixup! Support unary predicates in cat

xeren
authored and
hernanponcedeleon
committed
fixup! Support unary predicates in cat

xeren
authored and
hernanponcedeleon
committed
Relation.Arity

xeren
authored and
hernanponcedeleon
committed
fixup! Relation.Arity

xeren
authored and
hernanponcedeleon
committed
fixup! Relation.Arity

xeren
authored and
hernanponcedeleon
committed
fixup! Relation.Arity

xeren
authored and
hernanponcedeleon
committed
Refactor

xeren
authored and
hernanponcedeleon
committed
Relation.checkIsRelation(Relation)

xeren
authored and
hernanponcedeleon
committed
Rename cat built-in 'New()' to 'newSet()'.

xeren
authored and
hernanponcedeleon
committed
Add cat parsing support for recursive sets.

xeren
authored and
hernanponcedeleon
committed
fixup! Merge remote-tracking branch 'origin/development' into wmm-unary-predicates

xeren
authored and
hernanponcedeleon
committed
fixup! Add cat parsing support for recursive sets.

xeren
authored and
hernanponcedeleon
committed
fixup! Merge remote-tracking branch 'origin/development' into wmm-unary-predicates

xeren
authored and
hernanponcedeleon
committed

Commits on Oct 10, 2025