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

192 Open 349 Closed
192 Open 349 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

Allow impls to be opaque
#1119 opened Nov 14, 2024 by maximebuyse
@maximebuyse
1
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
Multiple tuple structs naming inconsistency. bug Something isn't working
#1097 opened Nov 4, 2024 by cmester0
[Book] Rust by example & playground documentation Improvements or additions to documentation
#1096 opened Nov 4, 2024 by franziskuskiefer
@W95Psp
Bignum library
#1093 opened Nov 4, 2024 by cmester0
Use AST generator for testing coverage backend Issue in one of the backends (i.e. F*, Coq, EC...) engine Issue in the engine enhancement New feature or request
#1085 opened Oct 31, 2024 by cmester0
Debug Asserts with arguments throw an error in F*. bug Something isn't working f* F* backend
#1082 opened Oct 31, 2024 by karthikbhargavan
frontend: THIR: assertion failed: generics.is_empty() bug Something isn't working frontend Issue in the Rust to JSON translation
#1081 opened Oct 31, 2024 by W95Psp
Remove special treatment of trait methods in bundling for fstar engine Issue in the engine f* F* backend
#1078 opened Oct 30, 2024 by maximebuyse
import_thir: use FullDef instead of Item and drop Item engine Issue in the engine enhancement New feature or request frontend Issue in the Rust to JSON translation
#1072 opened Oct 30, 2024 by W95Psp
Cyclic dependency introduced by bundling with let open bug Something isn't working engine Issue in the engine
#1070 opened Oct 29, 2024 by maximebuyse
1
@maximebuyse
9
Trait methods are not moved by bundling bug Something isn't working engine Issue in the engine
#1068 opened Oct 29, 2024 by maximebuyse
1
FnMut closures are not supported yet bug Something isn't working engine Issue in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
#1060 opened Oct 28, 2024 by franziskuskiefer
4
Error when casting mut to const pointer bug Something isn't working engine Issue in the engine
#1059 opened Oct 28, 2024 by maximebuyse
2
tests: when crate names breaks, we get Once instance has previously been poisoned engine Issue in the engine enhancement New feature or request
#1051 opened Oct 28, 2024 by W95Psp
Doc: markdown grammar documentation Improvements or additions to documentation engine Issue in the engine
#1047 opened Oct 28, 2024 by W95Psp
@cmester0
Exporter: panic: binder.rs: "out of range when instantiating" bug Something isn't working frontend Issue in the Rust to JSON translation
#1046 opened Oct 28, 2024 by W95Psp
8
cargo-hax: add a --single-file to cargo hax cli Related to command line enhancement New feature or request
#1040 opened Oct 24, 2024 by W95Psp
ProTip! Type g i on any issue or pull request to go back to the issue listing page.