search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

SHA 3 and SHA 356 Builtin Crypto Operations #2315

Closed msaxena2 closed 7 years ago

msaxena2 commented 7 years ago

@cos Please review.