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.

Versions [faq] 0.16, 0.17, 0.20, 0.21, 0.24
Change log CHANGELOG.md
Dependencies abstract-par (>=0.3), aeson (>=1.0), ansi-wl-pprint (>=0.6), async (==2.*), base (>=4.9 && <5), base16-bytestring (>=0.1), base64-bytestring (>=1.0), binary (>=0.8), brick (>=0.18), bytestring (>=0.10), cereal (>=0.5), containers (>=0.5), cryptonite (>=0.21), data-dword (>=0.3), deepseq (>=1.4), directory (>=1.3), fgl (>=5.0), filepath (>=1.4), ghci-pretty (>=0.0), haskeline (>=0.7), hevm, lens (>=4.15), lens-aeson (>=1.0), megaparsec (>=6.0), memory (>=0.14), monad-par (>=0.3), mtl (>=2.2), multiset (>=0.3), operational (>=0.2), optparse-generic (>=1.1), process (>=1.4), QuickCheck (>=2.9), quickcheck-text (>=0.1), readline (>=1.0), regex-tdfa (>=1.2), restless-git (>=0.7), rosezipper (>=0.2), s-cargot (>=0.1), scientific (>=0.3), temporary (>=1.2), text (>=1.2), text-format (>=0.3), time (>=1.8), transformers (>=0.5), tree-view (==0.5), unordered-containers (>=0.2), vector (>=0.11), vty (>=5.15), wreq (>=0.5) [details]
License AGPL-3.0-only
Author Mikael Brockman
Maintainer mikael@brockman.se
Category Ethereum
Home page https://github.com/dapphub/dapptools
Uploaded by mbrock at Sat Oct 27 07:12:48 UTC 2018
Distributions NixOS:0.24
Executables hevm
Downloads 941 total (86 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees