Additionally lemmas for insert, nth, take, and list_find (!55) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Hai Dang requested to merge haidang/stdpp:hai/list into master 6 years ago

All threads resolved!

Just some several useful lemmas for lists.

Approval is optional

Activity

Ralf Jung assigned to @robbertkrebbers 6 years ago

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

Resolved 6 years ago by Hai Dang
Last reply by Robbert Krebbers 6 years ago

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

Resolved 6 years ago by Hai Dang

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

Resolved 6 years ago by Hai Dang

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

Resolved 6 years ago by Hai Dang

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

Resolved 6 years ago by Hai Dang

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

Resolved 6 years ago by Hai Dang

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

Resolved 6 years ago by Hai Dang

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

Resolved 6 years ago by Robbert Krebbers

Robbert Krebbers @robbertkrebbers · 6 years ago

Owner

Thanks for the MR. I left a bunch of comments.

Hai Dang added 33 commits 6 years ago

added 33 commits

2f798546...425c0d18 - 30 commits from branch iris:master
42a2945d - Additionally lemmas for insert, nth, take, and list_find
8c4093d3 - Merge branch 'hai/list' of gitlab.mpi-sws.org:haidang/stdpp into hai/list
e9a4176e - Address comments.

Compare with previous version

Toggle commit list

Hai Dang @haidang · 6 years ago

Author Owner

I have just updated it to address your comments. Please have a look.

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

Resolved 6 years ago by Robbert Krebbers

Hai Dang added 1 commit 6 years ago

added 1 commit

43a1284a - Adress more comments.

Compare with previous version

Robbert Krebbers resolved all discussions 6 years ago

resolved all discussions

Robbert Krebbers @robbertkrebbers · 6 years ago

Owner

Thanks for addressing my comments. LGTM. Going to merge.

Robbert Krebbers mentioned in commit 6 years ago

mentioned in commit 75ade952

Robbert Krebbers merged 6 years ago

merged

Please register or sign in to reply