Skip to content

Issues: hacspec/hax

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

198 Open 362 Closed
198 Open 362 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Engine: when the parsing of JSON fails, print an helpful message enhancement New feature or request
#1150 opened Nov 28, 2024 by W95Psp
Engine: F*: impl missing bounds on trait generic types backend Issue in one of the backends (i.e. F*, Coq, EC...) bug Something isn't working engine Issue in the engine f* F* backend
#1144 opened Nov 27, 2024 by W95Psp
Book: add rewrite rules for certain phases book
#1142 opened Nov 26, 2024 by W95Psp
3 tasks
Book: add a list of phases with a brief documentation book
#1141 opened Nov 26, 2024 by W95Psp
Engine: F*: missing implicit type arguments for associated constants bug Something isn't working engine Issue in the engine
#1139 opened Nov 26, 2024 by W95Psp
[META] Opaque items and behaviour of interface-only mode engine Issue in the engine meta
#1137 opened Nov 26, 2024 by maximebuyse
Engine: name clash with nested mod and fns bug Something isn't working engine Issue in the engine
#1136 opened Nov 26, 2024 by W95Psp
[Meta] Naming issues bug Something isn't working engine Issue in the engine meta
#1135 opened Nov 26, 2024 by franziskuskiefer
1
engine: bundling: inconsistant renaming for inherent impls engine Issue in the engine enhancement New feature or request
#1133 opened Nov 25, 2024 by W95Psp
engine: F*: wrong field name for enum variant with record payload bug Something isn't working engine Issue in the engine
#1132 opened Nov 25, 2024 by W95Psp
Engine: F*: interface mode: dropped_body on associated constants of inherent impls bug Something isn't working engine Issue in the engine
#1131 opened Nov 25, 2024 by W95Psp
ProVerif queries from preconditions enhancement New feature or request proverif ProVerif backend
#1130 opened Nov 25, 2024 by jschneider-bensch
@jschneider-bensch
Rust component for ProVerif Processes backend Issue in one of the backends (i.e. F*, Coq, EC...) enhancement New feature or request proverif ProVerif backend
#1129 opened Nov 25, 2024 by jschneider-bensch
@jschneider-bensch
-i flag doesn't work correctly with ProVerif backend backend Issue in one of the backends (i.e. F*, Coq, EC...) bug Something isn't working cli Related to command line proverif ProVerif backend
#1128 opened Nov 25, 2024 by jschneider-bensch
@jschneider-bensch
Static items are ignored bug Something isn't working needs-triage Mark an issue that needs triage: add label, add more contents
#1127 opened Nov 22, 2024 by karthikbhargavan
Cyclic dependency with trait impl bug Something isn't working
#1124 opened Nov 21, 2024 by franziskuskiefer
1
@W95Psp @maximebuyse
2
Allow impls to be opaque needs-design We need to write a proper design for this issue.
#1119 opened Nov 14, 2024 by maximebuyse
1
@maximebuyse
4
F*: extract implementations without associated types as val instance ...
#1113 opened Nov 12, 2024 by W95Psp
@maximebuyse
Move our current Rust-ish printer to the generic printer enhancement New feature or request generic-printer
#1110 opened Nov 12, 2024 by W95Psp
Out Of Memory in the engine engine Issue in the engine
#1109 opened Nov 12, 2024 by W95Psp
2
Update CI dependencies ci
#1107 opened Nov 7, 2024 by franziskuskiefer
Fix use of ocaml re package
#1106 opened Nov 7, 2024 by franziskuskiefer
1 of 2 tasks
2
Cleanup dependencies and license checks
#1105 opened Nov 7, 2024 by franziskuskiefer
1
Increase test coverage for control flow rewrites (return, break, continue, ?) enhancement New feature or request tests Issue related to tests, CI or examples
#1103 opened Nov 6, 2024 by maximebuyse
Deep updates in F* blows up memory. engine Issue in the engine f* F* backend
#1098 opened Nov 5, 2024 by karthikbhargavan
ProTip! Add no:assignee to see everything that’s not assigned.