hevm: Ethereum virtual machine evaluator

[ agpl, ethereum, library, program ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

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
Change log CHANGELOG.md
Dependencies abstract-par (>=0.3.3 && <0.4), aeson (>=1.5.6 && <1.6), ansi-wl-pprint (>=0.6.9 && <0.7), async, base (>=4.9 && <5), base16-bytestring (>=1.0.0 && <2.0), binary (>=0.8.6 && <0.9), brick (>=0.58 && <0.63), bytestring (>=0.10.8 && <0.11), cereal (>=0.5.8 && <0.6), containers (>=0.6.0 && <0.7), cryptonite (>=0.27 && <=0.29), 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), fgl (>=5.7.0 && <5.8), 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, lens (>=4.17.1 && <4.20), lens-aeson (>=1.0.2 && <1.2), megaparsec (>=9.0.0 && <10.0), memory (>=0.14.18 && <0.16), 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-text (>=0.1.2 && <0.2), regex-tdfa (>=1.2.3 && <1.4), restless-git (>=0.7 && <0.8), rosezipper (>=0.2 && <0.3), s-cargot (>=0.1.4 && <0.2), sbv (>=8.9), scientific (>=0.3.6 && <0.4), semver-range (>=0.2.7 && <0.3), temporary (>=1.3 && <1.4), text (>=1.2.3 && <1.3), text-format (>=0.3.2 && <0.4), time (>=1.8.0 && <1.11), transformers (>=0.5.6 && <0.6), tree-view (>=0.5 && <0.6), unordered-containers (>=0.2.10 && <0.3), vector (>=0.12.1 && <0.13), vty (>=5.25.1 && <5.34), witherable (>=0.3.5 && <0.5), wreq (>=0.5.3 && <0.6) [details]
License AGPL-3.0-only
Author Mikael Brockman, Martin Lundfall
Maintainer mikael@brockman.se, martin.lundfall@gmail.com
Category Ethereum
Home page https://github.com/dapphub/dapptools
Uploaded by dxo at 2022-03-07T14:24:44Z
Distributions NixOS:0.49.0
Executables hevm
Downloads 3297 total (28 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]