snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard

[Feature] Array Concatenation.

Open d0cd opened this issue 2 years ago • 0 comments

This PR supports concatenating two arrays via the concat instruction.

concat r0 r1 into r2 as [boolean; 8u32];

Note that users must specify the target type.

An alternate design choice was considered:

concat r0 r1 into r2;

However, the first solution was favored as it makes the types explicit.

d0cd avatar Sep 14 '23 19:09 d0cd