Add `prod_swap` and some basic results for it. (!529) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Robbert Krebbers requested to merge robbert/prod_swap into master 1 year ago

All threads resolved!

I was surprised this function is not in the stdlib...

Activity

Robbert Krebbers added 6 commits 1 year ago
added 6 commits

841d2b02...f25cad12 - 4 commits from branch master

6588645a - Add `prod_swap` and some basic results for it.

44f5907d - CHANGELOG.

Compare with previous version
Ralf Jung @jung 1 year ago

Owner

Resolved 1 year ago by Ralf Jung

I was surprised this function is not in the stdlib...

Are you sure it's not...?

Last reply by Ralf Jung 1 year ago
Robbert Krebbers mentioned in merge request !527 1 year ago

mentioned in merge request !527
Ralf Jung resolved all threads 1 year ago

resolved all threads
Ralf Jung merged 1 year ago

merged
Ralf Jung mentioned in commit cf73e508 1 year ago

mentioned in commit cf73e508

Please register or sign in to reply