Labels

• air

  Related to Miden AIR and constraints
• assembly

  Related to Miden assembly
• core

  Related to `miden-core` (and related concerns)
• corelib

  Related to Miden VM core library
• debugging

  Related to debugging of MASM programs
• dependencies

  Pull requests that update a dependency file
• documentation

  Improvements or additions to documentation
• good first issue

  Good for newcomers
• instruction set

  Related to Miden VM instruction set
• no changelog

  This PR does not require an entry in the `CHANGELOG.md` file
• on hold

  This issue is blocked or we don't want to start it yet
• plonky3

  Related to Plonky3 migration
• precompiles

  Related to precompiles
• processor

  Related to Miden VM processor
• quality-concern
• recursive verifier

  Related to recursive verifier implementation
• tests

  Related to tests
• tools

  Tools for interacting with Miden VM