lib:hevm
Modules
- EVM
- EVM.ABI
- EVM.Assembler
- EVM.CSE
- EVM.Concrete
- EVM.Dapp
- EVM.Effects
- EVM.Exec
- EVM.Expr
- EVM.FeeSchedule
- EVM.Fetch
- EVM.Format
- EVM.Fuzz
- EVM.Keccak
- EVM.Op
- EVM.Precompiled
- EVM.RLP
- EVM.SMT
- EVM.Sign
- EVM.Solidity
- EVM.Solvers
- EVM.Stepper
- EVM.SymExec
- EVM.Transaction
- EVM.Traversals
- EVM.Types
- EVM.UnitTest
Dependencies
- Decimal lib:Decimal >=0.5.1 && <0.6
- QuickCheck lib:QuickCheck >=2.13.2 && <2.15
- aeson lib:aeson >=2.0.0 && <2.2
- aeson-optics lib:aeson-optics >=1.2.0.1 && <1.3
- async lib:async >=2.2.4 && <2.3
- base lib:base >=4.9 && <5
- base16 lib:base16 >=1.0 && <1.1
- binary lib:binary >=0.8.6 && <0.9
- bytestring lib:bytestring >=0.11.3.1 && <0.12
- cereal lib:cereal >=0.5.8 && <0.6
- containers lib:containers >=0.6.0 && <0.7
- cryptonite lib:cryptonite >=0.30 && <0.31
- data-dword lib:data-dword >=0.3.1 && <0.4
- extra lib:extra >=1.7.14 && <2
- filepath lib:filepath >=1.4.2 && <1.5
- filepattern lib:filepattern >=0.1.2 && <0.2
- here lib:here >=1.2.13 && <1.3
- megaparsec lib:megaparsec >=9.0.0 && <10.0
- memory lib:memory >=0.16.0 && <0.20
- mtl lib:mtl >=2.2 && <2.4
- operational lib:operational >=0.2.3 && <0.3
- optics-core lib:optics-core >=0.4.1 && <0.5
- optics-extra lib:optics-extra >=0.4.2.1 && <0.5
- optics-th lib:optics-th >=0.4.1 && <0.5
- optparse-generic lib:optparse-generic >=1.3.1 && <1.6
- pretty-hex lib:pretty-hex >=1.1 && <1.2
- process lib:process >=1.6.5 && <1.7
- regex-tdfa lib:regex-tdfa >=1.2.3 && <1.4
- rosezipper lib:rosezipper >=0.2 && <0.3
- scientific lib:scientific >=0.3.6 && <0.4
- smt2-parser lib:smt2-parser >=0.1.0 && <0.2
- spawn lib:spawn >=0.3 && <0.4
- split lib:split >=0.2.3 && <0.3
- spool lib:spool >=0.1 && <0.2
- stm lib:stm >=2.5.0 && <2.6.0
- system-cxx-std-lib lib:system-cxx-std-lib >=1.0 && <2.0
- template-haskell lib:template-haskell >=2.19.0 && <3
- text lib:text >=1.2.3 && <2.1
- transformers lib:transformers >=0.5 && <0.7
- tree-view lib:tree-view >=0.5 && <0.6
- unliftio-core lib:unliftio-core >=0.2.1 && <0.3
- unordered-containers lib:unordered-containers >=0.2.10 && <0.3
- vector lib:vector >=0.12.1 && <0.14
- witch lib:witch >=1.1 && <1.3
- wreq lib:wreq >=0.5.3 && <0.6
Reverse dependencies
Direct only. Not exhaustive.