Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Register
Sign in
Toggle navigation
Menu
Iris
Iris
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
512b208d
·
Merge branch 'ike/trans_wand_iff' into 'master'
·
Jun 06, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq-bugs/tc-resolution-cannot-unify-with-self
a1abaf74
·
reproducer for Coq bug
·
Jun 04, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/gmap_view_cmra
3ea30c1e
·
start work on generalizing gmap_view for an arbitrary CMRA as values
·
Jun 02, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/sbi
bcccc24e
·
WIP; split up into reasonably sized commits.
·
May 31, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/iInv-accessor-variable
20f873f7
·
add test for iInv with accessor variables
·
May 30, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
less_canonical
5226baf6
·
FAIL : Less canonical projections.
·
Feb 22, 2016
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
less_canonical_new
a9e2d8f3
·
Another failed approach to avoid declaring other projections than the carrier as canonical.
·
Feb 02, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
seal_ires
fdcce825
·
Bench.
·
Feb 22, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fast_string
157e41c2
·
Use fast_string.
·
Feb 22, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
strong_frame
bc4b0cc2
·
Strong framing by default for persistent hypotheses.
·
Mar 05, 2017
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar