@hackage hevm0.54.2

Symbolic EVM Evaluator

  • Installation

  • Dependencies (72)

  • 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.