Skip to content
This repository has been archived by the owner on Mar 7, 2024. It is now read-only.

Issues: hacspec/hacspec

80 Open 38 Closed
80 Open 38 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

syn 2 breaks the build
#373 opened Mar 24, 2023 by chris-wood
6
implementation of from_be_bytes in math_integers is missing lib 📚 A hacspec library issue needs work
#362 opened Feb 22, 2023 by Gyuude
1
Cleanup warnings documentation 🗒 Improvements or additions to documentation meta needs work
#338 opened Nov 23, 2022 by cmester0
Outdated README documentation 🗒 Improvements or additions to documentation
#333 opened Nov 11, 2022 by cmester0
F* backend: variants are extracted to constructors whose payloads are tuples
#325 opened Nov 7, 2022 by W95Psp
Add result let binding
#304 opened Oct 11, 2022 by cmester0
@cmester0
Type the AST more precisely, to avoid unwraps and panics typechecker 👔
#303 opened Oct 7, 2022 by W95Psp
Bad name resolution in the case of external re-exported module bug 🐞 Something isn't working typechecker 👔
#293 opened Sep 19, 2022 by W95Psp
1
Add F* to the CI ci ⚙️
#289 opened Sep 1, 2022 by franziskuskiefer
Importing from the same crate bug 🐞 Something isn't working typechecker 👔
#286 opened Aug 15, 2022 by rasmus-kirk
A sequence of sequences bug 🐞 Something isn't working enhancement 🚀 New feature or request lib 📚 A hacspec library issue
#285 opened Aug 15, 2022 by rasmus-kirk
^ operation not available for type bool bug 🐞 Something isn't working lib 📚 A hacspec library issue
#284 opened Aug 4, 2022 by franziskuskiefer
Implement unary negation for natural number enhancement 🚀 New feature or request lib 📚 A hacspec library issue
#282 opened Aug 2, 2022 by franziskuskiefer
Allow skipping the enum type when using variants enhancement 🚀 New feature or request typechecker 👔
#281 opened Aug 2, 2022 by franziskuskiefer
Return Result type triage needed
#276 opened Jul 8, 2022 by malteafg
Replace im triage needed typechecker 👔
#274 opened Jul 5, 2022 by franziskuskiefer
Unable to use hacspec in edition 2021 crates bug 🐞 Something isn't working
#270 opened Jun 21, 2022 by franziskuskiefer
from_byte_seq_le prepends bytes instead of appending bug 🐞 Something isn't working lib 📚 A hacspec library issue
#241 opened Apr 19, 2022 by malteafg
Keep generated files up to date ci ⚙️
#239 opened Apr 4, 2022 by cmester0
2
Update readme with changes to cmd line arguments
#238 opened Mar 31, 2022 by cmester0
1
Add proper handling of the SeqTrait to EC ec EasyCrypt
#236 opened Mar 29, 2022 by cmester0
Add proper handling of the SeqTrait to F* F* triage needed
#235 opened Mar 29, 2022 by cmester0
Ensure consistent folder structure / naming
#232 opened Mar 18, 2022 by cmester0
Enhancement | A linear algebra library enhancement 🚀 New feature or request lib 📚 A hacspec library issue
#226 opened Mar 2, 2022 by rasmus-kirk
@rasmus-kirk
5
typechecker module imports "identifier is not a constant" bug 🐞 Something isn't working typechecker 👔
#222 opened Feb 21, 2022 by franziskuskiefer
ProTip! Updated in the last three days: updated:>2024-05-06.