runtimeverification / haskell-backend

The symbolic execution engine powering the K Framework
BSD 3-Clause "New" or "Revised" License
204 stars 39 forks source link

Add hook for KRYPTO.keccak256raw #3966

Closed jberthold closed 2 days ago

jberthold commented 5 days ago

There are a few more of these KRYPTO.&_raw functions declared with hook without implementation. We could add them now, or as needed later.

The *raw family of (hooked) functions differs from the non-raw functions in that they return their result as a (byte) string of characters instead of encoding it as a sequence of hexa-decimal digits.

Example: