Skip to content

No labels!

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

needs-discussion
needs-discussion
Issue that requires a discussion to make their status clear
needs-info
needs-info
The issue lacks details necessary to triage or act on it.
needs-triage
needs-triage
Mark an issue that needs triage: add label, add more contents
P1
P1
Max priority
P2
P2
Medium priority
P3
P3
Low priority
proverif
proverif
ProVerif backend
question
question
Further information is requested
regression
regression
Something used to work but doesn't anymore
rust
rust
Pull requests that update Rust code
tests
tests
Issue related to tests, CI or examples
unsupported-rust
unsupported-rust
Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
waiting-on-author
waiting-on-author
Status: This is awaiting some action from the author.
waiting-on-reviewer
waiting-on-reviewer
Status: Awaiting review from the assignee but also interested parties.
wontfix
wontfix
This will not be worked on
wontfix-v1
wontfix-v1
This will not be worked on, but might after v1.
workaround
workaround
This bug has a workaround