Skip to content

Issues: cryspen/hax

Beta
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

168 Open 496 Closed
168 Open 496 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

Add hash-consing for DefIds frontend Issue in the Rust to JSON translation
#1419 opened Apr 24, 2025 by W95Psp
Add example phase and example backend
#1418 opened Apr 24, 2025 by W95Psp
F* type error from shadowed name for array type
#1407 opened Apr 16, 2025 by jschneider-bensch
Issue from mutability in function parameter pattern
#1405 opened Apr 16, 2025 by jschneider-bensch
Git diff automatically running backend validation enhancement New feature or request
#1403 opened Apr 14, 2025 by cmester0
hax-lib: quote macros: allow to refer to a given implementation
#1398 opened Apr 9, 2025 by W95Psp
Missing else branches in F* extraction bug Something isn't working rustc-tests
#1397 opened Apr 9, 2025 by maximebuyse
2
CI: examples: use stable Rust, not nightly ci
#1396 opened Apr 9, 2025 by W95Psp
Crash with arbitrary unicode in empty loop bug Something isn't working engine Issue in the engine rustc-tests
#1392 opened Apr 7, 2025 by maximebuyse
Support default field values
#1386 opened Apr 1, 2025 by Nadrieril
Phase setup hard to use
#1383 opened Apr 1, 2025 by cmester0
1
Don't run full CI on docs changes ci
#1382 opened Apr 1, 2025 by franziskuskiefer
Remove dependency to ocamlgraph fork
#1371 opened Mar 24, 2025 by maximebuyse
1
@maximebuyse
3
Documenting panic freeness documentation Improvements or additions to documentation
#1362 opened Mar 17, 2025 by spitters
TryInto for converting Vec to array of fixed size has the wrong error type f* F* backend libcore workaround This bug has a workaround
#1359 opened Mar 12, 2025 by maximebuyse
2
Explicitly passing --sysroot should no longer be necessary
#1358 opened Mar 12, 2025 by bjorn3
Iteration over a range of "negative" length in F* f* F* backend libcore
#1346 opened Mar 10, 2025 by maximebuyse
Unsupported Rust: inline assembly keep-open unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix-v1 This will not be worked on, but might after v1.
#1344 opened Mar 10, 2025 by W95Psp
Unsupported Rust: static mut _: ... = ...; keep-open unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix-v1 This will not be worked on, but might after v1.
#1343 opened Mar 10, 2025 by W95Psp
Build docs on PRs ci
#1326 opened Feb 27, 2025 by franziskuskiefer
Engine: Mutable borrows on two-dimensional arrays not allowed engine Issue in the engine
#1324 opened Feb 25, 2025 by karthikbhargavan
[ProVerif] Translate generic types stale
#1314 opened Feb 17, 2025 by jschneider-bensch
2
Support impl Trait in attribute name interpolation attributes stale workaround This bug has a workaround
#1313 opened Feb 17, 2025 by jschneider-bensch
4
Support thread locals bug Something isn't working frontend Issue in the Rust to JSON translation
#1311 opened Feb 14, 2025 by Nadrieril
Trait resolution crash on coinductive goal frontend Issue in the Rust to JSON translation stale
#1310 opened Feb 13, 2025 by Nadrieril
3
ProTip! Exclude everything labeled bug with -label:bug.