@hackage hevm0.57.0

Symbolic EVM Evaluator

Categories
License
AGPL-3.0-only
Maintainer
git@d-xo.org
Links
Versions
- 0.57.0 Thu, 8 Jan 2026
- 0.56.0 Mon, 13 Oct 2025
- 0.55.1 Tue, 22 Jul 2025
- 0.54.2 Thu, 12 Dec 2024
- 0.53.0 Mon, 26 Feb 2024
- 0.52.0 Thu, 26 Oct 2023

Installation
In your cabal file:
Dependencies (69)
- Decimal >=0.5.1 && <0.6
- QuickCheck >=2.13.2 && <2.16
- aeson >=2.0.0 && <2.3
- aeson-optics >=1.2.0.1 && <1.3
- aeson-pretty >=0.8.8 && <0.9.0
- async >=2.2.4 && <2.3
Dependents (0)

Package Flags

static-secp256k1

(off by default)

Sets flags for compilation with static secp256k1

ci

(off by default)

Sets flags for compilation in CI

devel

(off by default)

Sets flag for compilation during development

debug

(off by default)

Sets flags for compilation with extensive debug symbols and eventlog

Symbolic EVM semantics in Haskell.