@hackage hevm0.53.0

Symbolic EVM Evaluator

  • Installation

  • Dependencies (96)

  • Dependents (0)

  • Package Flags

      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