libcrux icon indicating copy to clipboard operation
libcrux copied to clipboard
verified publisher icon cryspen

Kyber F* extraction: move `BitVecEq` to hax lib

Open W95Psp opened this issue 1 year ago • 1 comments

W95Psp avatar Feb 20 '24 10:02 W95Psp

@W95Psp what's the state of this?

franziskuskiefer avatar Jun 27 '24 15:06 franziskuskiefer

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 Aug 31 '24 02:08 github-actions[bot]

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.

github-actions[bot] avatar Sep 08 '24 02:09 github-actions[bot]