Labels

base typing
base typing
Bennet
Bennet
Related to input generation via random backtracking search. Available via `cn test`
blocking
blocking
bug
bug
Something isn't working
C features
C features
CI
CI
Related to CI infrastructure
CN sequence testing
CN sequence testing
CN spec testing
CN spec testing
Related to Bennet, Darcy, or the shared infrastructure for running spec-based random testing.
Darcy
Darcy
Related to input generation via constraint solving. Available via `cn test --symbolic`
desugaring
desugaring
Bugs in the frontend of cerberus-lib
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
Fulminate
Fulminate
Related to CN executable spec generation, called using `cn instrument`
invalid
invalid
This doesn't seem right
language
language
Related to design of the CN language
lemmas/prover
lemmas/prover
performance
performance
question
question
Further information is requested
resource reasoning
resource reasoning
Related to reasources in specs
solver
solver
Related to the SMT solver backend
technical debt
technical debt
Something for internal cleanup
ui/ux
ui/ux
Issue with presentation or user experience

23 labels