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

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

Status	Pipeline	Created by	Stages
Passed 00:05:46 1 year ago	CHANGELOG. #91204 529 44f5907d		Stage: build	Download artifacts No artifacts found
Canceled 00:00:57 1 year ago	CHANGELOG. #91203 529 841d2b02		Stage: build	Download artifacts No artifacts found

Add `prod_swap` and some basic results for it.