- 22 Nov, 2021 5 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authoredgmap_view supports persisting the authorative element See merge request iris/iris!745
-
Ralf Jung authored
-
-
Ralf Jung authored
-
- 16 Nov, 2021 7 commits
-
-
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
-
- 15 Nov, 2021 2 commits
- 13 Nov, 2021 2 commits
- 10 Nov, 2021 6 commits
-
-
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
-
- 09 Nov, 2021 1 commit
-
-
Ralf Jung authored
give some help for using fixpoint_unfold See merge request iris/iris!749
-
- 08 Nov, 2021 12 commits
-
-
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
-
- 06 Nov, 2021 2 commits
-
-
Ralf Jung authored
-
Lennard Gäher authored
-
- 05 Nov, 2021 3 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
Iris 3.5.0 release notes Closes #435 See merge request iris/iris!748
-
-
