hevm: Symbolic EVM Evaluator
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| ci | Sets flags for compilation in CI | Disabled |
| devel | Sets flag for compilation during development | Disabled |
| debug | Sets flags for compilation with extensive debug symbols and eventlog | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- hevm-0.53.0.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 |
|---|---|
| Change log | CHANGELOG.md |
| Dependencies | abstract-par (>=0.3.3 && <0.4), aeson (>=2.0.0 && <2.2), aeson-optics (>=1.2.0.1 && <1.3), 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), exceptions, filemanip, filepath (>=1.4.2 && <1.5), filepattern (>=0.1.2 && <0.2), free (>=5.1.3 && <5.2), githash (>=0.1.6 && <0.2), haskeline (>=0.8.0 && <0.9), here (>=1.2.13 && <1.3), hevm, HUnit (>=1.6), megaparsec (>=9.0.0 && <10.0), memory (>=0.16.0 && <0.20), MissingH, 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), optics-core (>=0.4.1 && <0.5), optics-extra (>=0.4.2.1 && <0.5), optics-th (>=0.4.1 && <0.5), optparse-generic (>=1.3.1 && <1.5), pretty-hex (>=1.1 && <1.2), 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), system-cxx-std-lib, 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 && <2.1), time (>=1.11 && <1.14), transformers (>=0.5.6 && <0.6), tree-view (>=0.5 && <0.6), unliftio-core (>=0.2.1.0), unordered-containers (>=0.2.10 && <0.3), vector (>=0.12.1 && <0.14), vty, witch (>=1.1 && <1.3), 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 | dxo, Martin Lundfall, Mikael Brockman |
| Maintainer | git@d-xo.org |
| Category | Ethereum |
| Home page | https://github.com/ethereum/hevm |
| Source repo | head: git clone https://github.com/ethereum/hevm.git |
| Uploaded | by dxo at 2024-02-26T19:23:13Z |
| Distributions | NixOS:0.53.0 |
| Executables | hevm |
| Downloads | 4448 total (68 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] |