mirror of
https://github.com/Jaxan/nominal-lstar.git
synced 2025-04-26 22:27:46 +02:00
71 lines
1.4 KiB
Text
71 lines
1.4 KiB
Text
cabal-version: 2.2
|
|
name: nominal-lstar
|
|
version: 0.1.1.0
|
|
author: Joshua Moerman
|
|
copyright: (c) 2016 - 2024, Joshua Moerman
|
|
build-type: Simple
|
|
extra-source-files: README.md
|
|
|
|
common stuff
|
|
default-language: Haskell2010
|
|
ghc-options: -O2 -Wall
|
|
build-depends:
|
|
base >= 4.8 && < 5,
|
|
haskeline,
|
|
NLambda >= 1.1.3
|
|
|
|
library
|
|
import: stuff
|
|
hs-source-dirs: src
|
|
exposed-modules:
|
|
AbstractLStar,
|
|
Angluin,
|
|
Bollig,
|
|
BooleanObservationTable,
|
|
Examples,
|
|
Examples.Contrived,
|
|
Examples.ContrivedNFAs,
|
|
Examples.Fifo,
|
|
Examples.NonResidual,
|
|
Examples.Residual,
|
|
Examples.RunningExample,
|
|
Examples.Stack,
|
|
ObservationTableClass,
|
|
SimpleObservationTable,
|
|
Teacher,
|
|
Teachers.Teacher,
|
|
Teachers.Terminal,
|
|
Teachers.Whitebox
|
|
|
|
executable nominal-lstar
|
|
import: stuff
|
|
hs-source-dirs: app
|
|
main-is: Main.hs
|
|
build-depends:
|
|
nominal-lstar
|
|
|
|
executable nominal-lstar2
|
|
import: stuff
|
|
hs-source-dirs: app
|
|
main-is: Main2.hs
|
|
build-depends:
|
|
nominal-lstar
|
|
|
|
benchmark bench
|
|
import: stuff
|
|
hs-source-dirs: bench
|
|
type: exitcode-stdio-1.0
|
|
main-is: Bench.hs
|
|
build-depends:
|
|
tasty-bench,
|
|
nominal-lstar
|
|
|
|
test-suite test
|
|
import: stuff
|
|
hs-source-dirs: test
|
|
type: exitcode-stdio-1.0
|
|
main-is: Spec.hs
|
|
build-depends:
|
|
tasty,
|
|
tasty-hunit,
|
|
nominal-lstar
|