- Nov 29, 2021
-
-
Ralf Jung authored
This is a step towards iris/iris#412
-
- Nov 26, 2021
-
-
Ralf Jung authored
-
- Nov 25, 2021
-
-
Ralf Jung authored
-
- Nov 23, 2021
-
-
Ralf Jung authored
-
- Nov 22, 2021
-
-
Robbert Krebbers authored
Move big-op instances up. See merge request iris/iris!755
-
Robbert Krebbers authored
-
Ralf Jung authored
gmap_view supports persisting the authorative element See merge request iris/iris!745
-
Ralf Jung authored
-
-
Ralf Jung authored
-
- Nov 16, 2021
-
-
Robbert Krebbers authored
Adding gmap_fmap_ext_ne See merge request iris/iris!751
-
-
Robbert Krebbers authored
Define `Proper` for `dom` and enable `iRewrite` on goals involving `dom` See merge request iris/iris!754
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- Nov 15, 2021
- Nov 13, 2021
- Nov 10, 2021
-
-
Ralf Jung authored
Indentation config See merge request iris/iris!752
-
Jonas Kastberg authored
-
Ralf Jung authored
-
Jonas Kastberg authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- Nov 09, 2021
-
-
Ralf Jung authored
give some help for using fixpoint_unfold See merge request iris/iris!749
-
- Nov 08, 2021
-
-
Ralf Jung authored
move persistently_forall_2 out of BI interface See merge request iris/iris!702
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
lemmas to merge a sepL and a sepL2 See merge request iris/iris!735
-
Ralf Jung authored
-
Ralf Jung authored
-
-
-
Ralf Jung authored
-
Ralf Jung authored
bi/fixpoint lemmas See merge request iris/iris!725
-
Ralf Jung authored
-