search

project-everest / mitls-fstar

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

Use a temp heap for FFI_mitls_get_hello_summary #201

Closed BarryBo closed 6 years ago

BarryBo commented 6 years ago

Also fix a warning building Windows usermode