hevm-0.53.0: Symbolic EVM Evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.Concrete

Documentation

byteStringSliceWithDefaultZeroes :: Int -> Int -> ByteString -> ByteString Source #

sliceMemory :: W256 -> W256 -> ByteString -> ByteString Source #

writeMemory :: ByteString -> W256 -> W256 -> W256 -> ByteString -> ByteString Source #

createAddress :: Addr -> W64 -> Expr EAddr Source #

create2Address :: Addr -> W256 -> ByteString -> Expr EAddr Source #