cabal-version: 3.0
name: gargamelle-evidence
version: 0.1.0.0
synopsis: Evidence preservation and structural tree-diff AST tracking
description:
Evidence preservation and structural tree-diff AST tracking for
Gargamelle. Provides tree-sitter syntactic integration, parse tree
hashing, semantic AST diffing, and proof artifact tracking.
license: EUPL-1.2
license-file: LICENSE
author: Nadia Yvette Chambers
maintainer: nadia.yvette.chambers@ik.me
category: Development
homepage: https://github.com/NadiaYvette/gargamelle
bug-reports: https://github.com/NadiaYvette/gargamelle/issues
extra-doc-files:
README.md
CHANGELOG.md
build-type: Simple
tested-with:
GHC == 9.6.7,
GHC == 9.8.4,
GHC == 9.10.3,
GHC == 9.12.4,
GHC == 9.14.1
source-repository head
type: git
location: https://github.com/NadiaYvette/gargamelle
subdir: packages/gargamelle-evidence
library
exposed-modules:
Evidence
hs-source-dirs: src
default-language: Haskell2010
ghc-options: -Wall
build-depends:
base >= 4.14 && < 5,
containers >= 0.6 && < 0.9,
unordered-containers >= 0.2 && < 0.3,
hashable >= 1.4 && < 1.6,
text >= 2.0 && < 2.2,
polytropos-core >= 0.1.0.1 && < 0.2,
gargamelle-core >= 0.1 && < 0.2,
hs-tree-sitter >= 13.0 && < 14,
tree-diff >= 0.3 && < 0.5
test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs: test
default-language: Haskell2010
ghc-options: -Wall
build-depends:
base >= 4.14 && < 5,
gargamelle-evidence,
gargamelle-core >= 0.1 && < 0.2,
containers >= 0.6 && < 0.9,
unordered-containers >= 0.2 && < 0.3,
tree-diff >= 0.3 && < 0.5,
hspec >= 2.10 && < 2.12