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