Extracted list_numbers.v with seq, seqZ, sum_list and max_list (!141) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge msammler/list_numbers into master 5 years ago

All threads resolved!

This is in preparation for adding the rotate functions.

Activity

Michael Sammler mentioned in merge request !136 (merged) 5 years ago

mentioned in merge request !136 (merged)
Robbert Krebbers @robbertkrebbers started a thread on the diff 5 years ago

Resolved 5 years ago by Michael Sammler
Last reply by Michael Sammler 5 years ago

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Resolved 5 years ago by Robbert Krebbers

Modulo one nit LGTM.

@jung any comments? I suppose you like it, because you too often say the list file is becoming too large.
Last reply by Robbert Krebbers 5 years ago

Michael Sammler added 1 commit 5 years ago

added 1 commit

6d388b75 - Extracted list_numbers.v with seq, seqZ, sum_list and max_list

Compare with previous version

Michael Sammler resolved all threads 5 years ago

resolved all threads

Ralf Jung @jung started a thread on an old version of the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Ralf Jung @jung started a thread on the diff 5 years ago

Resolved 5 years ago by Ralf Jung

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

@jung Is this OK to merge?

Michael Sammler added 27 commits 5 years ago

added 27 commits

6d388b75...1d9cb6c8 - 26 commits from branch master
2e5b8a3b - Extracted list_numbers.v with seq, seqZ, sum_list and max_list

Compare with previous version

Michael Sammler added 1 commit 5 years ago

added 1 commit

fdd98ed8 - Extracted list_numbers.v with seq, seqZ, sum_list and max_list

Compare with previous version

Ralf Jung resolved all threads 5 years ago

resolved all threads

Ralf Jung @jung · 5 years ago

Owner

LGTM.

Robbert Krebbers @robbertkrebbers · 5 years ago

Owner

Merging then! Thanks @msammler!

Robbert Krebbers mentioned in commit 5 years ago

mentioned in commit e017f040

Robbert Krebbers merged 5 years ago

merged

Please register or sign in to reply