- 04 Oct, 2018 9 commits
-
-
Jacques-Henri Jourdan authored
-
Ralf Jung authoredcurry wp_fork See merge request FP/iris-coq!180
-
Jacques-Henri Jourdan authored
Right-to-left evaluation order for heaplang See merge request FP/iris-coq!178
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
Stronger version of adequacy that also talks about state. See merge request FP/iris-coq!177
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- 03 Oct, 2018 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
This needed minor rearrangement.
-
- 30 Sep, 2018 1 commit
-
-
Ralf Jung authored
-
- 26 Sep, 2018 1 commit
-
-
Robbert Krebbers authored
-
- 18 Sep, 2018 3 commits
- 12 Sep, 2018 3 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
All the `env` operations are prefixed `env_`, so this is more consistent.
-
Robbert Krebbers authored
-
- 10 Sep, 2018 2 commits
- 31 Aug, 2018 1 commit
-
-
Ralf Jung authored
-
- 24 Aug, 2018 2 commits
- 13 Aug, 2018 1 commit
-
-
Ralf Jung authored
-
- 11 Aug, 2018 1 commit
-
-
Robbert Krebbers authored
-
- 01 Aug, 2018 4 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- 31 Jul, 2018 5 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Added a new lemma to allocate fragmented ownership in unital gmaps while… See merge request FP/iris-coq!164
-
Jonas Kastberg Hinrichsen authored
Added a new lemma to allocate fragmented ownership in unital gmaps while updating the full ownership
-
- 24 Jul, 2018 3 commits
- 23 Jul, 2018 1 commit
-
-
Ralf Jung authored
-
- 17 Jul, 2018 1 commit
-
-
Ralf Jung authored
-
