Code

Bitwise operations#6090

Code

Merged

kwxm merged 24 commits intoIntersectMBO:masterIntersectMBO/plutus:masterfrom mlabs-haskell:koz/bitwise-2mlabs-haskell/plutus:koz/bitwise-2Copy head branch name to clipboardJun 13, 2024

+2,141-1,238

Commits

Commits on May 22, 2024

• Initial bitwise primitives

  kozross

  committed
  02ab54f

• Wire up new builtins

  kozross

  committed
  1a1ce70

• Merge branch 'master' into koz/bitwise-2

  kozross

  committed
  0c32b48

Commits on May 23, 2024

• Tests

  kozross

  committed
  3556946

• Changelogs

  kozross

  committed
  249489a

Commits on May 24, 2024

• Fix failing goldens

  kozross

  committed
  ad5cc7b

Commits on Jun 6, 2024

• Merge branch 'master' into koz/bitwise-2

  kozross

  committed
  f51656e

• Fix cost model for tests

  kozross

  committed
  9520bc3

• Bitwise primitives are not in Conway

  kozross

  committed
  aa5f83d

Commits on Jun 9, 2024

• Merge branch 'master' into koz/bitwise-2

  kozross

  committed
  56e90ad

• Finish shift tests

  kozross

  committed
  a01acc0

• Fix goldens

  kozross

  committed
  2fc1e8d

Commits on Jun 10, 2024

• Rest of tests

  kozross

  committed
  d23d03b

• Merge branch 'master' into koz/bitwise-2

  kozross

  committed
  7d6ba9c

Commits on Jun 11, 2024

• Merge branch 'master' into koz/bitwise-2

  kozross

  committed
  30a7435

• Rename operations

  kozross

  committed
  50b9171

• Note about split composition for shift property

  kozross

  committed
  2d73e9a

• Explain bitwise tests in comments, remove AND and OR tests for finding and counting bits

  kozross

  committed
  6ef45c0

• Goldens for bitwise primops

  kozross

  committed
  c25541f

• Chop down property test running times a bit

  kozross

  committed
  6a6ee69

• Add test for finding first in zero byte string, rename some tests for clarity

  kozross

  committed
  cf668f4

• Clarify implementation choices in the comments

  kozross

  committed
  4f550df

Commits on Jun 12, 2024

• Tidy up helpers for property tests

  kozross

  committed
  96d42bf

• Consolidate all bitwise ops, retarget links to CIPs

  kozross

  committed
  4a71fc5