- Mar 14, 2019
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- Mar 13, 2019
-
-
Ralf Jung authored
add documentation of the global RA pattern See merge request iris/iris!222
-
Ralf Jung authored
-
- Mar 07, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Alternative definition of the basic update modality See merge request iris/iris!211
-
- Mar 06, 2019
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Implement `own_alloc_infinite` Closes #207 See merge request iris/iris!217
-
Dan Frumin authored
-
- Mar 05, 2019
- Mar 04, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Mar 03, 2019
-
-
Robbert Krebbers authored
Allow swapping later^n and forall See merge request iris/iris!221
-
Paolo G. Giarrusso authored
For half of #231.
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- Mar 01, 2019
-
-
Robbert Krebbers authored
-
- Feb 28, 2019
- Feb 27, 2019
-
-
Ralf Jung authored
-
- Feb 26, 2019
-
-
Ralf Jung authored
-
- Feb 25, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
[documentation] Some more text about the modalities. See merge request iris/iris!220
-
Dan Frumin authored
-
Dan Frumin authored
-
- Feb 24, 2019
-
-
Dan Frumin authored
-
- Feb 23, 2019
-
-
Ralf Jung authored
-
- Feb 22, 2019
- Feb 21, 2019
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Feb 20, 2019
-
-
Robbert Krebbers authored
-
- Feb 18, 2019
-
-
Ralf Jung authored
-