search

kframework / k-legacy

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

Fixes for Crypto. #2312

Closed msaxena2 closed 7 years ago

msaxena2 commented 7 years ago

@cos please review. Very minor changes to ensure Keccak's functionality is correct.