All pull requests

Pull requests

• feat: configure GitHub Pages deployment workflow for AirScript

  #561·malakasaray-del opened Oct 20, 2026·

  ·

• fix: avoid trace-access collisions in CSE random inputs

  #560·bravesasha opened Jul 21, 2026·

  ·

• docs: add pure functions guide to AirScript mdBook

  #559·mikhailivich opened May 7, 2026·

  ·
  1

• fix: correct conditional constraint example to match description

  #535·CreeptoGengar opened Jan 13, 2026·

  ·

• compare evaluation winterfell plonky3

  #533·Soulthym opened Jan 9, 2026Contributor·11 of 12 tasks·

  ·
  1

• fix(mir): make BackLink parent removal precise

  #531·phrwlk opened Jan 5, 2026·

  ·
  1

• Enforce errors for missing items in Import::Partial

  #473·GarmashAlex opened Sep 26, 2025·

  ·
  1

• Add plonky3 backend

  #461·Leo-Besancon opened Sep 17, 2025Contributor·13 of 14 tasks·

  ·
  1

  26

• Separation between Felt, Bool, and Uint types

  #423·Soulthym opened Jul 18, 2025Contributor·10 of 28 tasks·

  ·
  20

• Tracking PR for v0.5.0 release

  #412·bobbinth opened Jun 21, 2025Contributor·

  ·
  10