hevm: Ethereum virtual machine evaluator
Hevm implements the Ethereum virtual machine semantics. . It can be used as a library, and it also comes with an executable that can run unit test suites, optionally with a visual TTY debugger.
library hevm
Modules
[Index] [Quick Jump]
- EVM
- EVM.ABI
- EVM.Assembler
- EVM.CSE
- EVM.Concrete
- EVM.Dapp
- EVM.Debug
- EVM.Demand
- EVM.Dev
- EVM.Exec
- EVM.Expr
- EVM.Facts
- EVM.FeeSchedule
- EVM.Fetch
- EVM.Format
- EVM.Hexdump
- EVM.Keccak
- EVM.Op
- EVM.Patricia
- EVM.Precompiled
- EVM.RLP
- EVM.SMT
- EVM.Sign
- EVM.Solidity
- EVM.Solvers
- EVM.Stepper
- EVM.StorageLayout
- EVM.SymExec
- EVM.TTY
- EVM.TTYCenteredList
- EVM.Transaction
- EVM.Traversals
- EVM.Types
- EVM.UnitTest
library hevm:test-utils
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| ci | Sets flags for compilation in CI | Disabled |
| devel | Sets flag for compilation during development | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- hevm-0.50.4.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
| Versions [RSS] | 0.16, 0.17, 0.20, 0.21, 0.24, 0.41.0, 0.42.0, 0.44.1, 0.46.0, 0.47.0, 0.48.0, 0.49.0, 0.50.0, 0.50.1, 0.50.2, 0.50.3, 0.50.4, 0.50.5, 0.51.0, 0.51.1, 0.51.2, 0.51.3, 0.52.0, 0.53.0, 0.54.2 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | abstract-par (>=0.3.3 && <0.4), aeson (>=2.0.0 && <2.1), ansi-wl-pprint (>=0.6.9 && <0.7), array, async (>=2.2.4 && <2.3), base (>=4.9 && <5), base16 (>=0.3.2.0 && <0.3.3.0), binary (>=0.8.6 && <0.9), brick, bytestring (>=0.11.3.1 && <0.12), cereal (>=0.5.8 && <0.6), containers (>=0.6.0 && <0.7), cryptonite (>=0.30 && <0.31), data-dword (>=0.3.1 && <0.4), Decimal (>=0.5.1 && <0.6), deepseq (>=1.4.4 && <1.5), directory (>=1.3.3 && <1.4), filemanip, filepath (>=1.4.2 && <1.5), free (>=5.1.3 && <5.2), haskeline (>=0.8.0 && <0.9), here (>=1.2.13 && <1.3), hevm, HUnit (>=1.6), lens (>=5.1.1 && <5.2), lens-aeson (>=1.2.2 && <1.3), megaparsec (>=9.0.0 && <10.0), memory (>=0.16.0 && <0.20), monad-par (>=0.3.5 && <0.4), mtl (>=2.2.2 && <2.3), multiset (>=0.3.4 && <0.4), operational (>=0.2.3 && <0.3), optparse-generic (>=1.3.1 && <1.5), process (>=1.6.5 && <1.7), QuickCheck (>=2.13.2 && <2.15), quickcheck-instances, quickcheck-text (>=0.1.2 && <0.2), regex, regex-tdfa (>=1.2.3 && <1.4), restless-git (>=0.7 && <0.8), rosezipper (>=0.2 && <0.3), scientific (>=0.3.6 && <0.4), smt2-parser (>=0.1.0.1), spawn (>=0.3 && <0.4), spool (>=0.1 && <0.2), stm (>=2.5.0 && <2.6.0), tasty (>=1.0), tasty-bench, tasty-expected-failure (>=0.12), tasty-hunit (>=0.10), tasty-quickcheck (>=0.9), temporary (>=1.3 && <1.4), text (>=1.2.3 && <1.3), time (>=1.11.1.1 && <1.12), transformers (>=0.5.6 && <0.6), tree-view (>=0.5 && <0.6), tuple (>=0.3.0.2 && <0.4), unordered-containers (>=0.2.10 && <0.3), vector (>=0.12.1 && <0.13), vty, witherable (>=0.3.5 && <0.5), word-wrap (>=0.5 && <0.6), wreq (>=0.5.3 && <0.6) [details] |
| License | AGPL-3.0-only |
| Author | Mikael Brockman, Martin Lundfall, dxo |
| Maintainer | mikael@brockman.se, martin.lundfall@gmail.com, git@d-xo.org |
| Category | Ethereum |
| Home page | https://github.com/dapphub/dapptools |
| Source repo | head: git clone https://github.com/ethereum/hevm.git |
| Uploaded | by dxo at 2023-03-17T21:23:30Z |
| Distributions | NixOS:0.54.2 |
| Executables | hevm |
| Downloads | 4650 total (5 in the last 30 days) |
| Rating | 2.0 (votes: 1) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |