Skip to content

No labels!

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

43 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
annotations
annotations
1
attributes
attributes
3
backend
backend
Issue in one of the backends (i.e. F*, Coq, EC...)
17
book
book
1
bug
bug
Something isn't working
32
C
C
C backend
cli
cli
Related to command line
6
coq
coq
Coq backend
3
documentation
documentation
Improvements or additions to documentation
5
duplicate
duplicate
This issue or pull request already exists
ec
ec
EasyCrypt backend
1
engine
engine
Issue in the engine
80
enhancement
enhancement
New feature or request
49
f*
f*
F* backend
18
frontend
frontend
Issue in the Rust to JSON translation
30
generic-printer
generic-printer
3
good first issue
good first issue
Good for newcomers
7
hacspec
hacspec
help wanted
help wanted
Extra attention is needed
6
install
install
3
invalid
invalid
This doesn't seem right
keep-open
keep-open
31
lib
lib
Lib-related issue (e.g. annotations lib)
11
libcore
libcore
1
linter
linter
marked-unimplemented
marked-unimplemented
Issue refered by `Unimplemented {issue_id...}` in the engine
17
meta
meta
7
needs-discussion
needs-discussion
Issue that requires a discussion to make their status clear
6
needs-triage
needs-triage
Mark an issue that needs triage: add label, add more contents
P1
P1
Max priority
2