Verified crypto and Everest integration

[sishtiaq]

Epic.

[sishtiaq]

duplicate of #94

[vkanne-msft]

Samin, they are not duplicate s.one is about the verified algorithm itself and the other is about integration.

Get Outlook for Androidhttps://aka.ms/ghei36

---

From: Samin Ishtiaq [email protected] Sent: Tuesday, November 1, 2016 7:18:42 AM To: mitls/mitls-fstar Subject: Re: [mitls/mitls-fstar] Verified crypto and Everest integration (#145)

Closed #145https://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fmitls%2Fmitls-fstar%2Fissues%2F145&data=02%7C01%7Cvkanne%40microsoft.com%7C5844197288c84f107c5508d40261fcd9%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636136067261450241&sdata=FLv3gWkHkFWSzPX9vEKKwUO%2FQhCdWAyleUeY09EOVHk%3D&reserved=0.

You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fmitls%2Fmitls-fstar%2Fissues%2F145%23event-843406723&data=02%7C01%7Cvkanne%40microsoft.com%7C5844197288c84f107c5508d40261fcd9%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636136067261450241&sdata=LdYF6bSqJEy2lUgVIxv%2FATvk8%2F8kxdkE1MI8Vm664xQ%3D&reserved=0, or mute the threadhttps://na01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fnotifications%2Funsubscribe-auth%2FASzQ2NzOk7cs9Nz__Ewhlc39jloCDrlNks5q50pCgaJpZM4KmIiW&data=02%7C01%7Cvkanne%40microsoft.com%7C5844197288c84f107c5508d40261fcd9%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C636136067261450241&sdata=dqhycyMgrTFmdVW%2BULtZlxsi3Oib2MSEiTrKkcNXNhw%3D&reserved=0.

[vkanne-msft]

We are not still done with C extraction from Dafny/Spartan