name: hevm version: 0.16 synopsis: Ethereum virtual machine evaluator description: 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. homepage: https://github.com/dapphub/dapptools license: AGPL-3 license-file: COPYING author: Mikael Brockman maintainer: mikael@brockman.se category: Ethereum build-type: Simple cabal-version: >=1.10 data-files: run-consensus-tests extra-source-files: CHANGELOG.md library exposed-modules: EVM, EVM.ABI, EVM.Concrete, EVM.Dapp, EVM.Dev, EVM.Debug, EVM.Emacs, EVM.Exec, EVM.Facts, EVM.Facts.Git, EVM.Flatten, EVM.Format, EVM.Fetch, EVM.FeeSchedule, EVM.Op, EVM.Precompiled, EVM.Keccak, EVM.Solidity, EVM.Stepper, EVM.StorageLayout, EVM.TTY, EVM.TTYCenteredList, EVM.Types, EVM.UnitTest, EVM.VMTest, Paths_hevm ghc-options: -Wall -Wno-deprecations extra-libraries: secp256k1 c-sources: ethjet/ethjet.c, ethjet/tinykeccak.c build-depends: QuickCheck >= 2.9, abstract-par >= 0.3, aeson >= 1.0, ansi-wl-pprint >= 0.6, 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, filepath >= 1.4, fgl >= 5.0, ghci-pretty >= 0.0, haskeline >= 0.7, time >= 1.8, transformers >= 0.5, 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-text >= 0.1, readline >= 1.0, restless-git >= 0.6, rosezipper >= 0.2, scientific >= 0.3, s-cargot >= 0.1, temporary >= 1.2, text >= 1.2, text-format >= 0.3, tree-view == 0.5, unordered-containers >= 0.2, vector >= 0.11, vty >= 5.15, wreq >= 0.5 hs-source-dirs: src default-language: Haskell2010 default-extensions: BangPatterns, DeriveDataTypeable, DeriveGeneric, FlexibleContexts, GeneralizedNewtypeDeriving, LambdaCase, OverloadedStrings, Rank2Types, RecordWildCards, TypeFamilies, ViewPatterns executable hevm default-language: Haskell2010 hs-source-dirs: hevm-cli main-is: hevm-cli.hs ghc-options: -Wall -threaded -with-rtsopts=-N build-depends: QuickCheck >= 2.9, 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, containers >= 0.5, cryptonite >= 0.21, data-dword >= 0.3, deepseq >= 1.4, directory >= 1.3, filepath >= 1.4, ghci-pretty >= 0.0, hevm, lens >= 4.15, lens-aeson >= 1.0, memory >= 0.14, mtl >= 2.2, optparse-generic >= 1.1, process >= 1.4, quickcheck-text >= 0.1, readline >= 1.0, regex-tdfa >= 1.2, temporary >= 1.2, text >= 1.2, text-format >= 0.3, unordered-containers >= 0.2, vector >= 0.11, vty >= 5.15 test-suite test default-language: Haskell2010 ghc-options: -Wall type: exitcode-stdio-1.0 hs-source-dirs: test main-is: test.hs extra-libraries: secp256k1 build-depends: HUnit >= 1.6, QuickCheck >= 2.9, base >= 4.9 && < 5, base16-bytestring >= 0.1, ghci-pretty >= 0.0.2, hevm, tasty >= 1.0, tasty-hunit >= 0.10, tasty-quickcheck >= 0.9, mtl >= 2.2, lens >= 4.16, text >= 1.2, here >= 1.2, bytestring >= 0.10, vector >= 0.12, binary >= 0.8