Add the new bitwise builtins to `plutus-metatheory`

IntersectMBO / plutus

The Plutus language implementation and tools

Apache License 2.0

1.57k stars 479 forks source link

Closed kwxm closed 1 month ago

kwxm commented 4 months ago

These have all been added to plutus-core and plutus-tx, so we should add them to the metatheory too.

kwxm commented 1 month ago

This got done a while ago.

kwxm commented 1 month ago

Done.