Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
Active branches
fix-universes
18652702
·
Fix universes with up to solve_defs
·
Jul 18, 2024
Stale branches
ci/simplify-merge
d30d4467
·
Ah, the recursive TryMerge ⊠ instance was missing.
·
Aug 24, 2022
ci/artifact-pldi2022
285db975
·
Removed autosubst dependency.
·
Jan 02, 2023
ci/artifact-oopsla2023
20f5dc7d
·
Add correspondence to figure 4 file, improve paper_example correspondence
·
Jan 06, 2023
ci/artifact-pldi2023
a449377c
·
Add file that prints simplified types of internal lemmas
·
Mar 08, 2023
dev/reify_prop
c2b67962
·
Add control of the function unfolding mechanism to recover old behavior
·
Apr 18, 2023
Show more stale branches