8000 Issues · cryspen/hax · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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

174 Open 499 Closed
174 Open 499 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

Decapitated/Unmaintained dependencies on hax_lib_macros crate
#1447 opened May 10, 2025 by Nichokas
1
Function types are not supported
#1446 opened May 8, 2025 by N1ark
1
Coverage tests / semantic tests tests Issue related to tests, CI or examples
#1443 opened May 6, 2025 by cmester0
Names in generated CoqProject_ for Coq extraction coq Coq backend
#1442 opened May 6, 2025 by cmester0
@cmester0
Enable / support more coverage tests in Coq coq Coq backend tests Issue related to tests, CI or examples
#1441 opened May 6, 2025 by cmester0
@cmester0
Missing OPAM flag on installation instructions when working with several switches
#1440 opened May 5, 2025 by clementblaudeau
Missing type annotations for two-dimensional array access
#1434 opened Apr 29, 2025 by jschneider-bensch
Fatal error on continue
#1433 opened Apr 29, 2025 by jschneider-bensch
1
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
4
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< 59D7 /tool-tip> 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
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.
0