Proofs about binders (!83) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge msammler/stdpp:feature/binders into master 5 years ago

All threads resolved!

Now that POPL deadline is over, here are some more lemmata. As always let me know if I should change anything.

Activity

Michael Sammler added 1 commit 5 years ago
added 1 commit

1fb32c13 - Proofs about binders

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 Michael Sammler
Last reply by Michael Sammler 5 years ago

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

Resolved 5 years ago by Michael Sammler

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

Resolved 5 years ago by Michael Sammler

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

Resolved 5 years ago by Michael Sammler

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

Resolved 5 years ago by Michael Sammler

Robbert Krebbers @robbertkrebbers started a thread on the diff 5 years ago

Resolved 5 years ago by Michael Sammler

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Thanks for the MR, I left some comments.

Michael Sammler added 19 commits 5 years ago

added 19 commits

1fb32c13...aa051883 - 18 commits from branch iris:master
2cfff6a4 - Proofs about binders

Compare with previous version

Michael Sammler added 1 commit 5 years ago

added 1 commit

2883ab5a - Proofs about binders

Compare with previous version

Michael Sammler resolved all threads 5 years ago

resolved all threads

Robbert Krebbers merged 5 years ago

merged

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit e3a5d03f

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

LGTM & merged. Thanks for adapting the MR!

Please register or sign in to reply