Labels

aeneas-lean
aeneas-lean
For Issues/PR that apply to the aeneas-lean backend
annotations
annotations
attributes
attributes
backend
backend
Issue in one of the backends (i.e. F*, Coq, EC...)
book
book
bug
bug
Something isn't working
C
C
C backend
ci
ci
cli
cli
Related to command line
coq
coq
Coq backend
dependencies
dependencies
Pull requests that update a dependency file
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
easy-fix
easy-fix
ec
ec
EasyCrypt backend
engine
engine
Issue in the engine
enhancement
enhancement
New feature or request
f*
f*
F* backend
frontend
frontend
Issue in the Rust to JSON translation
generic-printer
generic-printer
good first issue
good first issue
Good for newcomers
hacspec
hacspec
help wanted
help wanted
Extra attention is needed
install
install
invalid
invalid
This doesn't seem right
javascript
javascript
Pull requests that update javascript code
keep-open
keep-open
lean
lean
Related to the Lean backend or library
lib
lib
Lib-related issue (e.g. annotations lib)
linter
linter