search

GaloisInc / hacrypto

Experiments in high-assurance crypto.
BSD 3-Clause "New" or "Revised" License
46 stars 14 forks source link

port Cryptol version 1 SHA2 to Cryptol version 2 #24

Closed kiniry closed 10 years ago

kiniry commented 10 years ago

Aaron, this is for you to delegate, including back to us after a brief conversation about :modernize.

jldodds commented 10 years ago

Completed by @kiniry @dylanmc and @jldodds.