hevm: Symbolic EVM Evaluator

[ agpl, ethereum, library ] [ Propose Tags ]

Flags

Manual Flags

NameDescriptionDefault
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

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

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.52.0
Executables hevm
Downloads 3989 total (40 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]