Labels

Deals with air (Arithmetic Intermediate Representation)

Something isn't working

Reduce technical debt, clean code.

Issues directly related to constraint generation.

Pull requests that update a dependency file

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

related to becoming field agnostic

All things related to go code-generation

Good for newcomers

Extra attention is needed

Related to inspect subcommand

This doesn't seem right

Further information is requested

Deals with raw representation (previously bci)

Related to testing

Anything related to tracing only

This will not be worked on