hevm: Symbolic EVM Evaluator
Symbolic EVM semantics in Haskell.
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| static-secp256k1 | Sets flags for compilation with static secp256k1 | Disabled |
| 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.54.2.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 | aeson (>=2.0.0 && <2.2), aeson-optics (>=1.2.0.1 && <1.3), async (>=2.2.4 && <2.3), base (>=4.9 && <5), base16 (>=1.0 && <1.1), binary (>=0.8.6 && <0.9), 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), directory, exceptions, extra (>=1.7.14 && <2), filemanip, filepath (>=1.4.2 && <1.5), filepattern (>=0.1.2 && <0.2), githash, here (>=1.2.13 && <1.3), hevm, megaparsec (>=9.0.0 && <10.0), memory (>=0.16.0 && <0.20), mtl (>=2.2 && <2.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.6), pretty-hex (>=1.1 && <1.2), process (>=1.6.5 && <1.7), QuickCheck (>=2.13.2 && <2.15), quickcheck-instances, regex-tdfa (>=1.2.3 && <1.4), rosezipper (>=0.2 && <0.3), scientific (>=0.3.6 && <0.4), smt2-parser (>=0.1.0 && <0.2), spawn (>=0.3 && <0.4), split (>=0.2.3 && <0.3), spool (>=0.1 && <0.2), stm (>=2.5.0 && <2.6.0), system-cxx-std-lib (>=1.0 && <2.0), tasty, tasty-expected-failure, tasty-hunit, tasty-quickcheck, template-haskell (>=2.19.0 && <3), temporary, text (>=1.2.3 && <2.1), transformers (>=0.5 && <0.7), tree-view (>=0.5 && <0.6), unliftio-core (>=0.2.1 && <0.3), unordered-containers (>=0.2.10 && <0.3), vector (>=0.12.1 && <0.14), witch (>=1.1 && <1.3), with-utf8, witherable, 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-12-12T17:36:56Z |
| Distributions | NixOS:0.53.0 |
| Executables | hevm |
| Downloads | 4487 total (39 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] |