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
Iris
Repository
Branches
Overview
Active
Stale
All
robbert/iIntro_iDestruct_fresh
edd7341c
·
WIP.
·
Oct 03, 2023
!992
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
70b30af7
·
update dependencies
·
Oct 03, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/timing
b5a2c761
·
measure 8.17.1
·
Oct 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci/name-mangle
46e8f68d
·
enable name mangling
·
Sep 29, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/lock_G_Σ
fa555c7b
·
Test that lock `Σ`s can be found in adequacy.
·
Aug 29, 2023
!980
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/internal_fractional_tweaks
8de85872
·
Style tweaks to rwlocks.
·
Aug 28, 2023
!976
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/ra-infer
bd80b71c
·
experiment: use coq's ability to infer more canonical structures
·
Aug 11, 2023
!972
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/iso_cmra
8ecf601f
·
generalize iso_cmra_mixin_restrict to a lemma that can also restrict the domain
·
Aug 10, 2023
!970
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/fmap_dist_inj
8d59d7a5
·
add option_fmap_dist_inj lemma
·
Aug 10, 2023
!969
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/solve-proper-subrelation
188132d2
·
have solve_proper exploit OfeDiscrete and LeibnizEquiv
·
Aug 08, 2023
!968
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ralf/gmap_view_cmra
b579fafb
·
port the rest of Iris to the new gmap_view
·
Jul 27, 2023
!959
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/local_ltac_proofmode
908ae8f9
·
Avoid `Local Ltac` and `Local Tactic Notation` in proofmode.
·
Jul 24, 2023
!953
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
robbert/sbi
009bbd9b
·
Remove useless `BiAffine` premises for `Plain` of big ops.
·
Jul 09, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar