List view

• v1.0.0

  Production Ready - Full Verification Coverage

  No due date

  •1/2 issues closed
  50% complete1 open1 closed

• v0.5.0

  Stack Safety Proofs & Enhanced Verification

  No due date

  •0/2 issues closed
  0% complete2 open0 closed

• v0.4.0

  Rocq Foundation & WSC Attestation

  No due date

  •1/2 issues closed
  50% complete1 open1 closed

• Minimal Example

  Complete minimal working example with i32.add constant folding

  No due date

  •8/8 issues closed
  100% complete0 open8 closed