File size: 1,292 Bytes
56de343 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 | cabal-version: 2.4
name: pure-validity
version: 1.0.0
synopsis: Formal verification engine from first principles — NAND to proof
license: AGPL-3.0-only
author: Ahmad Ali Parr
maintainer: ahmad@snapkitty.com
build-type: Simple
executable pure-validity
main-is: Main.hs
hs-source-dirs: src
other-modules:
Language.AST
Language.Lexer
Language.Parser
Language.Elaborator
IR.Boolean
IR.NAND
IR.BitVec
SAT.CNF
SAT.UnitProp
SAT.DPLL
SAT.CDCL
Proof.Certificate
Proof.Produce
Checker.Kernel
build-depends:
base >= 4.14 && < 5,
containers >= 0.6,
bytestring >= 0.10
default-language: Haskell2010
ghc-options: -Wall -O2
test-suite tests
type: exitcode-stdio-1.0
main-is: Spec.hs
hs-source-dirs: test, src
other-modules:
Language.AST
Language.Lexer
Language.Parser
Language.Elaborator
IR.Boolean
IR.NAND
IR.BitVec
SAT.CNF
SAT.UnitProp
SAT.DPLL
SAT.CDCL
Proof.Certificate
Proof.Produce
Checker.Kernel
build-depends:
base >= 4.14 && < 5,
containers >= 0.6,
bytestring >= 0.10
default-language: Haskell2010
|