search

hacspec / hax

A Rust verification tool
https://hacspec.org/blog
Apache License 2.0
200 stars 21 forks source link

Secret integers #435

Open W95Psp opened 10 months ago

W95Psp commented 10 months ago

Waiting for #607 and #642

Links

github-actions[bot] commented 2 months 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.

karthikbhargavan commented 2 months ago

Still relevant, needs a plan.

github-actions[bot] commented 5 days 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.