All pull requests

Pull requests

• WIP dependent tuples

  #143·croyzor opened Oct 29, 2026Collaborator·

  ·

• bit in kernels, bool in classical brat

  #142·acl-cqc opened Oct 29, 2026Collaborator·

  ·

• feat: Kernel Tuples!

  #141·croyzor opened Oct 29, 2026Collaborator·

  ·
  1

• chore: Install binutils in CI

  #140·croyzor opened Oct 29, 2026Collaborator·

  ·

• feat: Silently infer kind arguments to functions that produce kernels

  #139·croyzor opened Oct 29, 2026Collaborator·

  ·

• fix: Add missing vector constructors for kernels!!

  #138·croyzor opened Oct 29, 2026Collaborator·

  ·
  1

• feat: Builtin swap operator: %

  #137·croyzor opened Oct 29, 2026Collaborator·

  ·

• Remove compilation tests, improve interpreter tests w/ arguments in test directives

  #136·acl-cqc opened Sep 18, 2026Collaborator·

  ·

• feat: Use tket rotation gates instead of relying on BRAT extension

  #134·croyzor opened Sep 17, 2026Collaborator·

  ·
  1

• Use hugr panic instead of BRAT extension

  #133·croyzor opened Sep 14, 2026Collaborator·

  ·

• Use hugr bools in kernels

  #132·croyzor opened Sep 14, 2026Collaborator·

  ·
  1

  7

• tests: Move validation tests to the haskell test suite

  #119·croyzor opened May 8, 2026Collaborator·

  ·
  1

  8

• fix: Yield waiting for type of Arith expr to arrive

  #110·croyzor opened Apr 21, 2026Collaborator·

  ·
  2

• WIP: Thinnings on stack machine

  #106·croyzor opened Apr 14, 2026Collaborator·

  ·

• chore: Fix hlint action and apply changes

  #105·croyzor opened Mar 3, 2026Collaborator·

  ·
  35

• Stack machine2/missing

  #100·acl-cqc opened Jan 2, 2026Collaborator·

  ·

• WIP: Hugr compilation uses nonlocals and does not undo

  #95·acl-cqc opened Dec 16, 2025Collaborator·

  ·

• WIP: Check for reversibility and controllability of circuits

  #77·croyzor opened Jan 17, 2025Collaborator·

  ·

• feat: Add nat hope solving

  #70·croyzor opened Dec 18, 2024Collaborator·

  ·
  1

  1

• feat: Human-friendly metavariable printing

  #54·croyzor opened Nov 11, 2024Collaborator·

  ·
  1

  27

  

• feat: Allow brackets in abstractors

  #53·croyzor opened Nov 6, 2024Collaborator·

  ·

• Allow vector patterns to be used in kernels

  #38·croyzor opened Oct 14, 2024Collaborator·

  ·
  11