Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
Diaframe
Repository
Branches
Overview
Active
Stale
All
ci/dev-ike
9e4e1674
·
Fix critical ltac2 error when supplying too many IPM names, update to recent...
·
Sep 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
9e4e1674
·
Fix critical ltac2 error when supplying too many IPM names, update to recent...
·
Sep 22, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev/wait_free_arc
8854ebe4
·
I might want to change some of diaframes internals, better get all dependencies updated first.
·
Jul 18, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev/dev-ike
fe186f72
·
Fixing proofs to name used variables and IPM hyps
·
Jun 12, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/fix_conflicts
31d12deb
·
Fix for seemingly providing support for iris 4.0
·
Jun 12, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
dev/reify_prop_later
acfd0200
·
Looking at improving abduct later interaction.
·
May 08, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/reify_prop
93a88da0
·
Default search now does not look beneath modalities that occur after a later
·
Apr 24, 2023
Select Archive Format
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
Select Archive Format
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
Select Archive Format
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
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/artifact-pldi2022
285db975
·
Removed autosubst dependency.
·
Jan 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/simplify-merge
d30d4467
·
Ah, the recursive TryMerge ⊠ instance was missing.
·
Aug 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar