add gset_to_gmap_to_list (!422) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Ralf Jung requested to merge jung/stdpp:gset_to_gmap_to_list into master 2 years ago

All threads resolved!

This came up while trying to convert an own of a map into a big_sepL of its elements.

Activity

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

Resolved 2 years ago by Ralf Jung
Last reply by Ralf Jung 2 years ago

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

Resolved 2 years ago by Ralf Jung

Ralf Jung added 1 commit 2 years ago

added 1 commit

23c0883b - remove some parentheses

Compare with previous version

Ralf Jung resolved all threads 2 years ago

resolved all threads

Ralf Jung added 1 commit 2 years ago

added 1 commit

0c776fcd - rename lemma

Compare with previous version

Ralf Jung merged 2 years ago

merged

Ralf Jung mentioned in commit 2 years ago

mentioned in commit a00e9041

Please register or sign in to reply