hevm: Ethereum virtual machine evaluator

[ agpl, ethereum, library, program ] [ Propose Tags ] [ Report a vulnerability ]

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

hevm-0.49.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

mbrock, MrChico, dxo

For package maintainers and hackage trustees

edit package information

Candidates

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

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	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.54.2
Executables	hevm
Downloads	4650 total (5 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]