search

project-everest / mitls-fstar

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

TLS Mem Step 0: funnel uses of Heap, HyperHeap, HyperStack through Mem #170

Closed tahina-pro closed 6 years ago

tahina-pro commented 7 years ago

Towards a common file for a unified TLS memory model. Step 0: a common namespace.

tahina-pro commented 6 years ago

Obsolete since the new F* memory model, but should be kept as reference for the future.