hevm: Symbolic EVM Evaluator

[ agpl, ethereum, library ] [ Propose Tags ]

Flags

Manual Flags

Name	Description	Default
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

hevm-0.53.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
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.53.0
Executables	hevm
Downloads	4404 total (82 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]