cabal-version: 1.12
-- This file has been generated from package.yaml by hpack version 0.38.1.
--
-- see: https://github.com/sol/hpack
name: verifiable-expressions
version: 0.6.3
synopsis: An intermediate language for Hoare logic style verification.
description: A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it.
category: Language
homepage: https://github.com/camfort/verifiable-expressions#readme
bug-reports: https://github.com/camfort/verifiable-expressions/issues
author: Bradley Hardy
maintainer: madgenhetic@gmail.com
license: Apache-2.0
license-file: LICENSE
build-type: Simple
tested-with:
GHC == 9.0, GHC == 9.2, GHC == 9.4, GHC == 9.6, GHC == 9.8, GHC == 9.10, GHC == 9.12
extra-source-files:
CHANGELOG.md
source-repository head
type: git
location: https://github.com/camfort/verifiable-expressions
library
exposed-modules:
Language.Expression
Language.Expression.Example
Language.Expression.Choice
Language.Expression.Scope
Language.Expression.GeneralOp
Language.Expression.Prop
Language.Expression.Pretty
Language.Expression.Util
Language.Verification
Language.Verification.Conditions
Language.Verification.Core
Language.While.Hoare
Language.While.Hoare.Prover
Language.While.Syntax
Language.While.Syntax.Sugar
Language.While.Test
other-modules:
Paths_verifiable_expressions
ghc-options: -Wall
build-depends:
base >=4.9 && <5
, containers >=0.5.7 && <0.7
, lens >=4.16.1 && <5.5
, mtl >=2.0 && <3
, transformers >=0.5 && <0.7
, union >=0.1.2 && <0.2
, vinyl >=0.14.3 && <0.15
default-language: Haskell2010
if impl(ghc >= 9.6)
build-depends:
sbv >=10.0 && <11
if impl(ghc < 9.6)
build-depends:
sbv >=8.0 && <10