Lasse Letager Hansen

Named option types - None - identifier is not a constant

1

The following results in a name resolution error ```rust use hacspec_lib::*; pub type MySingleOptionType = Option; pub fn bar() { MySingleOptionType::None; } ``` the type being ```rust error[Hacspec]: identifier is...

Implement the result let binding from #300

The readme is outdated in some of the information, e.g. how to generate files for different backends, we should update it.

### Description Adding pearlite spec to the hacspec library. To run install creusot and run `cargo creusot -- --features=contracts`. ### Checklist - [x] The description above is sufficient to understand...

We are slowly growing the number of warnings for the library code (and examples). We should probably try and enforce some standard, to reduce the number of unnecessary warnings.

### Description Displays an issue with BLS12-381 quickcheck tests! (Found using coq impl.) A good description answers the following questions. - Is it possible to understand the design of your...

### Type of Changes - [X] Bugfix - [ ] New Feature - [ ] Breaking Change - [ ] Documentation Update - [X] CI Update ### Description Enable checking...

### Type of Changes - [ ] Bugfix - [x] New Feature - [ ] Breaking Change - [x] Documentation Update - [ ] CI Update ### Description Add possibility...

Make coq backend parse all examples

2

The coq backend should at a minimum be able to parse all the examples, that we can do in V2.