hevm-0.50.1: Ethereum virtual machine evaluator
Safe HaskellSafe-Inferred
LanguageGHC2021

EVM.CSE

Description

 
Synopsis

Documentation

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

Common subexpression elimination pass for list of Prop