Merge Requests · Iris

Upgrade README demo: it_max -> max_int.

refinedc!9 · opened Dec 04, 2020 by Fengmin Zhu
- MERGED
- 1
updated Dec 04, 2020
Intptr

refinedc!8 · opened Dec 04, 2020 by Michael Sammler
- MERGED
- 0
updated Dec 04, 2020
Add explicit Local/Global to hints at top level

iris!594 · opened Nov 27, 2020 by Tej Chajed
- MERGED
- 13
updated Dec 03, 2020
Add explicit Global to hints at top level

stdpp!202 · opened Nov 20, 2020 by Tej Chajed
- MERGED
- 5
updated Dec 03, 2020
link to pinned-package-versions page

iris!590 · opened Nov 23, 2020 by Ralf Jung
- MERGED
- 1
updated Dec 03, 2020
Protocol equivalence

actris!24 · opened Nov 25, 2020 by Jonas Kastberg
- MERGED
- 0
updated Dec 02, 2020
Use separate inductives for allocation (refactoring).

refinedc!6 · opened Dec 02, 2020 by Rodolphe Lepigre
- MERGED
- 11
updated Dec 02, 2020
make pure_exec_fill not an instance any more

iris!588 · opened Nov 13, 2020 by Ralf Jung
- MERGED
- 16
updated Nov 29, 2020
Add a good failure state for allocation failure 6 of 6 tasks completed

refinedc!5 · opened Nov 26, 2020 by Rodolphe Lepigre
- MERGED
- Approved
- 0
updated Nov 27, 2020
bupd, fupd: add idempotence lemmas

iris!592 · opened Nov 26, 2020 by Ralf Jung
- MERGED
- 0
updated Nov 26, 2020
Replace unused pattern variables with underscore

stdpp!203 · opened Nov 21, 2020 by Tej Chajed
- MERGED
- 1
- 8
updated Nov 26, 2020
Replace `C`s with `O`s since we use OFEs instead of COFEs.

iris!263 · opened Jun 11, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 18
updated Nov 24, 2020
ltac_tactics.v: drop dead branch

iris!273 · opened Jun 15, 2019 by Paolo G. Giarrusso
- MERGED
- 17
updated Nov 24, 2020
Add stuck_fill lemma.

iris!276 · opened Jun 20, 2019 by Hai Dang
- MERGED
- 2
updated Nov 24, 2020
Fix parsing precedence for iEval

iris!269 · opened Jun 14, 2019 by Paolo G. Giarrusso
- MERGED
- 10
updated Nov 24, 2020
show auth_update_core_id

iris!282 · opened Jun 27, 2019 by Ralf Jung
- MERGED
- 7
updated Nov 24, 2020
comparison: treat prophecies like unit and make all closures equal

iris!270 · opened Jun 14, 2019 by Ralf Jung
- MERGED
- 1
- 17
updated Nov 24, 2020
Add clairvoyant_coin example

iris!266 · opened Jun 13, 2019 by Amin Timany
- MERGED
- 20
updated Nov 24, 2020
Fix typos in comments

iris!281 · opened Jun 24, 2019 by Paolo G. Giarrusso
- MERGED
- 1
updated Nov 24, 2020
Fix sed on mac for real

iris!277 · opened Jun 21, 2019 by Paolo G. Giarrusso
- MERGED
- 3
updated Nov 24, 2020