Skip to content

Migrate DISJOIN to a registered expander and solve the star-REPLACE portability limitation — Closes #143, #153#159

Merged
conradbzura merged 1 commit into
mainfrom
143-migrate-disjoin-expander
Jun 29, 2026
Merged

Migrate DISJOIN to a registered expander and solve the star-REPLACE portability limitation — Closes #143, #153#159
conradbzura merged 1 commit into
mainfrom
143-migrate-disjoin-expander

refactor: Migrate DISJOIN to a registered expander and fix #153

1aecfa3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar