Labels

• base typing
• Bennet

  Related to input generation via random backtracking search. Available via `cn test`
• blocking
• bug

  Something isn't working
• C features
• CI

  Related to CI infrastructure
• CN sequence testing
• CN spec testing

  Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.
• Darcy

  Related to input generation via constraint solving. Available via `cn test --symbolic`
• desugaring

  Bugs in the frontend of cerberus-lib
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• enhancement

  New feature or request
• Fulminate

  Related to CN executable spec generation, called using `cn instrument`
• invalid

  This doesn't seem right
• language

  Related to design of the CN language
• lemmas/prover
• performance
• question

  Further information is requested
• resource reasoning

  Related to reasources in specs
• solver

  Related to the SMT solver backend
• technical debt

  Something for internal cleanup
• ui/ux

  Issue with presentation or user experience