Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Paolo G. Giarrusso
iris
Repository
Branches
Overview
Active
Stale
All
inv_exc_0_ipm
06b05e7f
·
Refactorings: reorder lemmas, use `setoid_rewrite` for uniformity
·
Mar 04, 2023
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
eb5e1ef6
·
Merge branch 'robbert/inv_except_0' into 'master'
·
Mar 03, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-497-hint-immediate
9c819571
·
Fix #497: avoid Hint Immediate
·
Nov 24, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
basic-dune
9abdf623
·
Dune build files
·
Aug 24, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
notations
c355de4f
·
Prefer `⊢` to `-∗` etc: make more stdpp_scope notations `only parsing`
·
May 04, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later-credits-drop
05d543ea
·
Comment out what breaks with later credits
·
May 04, 2022
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
bi_pure_scopes
22cb084d
·
Drop redundant %type_scope
·
Jun 18, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fupd-commutes
merged
b2bb853f
·
Add (non-persistent) IntoAnd & IntoForall for bupd/fupd
·
May 31, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
periscopes-v2
c9ba564e
·
Remove some now implied %I
·
May 07, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
periscopes
47067537
·
WIP drop implied %E
·
Mar 17, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
paolo/tc-strict-resolution-backport
10ef4141
·
Revise on which TCs we set Strict Resolution
·
Mar 04, 2021
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
doc-equalities
e935d029
·
Apply 1 suggestion(s) to 1 file(s)
·
Sep 08, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ascii-sections
fc797b34
·
Add contested ASCII sections
·
Apr 16, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-notation
8472b5e7
·
Notation fix
·
Apr 08, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
explicit-vdash
edf87cde
·
Force level for PROP for extra robustness
·
Feb 23, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
more-convenient-fupd_proper
f33e1e72
·
Avoid double instance for fupd_proper
·
Jan 04, 2020
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-bigop-synchanges
737e3930
·
Test changes
·
Nov 08, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later_impl_experiments
d4bd6b81
·
Unfinished WIP
·
May 06, 2019
Compare
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
later_impl_test
5afc013e
·
CmraSwappable also implies ▷ commutes with -∗ and |==>
·
May 06, 2019
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