Skip to content

feat: preserve Iris ordered resource algebras and recursive domain model - #727

Merged
Vilin97 merged 7 commits into
mainfrom
researcher/acquire-iris-algebra-20261102
Nov 4, 2026
Merged

feat: preserve Iris ordered resource algebras and recursive domain model#727
Vilin97 merged 7 commits into
mainfrom
researcher/acquire-iris-algebra-20261102

Generalize Iris update and monotone predicate interfaces

930486d
Select commit
Loading
Failed to load commit list.
Greptile Apps / Greptile Review succeeded Nov 2, 2026 in 4m 12s

Base review

Greptile has reviewed the Pull Request.

14 files reviewed, 0 comments added.

View more details on Greptile Apps