Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
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
ci/reify_prop
93a88da0
·
Default search now does not look beneath modalities that occur after a later
·
Apr 24, 2023
dev/reify_prop_later
acfd0200
·
Looking at improving abduct later interaction.
·
May 08, 2023
ci/fix_conflicts
31d12deb
·
Fix for seemingly providing support for iris 4.0
·
Jun 12, 2023
ci/ocaml-fix
31456cfa
·
Now doing ocaml install stuff on install-diaframe make target
·
Oct 04, 2023
dev/ltac2_reify
1d3cdc9b
·
Add test to witness that ∧ is no longer being seen as ∗, might want to fix that someday
·
Oct 10, 2023
dev/dev-ike
a484494a
·
Fix supplements CI running on trigger
·
Feb 12, 2024
dev/wait_free_arc
df115725
·
ARC wait free optimized cannot be fully automatic this way, since one case...
·
Mar 05, 2024
ci/kedu_linear_logic
ec56b868
·
Change ⌜⌝ ∧ P into <affine> ⌜⌝ ∗ P to avoid slower ∧ TC search?
·
Mar 25, 2024
ci/dev-ike
5a4c7a20
·
Added shortcircuiting for solvesepfoc
·
Apr 05, 2024
ci/intro_vars_subst
74bdf25f
·
Fix introduce_var not expecting killed goals on introducing contradictory hyps
·
May 24, 2024
master
default
protected
546f04e9
·
Merge branch 'ci/linear_affine_pure_split_fix' into 'master'
·
Jun 09, 2024