Jonathan Protzenko

once this proof is fixed, the code will be ready to merge for me too @karthikbhargavan when you have a chance can you try to formally approve this PR? we...

``` Error 19 at /build/source/code/sha3/Hacl.Spec.SHA3.Equiv.fst(852,2-852,10): hacl-star> - Assertion failed hacl-star> - The SMT solver could not prove the query. Use --query_stats for more hacl-star> details. hacl-star> - See also /build/source/lib/Lib.Sequence.fsti(87,56-87,80)...

Congrats! This is green. Please ask @karthikbhargavan for a second review and a merge :-)

Note: I found this bug while spending an afternoon going down the rabbit hole of header inclusion in krml. Following my most recent changes, `callconv.h` should only be used from...

ok, because the Vale assembly code definitely expects stdcall, so I'm just curious how this is even working out -- the default is cdecl I think on Windows... isn't there...

@pnmadelaine can you add `uucp` to the build? I thought I had fixed the karamel flake properly but I must've done something wrong...?

@franziskuskiefer bringing your attention to this, as it might impact performance on HACL packages

@pnmadelaine @twal @W95Psp hey Nix gurus, I added cargo here: https://github.com/hacl-star/hacl-star/pull/918/commits/d354afe29fb33877da9066b9475ba986b03dd6b6 but I'm still getting "cargo: command not found" in the build logs can someone help me on the path...

``` hacl-star> error: could not find `Cargo.toml` in `/build/source/dist/rs` or any parent directory ``` that's progress! but I'm pretty sure the file is there 🤔 hoping for one of the...

> the source files that make it into the Nix build are filtered here: > ugh... the directory is a mix of hand-written files and autogenerated files, do I really...