Release hax - Githubissues

hacspec / hax

A Rust verification tool

https://hacspec.org/blog

Apache License 2.0

176 stars 19 forks source link

Release hax #632

Open W95Psp opened 4 months ago

W95Psp commented 4 months ago

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).

[ ] #639
[ ] Update all crates that need to be release to be release-ready
[ ] Make OCaml code release ready
[ ] Set release GH team
[ ] Write release docs
[ ] Release OCaml
[ ] Release Rust
[ ] Update Readme
[ ] Blog post

W95Psp commented 4 months ago

Solving rough edges:

196, #15
traits:
- associated types, constants
stealing issue? (rustc bump before)
fix https://github.com/hacspec/hax/issues/622

github-actions[bot] commented 3 weeks ago

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] commented 2 weeks ago

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.

W95Psp commented 3 days ago

Still relevant

hacspec / hax

Release hax #632

196, #15