Labels

• bug

  Something isn't working
• critical

  Critical priority
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• phase-1

  Phase 1: Project Setup
• phase-2

  Phase 2: WebAssembly I/O
• phase-3

  Phase 3: ISLE Terms
• phase-4

  Phase 4: Optimization
• phase-5

  Phase 5: Verification
• phase-6

  Phase 6: CLI Tool
• phase-7

  Phase 7: Testing & Docs
• phase-8

  Phase 8: WASM Build
• question

  Further information is requested
• setup

  Project setup tasks
• wontfix

  This will not be worked on