Skip to content

No labels!

There aren’t any labels for this repository quite yet.

annotations
annotations
attributes
attributes
backend
backend
Issue in one of the backends (i.e. F*, Coq, EC...)
bug
bug
Something isn't working
C
C
C backend
cli
cli
Related to command line
coq
coq
Coq backend
documentation
documentation
Improvements or additions to documentation
duplicate
duplicate
This issue or pull request already exists
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
invalid
invalid
This doesn't seem right
lib
lib
Lib-related issue (e.g. annotations lib)
linter
linter
marked-unimplemented
marked-unimplemented
Issue refered by `Unimplemented {issue_id...}` in the engine
needs-discussion
needs-discussion
Issue that requires a discussion to make their status clear
needs-triage
needs-triage
Mark an issue that needs triage: add label, add more contents