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
P2
P2
Medium priority
12
P3
P3
Low priority
7
proverif
proverif
ProVerif backend
1
question
question
Further information is requested
regression
regression
Something used to work but doesn't anymore
stale
stale
14
tests
tests
Issue related to tests, CI or examples
7
unsupported-rust
unsupported-rust
Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
22
waiting-on-author
waiting-on-author
Status: This is awaiting some action from the author.
1
waiting-on-reviewer
waiting-on-reviewer
Status: Awaiting review from the assignee but also interested parties.
wontfix
wontfix
This will not be worked on
8
wontfix-v1
wontfix-v1
This will not be worked on, but might after v1.
7
workaround
workaround
This bug has a workaround
5