| 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 | |