Branches · Iris / Diaframe · GitLab

Snippets Groups Projects

Active branches

master default protected

8c0957d0 · Merge branch 'ci/update-iris-to-dev.2025-04-16.0.df5c2465' into 'master' · 2 days ago
Download source code

zip
tar.gz
tar.bz2
tar

Stale branches

ci/simplify-merge

d30d4467 · Ah, the recursive TryMerge ⊠ instance was missing. · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/artifact-pldi2022

285db975 · Removed autosubst dependency. · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/artifact-oopsla2023

20f5dc7d · Add correspondence to figure 4 file, improve paper_example correspondence · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
ci/artifact-pldi2023

a449377c · Add file that prints simplified types of internal lemmas · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare
dev/reify_prop

c2b67962 · Add control of the function unfolding mechanism to recover old behavior · 2 years ago
Download source code

zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches