Code

Chang2 builtins#1064

Code

Merged

MicroProofs merged 14 commits intomainaiken-lang/aiken:mainfrom chang2-builtinsaiken-lang/aiken:chang2-builtinsCopy head branch name to clipboardDec 7, 2024

+3,973-38

Commits

Commits on Dec 5, 2024

• feat: update change#2 costmodels

  

  hadelive

  authored and

  MicroProofs

  committed
  49aa5e0

  Copy full SHA for 49aa5e0

• Start adding implementation for new builtins

  MicroProofs

  committed
  befbb6e

  Copy full SHA for befbb6e

• Continue working on new builtin cost model updates

  MicroProofs

  committed
  4839273

  Copy full SHA for 4839273

• Detect difference in cost model length to maintain compatability with mainnet and testnet

  MicroProofs

  committed
  5cf3275

  Copy full SHA for 5cf3275

• Implementation of a few more of the new builtins

  MicroProofs

  committed
  c3b6bc5

  Copy full SHA for c3b6bc5

• A few more left to finish

  MicroProofs

  committed
  9867de3

  Copy full SHA for 9867de3

• Unused import

  MicroProofs

  committed
  91d4ecc

  Copy full SHA for 91d4ecc

Commits on Dec 6, 2024

• One last builtin to do. Also switch to using bitvec for faster and more accurate shifting

  MicroProofs

  committed
  86951ef

  Copy full SHA for 86951ef

• Clippy fix

  MicroProofs

  committed
  b507992

  Copy full SHA for b507992

• Remaining builtin

  MicroProofs

  committed
  a180486

  Copy full SHA for a180486

Commits on Dec 7, 2024

• Passing conformance tests

  MicroProofs

  committed
  5f1f379

  Copy full SHA for 5f1f379

• Add new conformance tests

  MicroProofs

  committed
  17fdbd3

  Copy full SHA for 17fdbd3

• Clippy fix

  MicroProofs

  committed
  4d7a242

  Copy full SHA for 4d7a242

• Cargo fmt fix

  MicroProofs

  committed
  ddc58b9

  Copy full SHA for ddc58b9