Merge Requests · Iris

Explicitly use core hint database

stdpp!43 · opened Nov 29, 2018 by Tej Chajed
- MERGED
- 3
updated Nov 30, 2018
Link to HTML sources for easier navigation

iris!190 · opened Nov 22, 2018 by Paolo G. Giarrusso
- MERGED
- 2
updated Nov 22, 2018
Add link to docs to the Readme

stdpp!42 · opened Nov 22, 2018 by Michael Sammler
- MERGED
- 13
updated Nov 30, 2018
Update the link to std++

iris!189 · opened Nov 16, 2018 by Dan Frumin
- MERGED
- 1
updated Nov 16, 2018
Consistently block `simpl` on all `Z` operations

stdpp!41 · opened Nov 04, 2018 by Robbert Krebbers
- MERGED
- 6
updated Nov 08, 2018
Add `big_opM_union` and `big_sepM_union`.

iris!188 · opened Nov 01, 2018 by Dan Frumin
- MERGED
- 8
updated Nov 08, 2018
The unbounded fractional authoritative camera

iris!187 · opened Oct 31, 2018 by Robbert Krebbers Iris 3.2
- MERGED
- 54
updated Jun 22, 2019
Remove basic updates from the Iris model, and define them using plainly.

iris!186 · opened Oct 27, 2018 by Robbert Krebbers
- CLOSED
- 14
updated Jan 26, 2019
The plausibly modality 0 of 4 tasks completed

iris!185 · opened Oct 27, 2018 by Robbert Krebbers
- CLOSED
- 11
updated Jan 17, 2019
More principled set of axioms for fancy updates and plainly

iris!184 · opened Oct 24, 2018 by Robbert Krebbers
- MERGED
- 38
updated Oct 31, 2018
Step fupd commutes with for all for plain predicates in Iris.

iris!183 · opened Oct 24, 2018 by Joseph Tassarotti
- CLOSED
- 6
updated Oct 25, 2018
Fine-grained post-conditions for forked-off threads 2 of 2 tasks completed

iris!182 · opened Oct 22, 2018 by Robbert Krebbers
- MERGED
- 49
updated Oct 31, 2018
Strengthen W.is_closed_correct.

iris!181 · opened Oct 11, 2018 by Dan Frumin
- CLOSED
- 2
updated Nov 28, 2018
curry wp_fork

iris!180 · opened Oct 04, 2018 by Ralf Jung
- MERGED
- 1
updated Oct 04, 2018
Support multiple steps in `PureExec`.

iris!179 · opened Oct 04, 2018 by Robbert Krebbers
- MERGED
- 14
updated Oct 07, 2018
Right-to-left evaluation order for heaplang

iris!178 · opened Oct 04, 2018 by Jacques-Henri Jourdan
- MERGED
- 11
updated Oct 04, 2018
Stronger version of adequacy that also talks about state.

iris!177 · opened Oct 03, 2018 by Robbert Krebbers
- MERGED
- 5
updated Oct 04, 2018
Move back to main CI branch

iris!176 · opened Oct 01, 2018 by Ralf Jung mtac2-tt
- MERGED
- 0
updated Oct 10, 2018
A specific constructor for injecting values in expressions

iris!175 · opened Sep 12, 2018 by Jacques-Henri Jourdan T-heap_lang
- MERGED
- 152
updated Feb 20, 2019
Port new CI to iris-3.1.

iris!174 · opened Aug 30, 2018 by Janno iris-3.1
- MERGED
- 6
updated Sep 03, 2018