hacspec
Release `v1~pre` hax
We should release a version of hax soon.
Karthik and I were thinking about the following release calendar: two weeks after each Rust release (each six weeks).
- [x] ~#639~
- [x] Update all crates that need to be release to be release-ready
- [x] Make OCaml code release ready
- [x] Set release GH team (this is https://crates.io/teams/github:hacspec:crates)
- [x] Write release docs (this is #971)
- [ ] Release OCaml
- [x] Release Rust (this is #305)
- [x] Update Readme
- [ ] Blog post
Solving rough edges:
- #196, #15
- traits:
- associated types, constants
- stealing issue? (rustc bump before)
- fix https://github.com/hacspec/hax/issues/622
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been closed due to a lack of activity since being marked as stale. If you believe this issue is still relevant, please reopen it with an update or comment.
We have to triage a bit and decide exactly which issues needs to be solved for releasing, let's do that on Monday (23th Sept).
Would be nice to have exemplary examples for each backends.
Let's start with a minimal pre-release. @W95Psp please define the minimum tasks required for that.
Shall we close this @franziskuskiefer? I don't think we want to make a blog post just yet, let's wait for v1?