Branches · Iris / Diaframe · GitLab

Active branches

ci/dev-ike

587bf8fe · Fixed mapsto array hints sometimes losing information when both goal and hyp... · Nov 28, 2023

Download source code

zip tar.gz tar.bz2 tar
master default protected

587bf8fe · Fixed mapsto array hints sometimes losing information when both goal and hyp... · Nov 28, 2023

Download source code

zip tar.gz tar.bz2 tar
dev/ltac2_reify

1d3cdc9b · Add test to witness that ∧ is no longer being seen as ∗, might want to fix that someday · Oct 10, 2023

Download source code

zip tar.gz tar.bz2 tar
ci/ocaml-fix

31456cfa · Now doing ocaml install stuff on install-diaframe make target · Oct 04, 2023

Download source code

zip tar.gz tar.bz2 tar

Stale branches

ci/simplify-merge

d30d4467 · Ah, the recursive TryMerge ⊠ instance was missing. · Aug 24, 2022

Download source code

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

285db975 · Removed autosubst dependency. · Jan 02, 2023

Download source code

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

20f5dc7d · Add correspondence to figure 4 file, improve paper_example correspondence · Jan 06, 2023

Download source code

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

a449377c · Add file that prints simplified types of internal lemmas · Mar 08, 2023

Download source code

zip tar.gz tar.bz2 tar
dev/reify_prop

c2b67962 · Add control of the function unfolding mechanism to recover old behavior · Apr 18, 2023

Download source code

zip tar.gz tar.bz2 tar

Show more stale branches