hevm: Ethereum virtual machine evaluator

[ agpl, ethereum, library ] [ 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

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 (>=1.4.6 && <1.5), ansi-wl-pprint (>=0.6.9 && <0.7), async, base (>=4.9 && <5), base16-bytestring (>=0.1.1 && <0.2), binary (>=0.8.6 && <0.9), brick (>=0.47.1 && <0.56), bytestring (>=0.10.8 && <0.11), cereal (>=0.5.8 && <0.6), containers (>=0.6.0 && <0.7), cryptonite (>=0.25 && <0.28), data-dword (>=0.3.1 && <0.4), 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.7.4 && <0.8), hevm, lens (>=4.17.1 && <4.20), lens-aeson (>=1.0.2 && <1.2), megaparsec (>=7.0.5 && <8.1), 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.7.5 && <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), unordered-containers (>=0.2.10 && <0.3), vector (>=0.12.1 && <0.13), vty (>=5.25.1 && <5.31), witherable (>=0.3.5 && <0.4), 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 MrChico at 2020-11-05T17:14:09Z
Distributions
Executables hevm
Downloads 4050 total (61 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]