Benjamin Beurdouche

Ok, the AEAD ones will disappear as soon as we can delete that file. The Ed25519 `unused parameters` and `unused variables`, I can reproduce with `-Wall -Wextra` and I will...

@podhrmic Congrats on getting pprzlink out there ! Feel free to keep pointing me towards improvements here, it is very useful, we are slowly but surely improving on these things......

Note that HACL* is running on 16bit platforms through the RIOT operating system.

The snapshot generation is already under CI. `snapshots/hacl-c` is a dependency of `build/libhacl.so`

My mistake, I misread the issue, I'll investigate...

Not if you are using TLS 1.3.

Hi Demi, miTLS is already used in production, however the complexity of the project makes it difficult to treat as a traditional software artifact for third parties. I can let...

The TLS and QUIC parts are used in production too, but not at Mozilla. I'll let the MSFT folks comment on that point if they want to... : )

> Unfortunately, on OSX, hacl-star is known to unreliably build owing to OSX-specific Z3 behavior. We do not have OSX CI at the current time which makes these problems very...

@oweisse-msft Does NSS close the connection instead of sending an alert or does it keep going ? 1 - Sending a 'RESERVED' value with TLS 1.3 doesn't seem good. 3...