ml-kem: Use member function when hax allows

cryspen / libcrux

The formally verified crypto library for Rust

https://cryspen.com/libcrux

Apache License 2.0

88 stars 14 forks source link

ml-kem: Use member function when hax allows #403

Closed franziskuskiefer closed 1 month ago

franziskuskiefer commented 3 months ago

When https://github.com/hacspec/hax/issues/616 is fixed we can undo all the ugliness of moving code out of impl blocks.

github-actions[bot] commented 1 month 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 1 month 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.