Add lemma `lookup_total_fmap`. (!530) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/lookup_total_fmap into master 1 year ago

All threads resolved!

Approval is optional

Activity

Ralf Jung @jung started a thread on an old version of the diff 1 year ago

Resolved 2 months ago by Ralf Jung
Last reply by Robbert Krebbers 1 year ago

Robbert Krebbers added 3 commits 1 year ago

added 3 commits

32edabf7 - 1 commit from branch master
eeae7519 - Add lemma `lookup_total_fmap`.
c91a053b - CHANGELOG.

Compare with previous version

Robbert Krebbers mentioned in merge request !532 1 year ago

mentioned in merge request !532

Ralf Jung @jung · 2 months ago

Owner

Since !532 is not going anywhere, I'll land this separately.

Edited 2 months ago by Ralf Jung

Ralf Jung added 174 commits 2 months ago

added 174 commits

c91a053b...df46059d - 172 commits from branch master
f46380bd - Add lemma `lookup_total_fmap`.
ea152947 - CHANGELOG.

Compare with previous version

Ralf Jung resolved all threads 2 months ago

resolved all threads

Ralf Jung enabled an automatic merge when all merge checks for pass 2 months ago

enabled an automatic merge when all merge checks for ea152947 pass

Ralf Jung mentioned in commit 2 months ago

mentioned in commit 9e1cd491

Ralf Jung merged 2 months ago

merged

Marijn van Wezel @marijnvanwezel · 2 months ago

Contributor

The CHANGELOG item introduced in this MR should be moved to std++ master.

Ralf Jung @jung · 2 months ago

Owner

oops good catch, will do.

Please register or sign in to reply