hevm-0.50.1: Ethereum virtual machine evaluator

Safe Haskell	Safe-Inferred
Language	GHC2021

EVM.CSE

Description

Synopsis

type BufEnv = Map Int (Expr Buf)
type StoreEnv = Map Int (Expr Storage)
eliminateExpr :: Expr a -> (Expr a, BufEnv, StoreEnv)
eliminateProps :: [Prop] -> ([Prop], BufEnv, StoreEnv)

Documentation

type BufEnv = Map Int (Expr Buf) Source #

type StoreEnv = Map Int (Expr Storage) Source #

eliminateExpr :: Expr a -> (Expr a, BufEnv, StoreEnv) Source #

eliminateProps :: [Prop] -> ([Prop], BufEnv, StoreEnv) Source #

Common subexpression elimination pass for list of Prop