Lookup total lemmas (!125) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/lookup_total_lemmas into master 5 years ago

All threads resolved!

This closes issue #50 (closed) and is a more complete alternative to !109 (closed).

This MR includes all lemmas that I think make sense. See also the discussion there.

Edited 5 years ago by Robbert Krebbers

Activity

Robbert Krebbers mentioned in merge request !109 (closed) 5 years ago

mentioned in merge request !109 (closed)
Robbert Krebbers added 1 commit 5 years ago
added 1 commit

c01d43ab - CHANGELOG.

Compare with previous version
Robbert Krebbers added 1 commit 5 years ago
added 1 commit

f05baf13 - CHANGELOG.

Compare with previous version
Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung
Last reply by Ralf Jung 5 years ago

Robbert Krebbers added 1 commit 5 years ago

added 1 commit

97079040 - More CHANGELOG.

Compare with previous version

Ralf Jung resolved all threads 5 years ago

resolved all threads

Robbert Krebbers @robbertkrebbers · 5 years ago

Author Owner

Merging!

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit b04a1f11

Robbert Krebbers merged 5 years ago

merged

Robbert Krebbers changed title from Robbert/lookup total lemmas to Lookup total lemmas 5 years ago

changed title from Robbert/lookup total lemmas to Lookup total lemmas

Robbert Krebbers changed the description 5 years ago

changed the description

Please register or sign in to reply