Branches · Paolo G. Giarrusso / iris · GitLab

seal_ires

fdcce825 · Bench. · Feb 22, 2017
later_impl_test

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

d4bd6b81 · Unfinished WIP · May 06, 2019
test-bigop-synchanges

737e3930 · Test changes · Nov 08, 2019
more-convenient-fupd_proper

f33e1e72 · Avoid double instance for fupd_proper · Jan 04, 2020
explicit-vdash

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

8472b5e7 · Notation fix · Apr 08, 2020
ascii-sections

fc797b34 · Add contested ASCII sections · Apr 16, 2020
doc-equalities

e935d029 · Apply 1 suggestion(s) to 1 file(s) · Sep 08, 2020
paolo/tc-strict-resolution-backport

10ef4141 · Revise on which TCs we set Strict Resolution · Mar 04, 2021
periscopes

47067537 · WIP drop implied %E · Mar 17, 2021
periscopes-v2

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

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

iris/iris!688
bi_pure_scopes

22cb084d · Drop redundant %type_scope · Jun 18, 2021
later-credits-drop

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

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

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

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

fec7cf4e · Dune build files · Jun 03, 2023
no-bi-canonical

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

iris/iris!933