Issues

• Replace vendored bignum and curve gadgets with native portable implementations

  chore
  Task

  reilabs/mavros#435 · Filter by author veljkovranic opened on Oct 28, 2026

• Add native compilation via LLVM

  enhancement
  Feature

  reilabs/mavros#428 · Filter by author iamrecursion opened on Oct 22, 2026
  

• Expand the ABI to be field agnostic

  enhancement
  Feature

  reilabs/mavros#422 · Filter by author iamrecursion opened on Oct 20, 2026
  1

• Remove Field casts as a footgun

  enhancement
  Task

  reilabs/mavros#421 · Filter by author iamrecursion opened on Oct 20, 2026

• Optimise unit tests CI job

  chore
  Task

  reilabs/mavros#420 · Filter by author veljkovranic opened on Oct 20, 2026
  

• Emit one self-describing artifact instead of two (r1cs.bin + basic.json)

  enhancement
  Task

  reilabs/mavros#418 · Filter by author BornPsych opened on Oct 19, 2026
  

• Optimise the AD process

  enhancement
  Task

  reilabs/mavros#416 · Filter by author iamrecursion opened on Oct 14, 2026
  

• Verifier mode in Mavros

  enhancement
  Feature

  reilabs/mavros#411 · Filter by author batmendbar opened on Oct 8, 2026
  1

  

• Report user-derived errors properly

  chore
  Task

  reilabs/mavros#362 · Filter by author iamrecursion opened on Sep 16, 2026
  

• Implement mavros test

  enhancement
  Feature

  reilabs/mavros#349 · Filter by author batmendbar opened on Sep 8, 2026
  

• Implement capacity-doubling for vector push

  enhancement
  Task

  reilabs/mavros#290 · Filter by author batmendbar opened on Jul 7, 2026
  

• Further points-to-based enhancements

  enhancement
  Task

  reilabs/mavros#267 · Filter by author iamrecursion opened on Jun 17, 2026
  1

• Smarter optimisation

  enhancement
  Feature

  reilabs/mavros#260 · Filter by author kustosz opened on Jun 16, 2026
  7

  

• Make it possible for the status analysis comments to occur on PRs from forks

  chorehelp wanted
  Task

  reilabs/mavros#233 · Filter by author iamrecursion opened on Jun 10, 2026

• Add support for opaque defs

  enhancement
  Feature

  reilabs/mavros#204 · Filter by author iamrecursion opened on May 29, 2026

• Do live values better

  refactoring
  Task

  reilabs/mavros#203 · Filter by author iamrecursion opened on May 29, 2026

• Pointer-based SSA

  refactoring
  Task

  reilabs/mavros#200 · Filter by author kustosz opened on May 28, 2026

• Refactor analyses return types

  refactoring
  Task

  reilabs/mavros#199 · Filter by author kustosz opened on May 28, 2026

• Handle Globals in DCE

  chore
  Task

  reilabs/mavros#189 · Filter by author kustosz opened on May 21, 2026

• Review auto-unrolled loops in the passes

  chore
  Task

  reilabs/mavros#181 · Filter by author kustosz opened on May 19, 2026

• Add OpCode::get_types_mut

  enhancement
  Task

  reilabs/mavros#179 · Filter by author iamrecursion opened on May 18, 2026

• Improve the simplifier

  enhancement
  Task

  reilabs/mavros#178 · Filter by author iamrecursion opened on May 18, 2026

• Defunctionalization is non-exhaustive

  chore
  Task

  reilabs/mavros#175 · Filter by author iamrecursion opened on May 18, 2026

• Improve CSE's aggressiveness

  enhancement
  Task

  reilabs/mavros#172 · Filter by author iamrecursion opened on May 18, 2026
  1

• Combine defunctionalization and specialization dispatch functions

  enhancement
  Feature

  reilabs/mavros#171 · Filter by author iamrecursion opened on May 18, 2026