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

193 Open 274 Closed
193 Open 274 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: print reguar comments engine Issue in the engine enhancement New feature or request
#954 opened Oct 2, 2024 by W95Psp
CI: add cargo deny (and equivalent for OCaml, if exists?) tests Issue related to tests, CI or examples
#953 opened Oct 2, 2024 by W95Psp
Frontend: recover regular (//) comments enhancement New feature or request frontend Issue in the Rust to JSON translation
#951 opened Oct 2, 2024 by W95Psp
1
Some concrete_idents differ only by their kind bug Something isn't working engine Issue in the engine
#946 opened Oct 2, 2024 by maximebuyse
Frontend: tracing-tree: improve usability enhancement New feature or request frontend Issue in the Rust to JSON translation
#944 opened Oct 2, 2024 by W95Psp
[META] Frontend completeness frontend Issue in the Rust to JSON translation meta
#943 opened Oct 2, 2024 by W95Psp
4 tasks
Engine: move F* backend to the generic printer backend Issue in one of the backends (i.e. F*, Coq, EC...) engine Issue in the engine enhancement New feature or request f* F* backend
#942 opened Oct 2, 2024 by W95Psp
Engine: generate AST destructors engine Issue in the engine enhancement New feature or request
#941 opened Oct 2, 2024 by W95Psp
1
Engine: introduce an runtime invariant system for phases engine Issue in the engine enhancement New feature or request
#939 opened Oct 2, 2024 by W95Psp
Engine: phases: examples engine Issue in the engine enhancement New feature or request
#938 opened Oct 2, 2024 by W95Psp
Engine: phases: record time engine Issue in the engine enhancement New feature or request
#937 opened Oct 2, 2024 by W95Psp
Engine: better debugging infrastructure engine Issue in the engine enhancement New feature or request
#936 opened Oct 2, 2024 by W95Psp
Engine: functionalize every kind of loop engine Issue in the engine marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine
#933 opened Sep 30, 2024 by W95Psp
2 of 4 tasks
Unsupported Rust: dyn* Trait (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix This will not be worked on
#931 opened Sep 30, 2024 by W95Psp
Unsupported Rust: auto traits (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix This will not be worked on
#930 opened Sep 30, 2024 by W95Psp
Unsupported rust: associated type defaults (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine 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.
#929 opened Sep 30, 2024 by W95Psp
Unsupported Rust: foreign types (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix This will not be worked on
#928 opened Sep 30, 2024 by W95Psp
Unsupported Rust: never patterns (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix This will not be worked on
#927 opened Sep 30, 2024 by W95Psp
Unsupported Rust: deref patterns (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon. wontfix This will not be worked on
#926 opened Sep 30, 2024 by W95Psp
Unsupported Rust: range patterns keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
#925 opened Sep 30, 2024 by W95Psp
1
Unsupported Rust: coroutines (nightly) keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine 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.
#924 opened Sep 30, 2024 by W95Psp
Unsupported Rust: const inline blocks engine Issue in the engine keep-open marked-unimplemented Issue refered by `Unimplemented {issue_id...}` in the engine unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
#923 opened Sep 30, 2024 by W95Psp
Frontend: cli: select items to extract, with or without body enhancement New feature or request frontend Issue in the Rust to JSON translation
#922 opened Sep 30, 2024 by W95Psp
Frontend: add support for GATs frontend Issue in the Rust to JSON translation unsupported-rust Rust code rejected by hax. Unless marked wontfix, we want to support it soon.
#915 opened Sep 26, 2024 by W95Psp
Tuple struct constructors are not always usable bug Something isn't working engine Issue in the engine frontend Issue in the Rust to JSON translation
#914 opened Sep 26, 2024 by ROMemories
1
ProTip! Add no:assignee to see everything that’s not assigned.