Add `SetUnfoldElemOf` instance of `dom` on `gmultiset` (!591) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Marijn van Wezel requested to merge marijnvanwezel/stdpp:marijnvanwezel/SetUnfoldElemOf_dom_gmultiset into master 2 weeks ago

This adds a SetUnfoldElemOf instance for dom on gmultiset to solve #232 (closed).

Approval is optional

Activity

Robbert Krebbers @robbertkrebbers · 2 weeks ago

Owner

Looks good. A test case (the one from your issue) and a CHANGELOG entry would be appreciated.
Marijn van Wezel added 1 commit 2 weeks ago
added 1 commit

713ad87c - Add test and update CHANGELOG

Compare with previous version
Robbert Krebbers @robbertkrebbers · 2 weeks ago

Owner

LGTM.

Any comments @jung, if not, please press the button.
Ralf Jung mentioned in commit 95b6b0c0 6 days ago

mentioned in commit 95b6b0c0
Ralf Jung merged 6 days ago

merged
Ralf Jung mentioned in issue #232 (closed) 6 days ago

mentioned in issue #232 (closed)

Please register or sign in to reply