Refine instances for ITEOp, SimpleMergeable and Mergeable, rename UnionMergeable1 to SymBranching#214
Merged
lsrcz merged 8 commits intomainfrom feat-ite-mergeableJun 23, 2024
+1,826-1,150
Commits
Commits on Jun 23, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&size=32){kind=avatar}