project-everest / mitls-fstar

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

Upgrade Extension and HandshakeMessage types to QD parsers #218

Open ad-l opened 5 years ago

ad-l commented 5 years ago

In preparation of the new HandshakeLog interface, we should finish porting the types of message contents to the QD-generated ones.

Once this is done, we can update the internal extension parsers in HandshakeMessage to the generated ones. The next step is to upgrade HandshakeMessage itself:

ad-l commented 5 years ago

The first part is complete in adl_extensions