Issues
- 0
Outdated README
#333 opened by cmester0 - 6
syn 2 breaks the build
#373 opened by chris-wood - 1
- 0
Cleanup warnings
#338 opened by cmester0 - 0
- 0
Add result let binding
#304 opened by cmester0 - 0
Returning `()` in if statements results in error.
#228 opened by cmester0 - 0
- 0
Empty Tuple struct, does not work
#287 opened by cmester0 - 0
- 1
- 3
Using consts from other module fails
#272 opened by franziskuskiefer - 0
Add proper handling of the `SeqTrait` to `EC`
#236 opened by cmester0 - 0
Add proper handling of the `SeqTrait` to `F*`
#235 opened by cmester0 - 0
Replace im
#274 opened by franziskuskiefer - 0
Return Result type
#276 opened by malteafg - 0
- 0
Implement unary negation for natural number
#282 opened by franziskuskiefer - 0
^ operation not available for type bool
#284 opened by franziskuskiefer - 0
A sequence of sequences
#285 opened by rasmus-kirk - 0
Importing from the same crate
#286 opened by rasmus-kirk - 0
Add F* to the CI
#289 opened by franziskuskiefer - 2
Split ed25519 into two separate crates
#260 opened by malteafg - 0
Version control merge of files with proofs
#218 opened by cmester0 - 0
Unable to use hacspec in edition 2021 crates
#270 opened by franziskuskiefer - 0
from_byte_seq_le prepends bytes instead of appending
#241 opened by malteafg - 2
Keep generated files up to date
#239 opened by cmester0 - 0
Update readme with changes to cmd line arguments
#238 opened by cmester0 - 0
Ensure consistent folder structure / naming
#232 opened by cmester0 - 3
If expressions: Issues with series of statements
#229 opened by rasmus-kirk - 5
Enhancement | A linear algebra library
#226 opened by rasmus-kirk - 0
- 0
High level description of typechecker
#219 opened by cmester0 - 1
- 1
F* from_byte_seq_be translation is broken
#214 opened by franziskuskiefer - 0
- 0
- 4
mutability not detected - trying to reassign to an inexisting variable
#207 opened by franziskuskiefer - 4
Rustdoc broken
#203 opened by franziskuskiefer - 0
typechecker fails with custom crate_type
#201 opened by franziskuskiefer - 0
- 1
- 3
- 1
Warn on integer casting only when necessary
#195 opened by franziskuskiefer - 0
Update Rust nightly version
#192 opened by franziskuskiefer - 0
Finding candidate functions from external crates return spurious results
#194 opened by denismerigoux - 2
Don't require `Default` on `Seq<T>`
#191 opened by franziskuskiefer - 0
Return Results in Seq
#189 opened by franziskuskiefer - 0
Add match statements to the language
#186 opened by denismerigoux - 0
Add keyword avoidance mechanism for F* backend
#185 opened by protz