name:                yggdrasil
version:             0.1.0.0
synopsis:            Executable specifications of composable cryptographic protocols.
description:         Yggdrasil is a framework for writing executable
                     specification of composable cryptographic protocols. It is
                     modelled after Ran Canetti's Universal Composability
                     framework, although it departs from it in multiple places
                     to simplify the interface, and provide strong typing.
homepage:            https://git.drwx.org/phd/yggdrasil
license:             AGPL-3
license-file:        LICENSE
author:              Thomas Kerber
maintainer:          tk@drwx.org
category:            Cryptography
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

source-repository head
  type:     git
  location: https://git.drwx.org/phd/yggdrasil

library
  exposed-modules:     Yggdrasil.Adversarial
                       Yggdrasil.Distribution
                       Yggdrasil.ExecutionModel
                       Yggdrasil.Functionalities
                       Yggdrasil.HList
  build-depends:       base >= 4.11 && < 4.12
                     , cryptonite >= 0.25 && < 0.26
                     , memory >= 0.14 && < 0.15
                     , mtl >= 2.2 && < 2.3
                     , transformers >= 0.5 && < 0.6
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints

test-suite spec
  type:             exitcode-stdio-1.0
  other-extensions: ScopedTypeVariables
  default-language: Haskell2010
  hs-source-dirs:   tests
  ghc-options:      -Wall -Wcompat -Wincomplete-record-updates -Wincomplete-uni-patterns -Wredundant-constraints
  main-is:          Spec.hs
  other-modules:    ExecTests
                    FunctTests
  build-depends:    cryptonite
                  , base
                  , hspec
                  , QuickCheck
                  , yggdrasil