vm.fail
an intermediate symbolic execution engine for EVM bytecode
1cabal-version: 2.4
2name: symevm
3version: 0.1.0.0
4synopsis: Symbolic EVM Evaluator
5description: An intermediate-level symbolic execution engine for EVM bytecode
6license: MIT
7author: Anonymous
8maintainer: example@example.com
9category: Blockchain
10build-type: Simple
11
12common warnings
13 ghc-options: -Wall
14
15library
16 import: warnings
17 exposed-modules: SymbolicExpression
18 , SymbolicState
19 , Opcode
20 , Executor
21 build-depends: base >=4.16 && <5
22 , bytestring >=0.11 && <0.13
23 , containers >=0.6 && <0.8
24 hs-source-dirs: src
25 default-language: Haskell2010
26
27executable symevm
28 import: warnings
29 main-is: Main.hs
30 build-depends: base >=4.16 && <5
31 , symevm
32 , bytestring >=0.11 && <0.13
33 , containers >=0.6 && <0.8
34 hs-source-dirs: app
35 default-language: Haskell2010
36 ghc-options: -threaded -rtsopts -with-rtsopts=-N