Labels

18 labels

backend
backend
Topics: Encoding, Arithmetic constraints, Verification, Layouting
bug
bug
Something isn't working
deductions
deductions
[tmp while we're specifying] deduction-related issues
discussion
discussion
Topic that requires discussion
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
enhancement
enhancement
New feature or request
frontend
frontend
Topics: Language, Syntactic Sugar, Usability
good first issue
good first issue
Good for newcomers
help wanted
help wanted
Extra attention is needed
impl
impl
code to implement
invalid
invalid
This doesn't seem right
podlang
podlang
The language to write custom predicates and pod requests
question
question
Further information is requested
random-notes
random-notes
refactor
refactor
Refactoring task that may be left for the appropriate time
use-case
use-case
wontfix
wontfix
This will not be worked on