Franziskus Kiefer

We currently run ubsan and asan (`-fsanitize=address -fno-omit-frame-pointer -fsanitize=undefined`) on CI for linux 32/64 https://github.com/cryspen/hacl-packages/actions/workflows/sanitizer_builds.yml.

This is related to fixing the Evercrypt DRBG API not to call `Lib_RandomBuffer_System_randombytes` directly.

> @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? Nope, this...

hacl-packages doesn't actually check for avx when looking for vec128. It is only enabled for vec256 (together with avx2). vec128 on x86/64 currently checks for SSE2, SSE3, SSE4.1, and SSE4.2...

> @franziskuskiefer what do we do with this? is there freebsd CI on hacl-packages? We don't have CI for this. It's not a tier 2 platform. If there's someone interested...

We might want to re-implementing the cargo fingerprint. Some pointers for this * https://github.com/rust-lang/cargo/blob/master/src/cargo/core/compiler/fingerprint.rs * https://docs.rs/cargo/latest/cargo/core/compiler/struct.Context.html#structfield.fingerprints

I moved this out of spec changes to extension work.

#735 has been closed

The only technical change in here is to make the variable-length TLS encoding is safe. This will be tackled as part of #882.

> We need a way to provide types for functions coming from "imports". I thought about that yesterday and I think we shouldn't allow any imports other than local files...