search

project-everest / mitls-fstar

Verified implementation of TLS 1.3 in F*
https://www.mitls.org
Other
173 stars 16 forks source link

libquiccrypto build #223

Open msprotz opened 5 years ago

msprotz commented 5 years ago

As far as I know the libquiccrypto build is not under CI anywhere except for the everest upgrade. We should fix that.

Would also be good to remove the sole dependency from hacl-star to miTLS for the build of libquiccrypto.