List view

• v1.0.0

  Production Ready - Full Verification Coverage

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• v0.5.0

  Stack Safety Proofs & Enhanced Verification

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• v0.4.0

  Rocq Foundation & WSC Attestation

  No due date

  •2/2 issues closed
  100% complete0 open2 closed

• Minimal Example

  Complete minimal working example with i32.add constant folding

  No due date

  •8/8 issues closed
  100% complete0 open8 closed