Fix the naming of kmap_subseteq and kmap_subset (!393) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge ci/msammler/kmap_subseteq into master 2 years ago

All threads resolved!

Activity

Michael Sammler assigned to @msammler 2 years ago

assigned to @msammler
Michael Sammler unassigned @msammler 2 years ago

unassigned @msammler
Robbert Krebbers @robbertkrebbers · 2 years ago

Owner

Resolved 2 years ago by Robbert Krebbers

Oh, wow, the original names make no sense. Could you add a CHANGELOG?

Last reply by Michael Sammler 2 years ago
Michael Sammler added 1 commit 2 years ago
added 1 commit

c9818969 - Fix the naming of kmap_subseteq and kmap_subset

Compare with previous version
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 2 years ago

Resolved 2 years ago by Michael Sammler
Last reply by Michael Sammler 2 years ago

Michael Sammler added 1 commit 2 years ago

added 1 commit

10d41e4e - Fix the naming of kmap_subseteq and kmap_subset

Compare with previous version

Robbert Krebbers @robbertkrebbers · 2 years ago

Owner

LGTM. Thanks.

Robbert Krebbers approved this merge request 2 years ago

approved this merge request

Robbert Krebbers resolved all threads 2 years ago

resolved all threads

Robbert Krebbers enabled an automatic merge when the pipeline for succeeds 2 years ago

enabled an automatic merge when the pipeline for 10d41e4e succeeds

Robbert Krebbers merged 2 years ago

merged

Robbert Krebbers mentioned in commit 2 years ago

mentioned in commit 224790c8

Please register or sign in to reply