karthikbhargavan

I am waiting approval from my workplace HR for the CLA. French admin aren’t comfortable with online licenses, although I am trying to convince them its pretty standard. They would...

The CLA is now signed. > On 21 Nov 2018, at 19:36, Subodh Iyengar wrote: > > Thanks for the PR, do you mind signing the CLA. If you have...

I am preparing an update to the PR, which I will send to you over the holidays. If we manage to get a reasonable version accepted into master/experimental by the...

@jschneider-bensch this seems done now?

Is this PR still alive @xvzcf? It seems we already did this elsewhere.

This spec work is done in https://github.com/cryspen/libcrux/pull/475 We will merge this soon and then work more on it if needed for the proofs.

This is done. Awaiting a hax fix before merging. https://github.com/cryspen/libcrux/pull/475

Addressed by https://github.com/cryspen/libcrux/pull/169

Added an issue: https://github.com/cryspen/libcrux/issues/71

This fix still needs to be upstreamed to hax from hax-evit, so maybe keep this open?