add dependent allocation lemma to own (!354) · Merge requests · Iris / Iris · GitLab

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Paolo G. Giarrusso @Blaisorblade started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Ralf Jung resolved all threads 5 years ago

resolved all threads

Ralf Jung added 2 commits 5 years ago

added 2 commits

8e7e3982 - unicode
11148461 - strengthen alloc_updateP_strong_dep and own_alloc_strong_dep

Compare with previous version

Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Modulo small comment LGTM.

Ralf Jung added 1 commit 5 years ago

added 1 commit

1d2149cc - save some lines and organize

Compare with previous version

Ralf Jung resolved all threads 5 years ago

resolved all threads

Ralf Jung @jung · 5 years ago

Author Owner

Modulo small comment LGTM.

Merging this then.

Ralf Jung merged 5 years ago

merged

Ralf Jung mentioned in commit 5 years ago

mentioned in commit 1142d94c

Please register or sign in to reply