About

Metadata

  • Last updated , by dxo
  • License AGPL-3.0-only
  • Maintained by: git@d-xo.org

  • Lottery factor: 1

Links

Installation

Package Flags

Use the -f option with cabal commands to enable 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

Readme

Symbolic EVM semantics in Haskell.