Jonathan Protzenko

@Frosne can you confirm this looks good for you? I think we've pretty much committed to always having config.h now (even if it's hand-written), so __has_include can go I think.

Ok. Until now there *was* a config.h under version control for you guys, in dist/mozilla. Are you saying you're ok to remove dist/mozilla/config.h?

Sorry, here: https://github.com/hacl-star/hacl-star/blob/main/dist/config.mozilla.h

We're reviewing this, and agree that it would be good to refresh the copy of EverCrypt in cryptofuzz *and* augment the API coverage. Is anyone up for doing this? @s-zanella,...

Let's close this in favor of more concrete issues for specific algorithms. It looks like the original question was answered.

Reviewing this. One needs to: - write a stub that calls Lib.RandomBuffer.System.randombytes - uses HACL.DRBG.fsti to instantiate a DRBG with those random bytes - expose this under an API that...

Subsumed by #675

@franziskuskiefer have you noticed any missing headers in hacl-packages for the Windows CI regressions? @Frosne can you tell us which version of Visual Studio this happens with? If we need...

@Frosne have you integrated SHA3? are things working out alright?

Now that we have a complete Nix build (thanks to @pnmadelaine), all of the reproducibility issues are gone, and we can advise whoever wants to develop to use Nix to...