Add the new bitwise builtins to the Plutus Core specification

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 479 forks source link

Add the new bitwise builtins to the Plutus Core specification #6304

Closed kwxm closed 1 month ago

kwxm commented 4 months ago

The builtins described in CIP-0122 and CIP-0123 have all been added to the Plutus Core language, so we should add them to the specification too.

kwxm commented 2 months ago

The and/or/xor operations do some padding or truncation if the inputs are of different lengths. I specified that as happening at the left end of the input, but it should be the right.