Add lookup_union_l' (!395) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge ci/msammler/lookup_union_l 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
Michael Sammler added 1 commit 2 years ago
added 1 commit

b2f81d4a - Add lookup_union_l'

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 Robbert Krebbers
Last reply by Michael Sammler 2 years ago

Michael Sammler added 28 commits 2 years ago

added 28 commits

b2f81d4a...beee46c8 - 27 commits from branch master
127d7259 - Add lookup_union_l'

Compare with previous version

Michael Sammler added 1 commit 2 years ago

added 1 commit

e7d683cf - Rename lookup_union_l' to lookup_union_l and add lookup_union_l dual to lookup_union_r

Compare with previous version

Michael Sammler added 1 commit 2 years ago

added 1 commit

8288632b - Rename lookup_union_l' to lookup_union_l and add lookup_union_l dual to lookup_union_r

Compare with previous version

Robbert Krebbers resolved all threads 2 years ago

resolved all threads

Robbert Krebbers merged 2 years ago

merged

Robbert Krebbers mentioned in commit 2 years ago

mentioned in commit b99e79cf

Robbert Krebbers @robbertkrebbers · 2 years ago

Owner

@iris-users This is a breaking change:

Rename lookup_union_l → lookup_union_l' and add lookup_union_l as the dual to lookup_union_r.

Please register or sign in to reply