add set_map_union, set_map_singleton (!213) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge ralf/set_map into master 4 years ago

All threads resolved!

Activity

Ralf Jung mentioned in merge request iris!619 (merged) 4 years ago

mentioned in merge request iris!619 (merged)
Robbert Krebbers @robbertkrebbers started a thread on an old version of the diff 4 years ago

Resolved 4 years ago by Ralf Jung
Last reply by Robbert Krebbers 4 years ago

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

Resolved 4 years ago by Robbert Krebbers

I see that set_map_empty is also missing, and that seems needed for properly doing the base case in iris!619 (merged)

Could you add that?
Last reply by Ralf Jung 4 years ago

Ralf Jung added 3 commits 4 years ago

added 3 commits

bf59b1eb - add set_map_union, set_map_singleton
e37b4e68 - add set_map_empty
5e5b2d17 - add some singleton and snoc lemmas

Compare with previous version

Ralf Jung resolved all threads 4 years ago

resolved all threads

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

Resolved 4 years ago by Ralf Jung

Ralf Jung added 1 commit 4 years ago

added 1 commit

c4b14c58 - Apply 1 suggestion(s) to 1 file(s)

Compare with previous version

Robbert Krebbers resolved all threads 4 years ago

resolved all threads

Robbert Krebbers @robbertkrebbers · 4 years ago

Owner

LGTM. Merged. Thanks.

Robbert Krebbers mentioned in commit 4 years ago

mentioned in commit 6f8111e2

Robbert Krebbers merged 4 years ago

merged

Please register or sign in to reply