Labels

attributes
attributes
base typing
base typing
blocking
blocking
bug
bug
Something isn't working
C features
C features
CI
CI
Related to CI infrastructure
cn
cn
CN spec testing
CN spec testing
CN-exec
CN-exec
Related to CN executable spec generation, called using `cn instrument`
desugaring
desugaring
bug in Cabs_to_ail{_*}.lem
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
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
subobject
subobject
Sub-object semantics is involved in the issue
technical debt
technical debt
Something for internal cleanup
ui/ux
ui/ux
Issue with presentation or user experience
will fix later
will fix later

24 labels