Branches · Paolo G. Giarrusso / iris

Skip to content

GitLab

Projects Groups Topics Snippets

/

Help
Sign in

I iris
Project information
- Project information
- Activity
- Labels
- Members
Repository
- Repository
- Files
- Commits
- Branches
- Tags
- Contributor statistics
- Graph
- Compare revisions
Merge requests 0
- Merge requests 0
CI/CD
- CI/CD
- Pipelines
- Jobs
- Artifacts
- Schedules
Deployments
- Deployments
- Environments
- Releases
Packages and registries
- Packages and registries
- Model experiments
Analytics
- Analytics
- Value stream
- CI/CD
- Repository
Wiki
- Wiki
Snippets
- Snippets
Activity
Graph
Jobs
Commits

Collapse sidebar

Paolo G. Giarrusso
iris
Repository
Branches

Overview
Active
Stale
All

master default

7e865892 · Merge branch 'jaemin/mono_nat_alloc' into 'master' · Jun 30, 2023

Download source code

zip tar.gz tar.bz2 tar
no-bi-canonical

a8ae5597 · Additional docs (IMHO worse) · Jun 05, 2023

iris/iris!933

Download source code

zip tar.gz tar.bz2 tar
basic-dune

fec7cf4e · Dune build files · Jun 03, 2023

Download source code

zip tar.gz tar.bz2 tar
inv_exc_0_ipm

06b05e7f · Refactorings: reorder lemmas, use `setoid_rewrite` for uniformity · Mar 04, 2023

Download source code

zip tar.gz tar.bz2 tar
fix-497-hint-immediate

9c819571 · Fix #497: avoid Hint Immediate · Nov 24, 2022

Download source code

zip tar.gz tar.bz2 tar
notations

c355de4f · Prefer `⊢` to `-∗` etc: make more stdpp_scope notations `only parsing` · May 04, 2022

Download source code

zip tar.gz tar.bz2 tar
later-credits-drop

05d543ea · Comment out what breaks with later credits · May 04, 2022

Download source code

zip tar.gz tar.bz2 tar
bi_pure_scopes

22cb084d · Drop redundant %type_scope · Jun 18, 2021

Download source code

zip tar.gz tar.bz2 tar
fupd-commutes

b2bb853f · Add (non-persistent) IntoAnd & IntoForall for bupd/fupd · May 31, 2021

iris/iris!688

Download source code

zip tar.gz tar.bz2 tar
periscopes-v2

c9ba564e · Remove some now implied %I · May 07, 2021

Download source code

zip tar.gz tar.bz2 tar
periscopes

47067537 · WIP drop implied %E · Mar 17, 2021

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

Download source code

zip tar.gz tar.bz2 tar
doc-equalities

e935d029 · Apply 1 suggestion(s) to 1 file(s) · Sep 08, 2020

Download source code

zip tar.gz tar.bz2 tar
ascii-sections

fc797b34 · Add contested ASCII sections · Apr 16, 2020

Download source code

zip tar.gz tar.bz2 tar
fix-notation

8472b5e7 · Notation fix · Apr 08, 2020

Download source code

zip tar.gz tar.bz2 tar
explicit-vdash

edf87cde · Force level for PROP for extra robustness · Feb 23, 2020

Download source code

zip tar.gz tar.bz2 tar
more-convenient-fupd_proper

f33e1e72 · Avoid double instance for fupd_proper · Jan 04, 2020

Download source code

zip tar.gz tar.bz2 tar
test-bigop-synchanges

737e3930 · Test changes · Nov 08, 2019

Download source code

zip tar.gz tar.bz2 tar
later_impl_experiments

d4bd6b81 · Unfinished WIP · May 06, 2019

Download source code

zip tar.gz tar.bz2 tar
later_impl_test

5afc013e · CmraSwappable also implies ▷ commutes with -∗ and |==> · May 06, 2019

Download source code

zip tar.gz tar.bz2 tar

Prev
1
2
Next

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code

Download source code