hevm
Version 0.54.2 revision 0 uploaded by dxo.
Package meta
- Synopsis
- Symbolic EVM Evaluator
- Description
Symbolic EVM semantics in Haskell.
- Author
- dxo, Martin Lundfall, Mikael Brockman
- Bug reports
- n/a
- Category
- Ethereum
- Copyright
- n/a
- Homepage
- https://github.com/ethereum/hevm
- Maintainer
- git@d-xo.org
- Package URL
- n/a
- Stability
- n/a