Lasse Letager Hansen
Lasse Letager Hansen
The CI should keep all generated files up to date, and check for merge conflicts when merging the update for files with proofs. See discussion on [Zulip](https://hacspec.zulipchat.com/#narrow/stream/269544-general/topic/Generated.20code) and relevant issues...
I made a test crate that aims to contain all the valid library functions of the hacspec library, so you can see whether you implementation is complete or not. At...
Since people are beginning to look at the generated files, we should have some way to keep these up to date, preferably without cluttering pull requests with updates to generated...
The readme says to use -o .extension , however this has changed. The readme should be updated to reflect this change.
See #233 for what has been done already.
We should specify how files should be named and the folder structure of generated files, such that it is consistent. This will help a lot when connecting up two or...
There seems to be some strange difference between empty tuples and unit types, when returning in a block in hacspec. Eg ``` if true { () } ``` throws the...
We should document assumption of the hacspec typechecker (file names / structures / restriction) that differ from rust.