2019-10-11 19:42:49 +03:00
|
|
|
cabal-version: 2.4
|
|
|
|
|
|
|
|
|
|
name: semantic-analysis
|
|
|
|
|
version: 0.0.0.0
|
|
|
|
|
synopsis: Program analysis by abstract definitional interpretation.
|
|
|
|
|
description: Program analysis abstractions and implementations by abstract definitional interpretation.
|
|
|
|
|
homepage: https://github.com/github/semantic/tree/master/semantic-analysis#readme
|
|
|
|
|
bug-reports: https://github.com/github/semantic/issues
|
|
|
|
|
license: MIT
|
|
|
|
|
license-file: LICENSE
|
|
|
|
|
author: The Semantic authors
|
|
|
|
|
maintainer: opensource+semantic@github.com
|
|
|
|
|
copyright: (c) 2019 GitHub, Inc.
|
|
|
|
|
category: Language
|
|
|
|
|
build-type: Simple
|
|
|
|
|
stability: alpha
|
|
|
|
|
extra-source-files: README.md
|
|
|
|
|
|
|
|
|
|
tested-with:
|
|
|
|
|
GHC == 8.6.5
|
|
|
|
|
|
|
|
|
|
common common
|
|
|
|
|
default-language: Haskell2010
|
|
|
|
|
ghc-options:
|
|
|
|
|
-Weverything
|
|
|
|
|
-Wno-missing-local-signatures
|
|
|
|
|
-Wno-missing-import-lists
|
|
|
|
|
-Wno-implicit-prelude
|
|
|
|
|
-Wno-safe
|
|
|
|
|
-Wno-unsafe
|
|
|
|
|
-Wno-name-shadowing
|
|
|
|
|
-Wno-monomorphism-restriction
|
|
|
|
|
-Wno-missed-specialisations
|
|
|
|
|
-Wno-all-missed-specialisations
|
|
|
|
|
-Wno-star-is-type
|
|
|
|
|
if (impl(ghc >= 8.8))
|
|
|
|
|
ghc-options: -Wno-missing-deriving-strategies
|
|
|
|
|
|
|
|
|
|
library
|
|
|
|
|
import: common
|
|
|
|
|
hs-source-dirs: src
|
2019-10-11 19:49:37 +03:00
|
|
|
exposed-modules:
|
2019-11-01 22:13:15 +03:00
|
|
|
Analysis.Carrier.Env.Monovariant
|
2019-11-01 22:00:03 +03:00
|
|
|
Analysis.Carrier.Env.Precise
|
2019-11-04 20:48:11 +03:00
|
|
|
Analysis.Carrier.Heap.Monovariant
|
2019-11-04 20:29:21 +03:00
|
|
|
Analysis.Carrier.Heap.Precise
|
2019-10-11 19:49:37 +03:00
|
|
|
Analysis.Concrete
|
2019-11-06 20:33:15 +03:00
|
|
|
Analysis.Effect.Domain
|
2019-11-01 21:56:43 +03:00
|
|
|
Analysis.Effect.Env
|
2019-11-04 20:13:44 +03:00
|
|
|
Analysis.Effect.Heap
|
2019-10-11 19:49:37 +03:00
|
|
|
Analysis.File
|
|
|
|
|
Analysis.FlowInsensitive
|
2020-01-17 18:41:08 +03:00
|
|
|
Analysis.Functor.Named
|
2019-10-11 19:49:37 +03:00
|
|
|
Analysis.ImportGraph
|
2019-11-04 23:53:54 +03:00
|
|
|
Analysis.Intro
|
2019-11-06 20:32:39 +03:00
|
|
|
Analysis.Name
|
2019-10-11 19:49:37 +03:00
|
|
|
Analysis.Typecheck
|
|
|
|
|
Control.Carrier.Fail.WithLoc
|
2019-10-11 19:42:49 +03:00
|
|
|
build-depends:
|
2020-01-17 18:57:35 +03:00
|
|
|
aeson
|
|
|
|
|
, algebraic-graphs ^>= 0.3
|
|
|
|
|
, base >= 4.13 && < 5
|
|
|
|
|
, containers ^>= 0.6
|
|
|
|
|
, fused-effects ^>= 1.0
|
|
|
|
|
, fused-effects-readline
|
|
|
|
|
, fused-syntax
|
|
|
|
|
, haskeline ^>= 0.7.5
|
|
|
|
|
, hashable
|
|
|
|
|
, pathtype ^>= 0.8.1
|
|
|
|
|
, prettyprinter >= 1.2 && < 2
|
|
|
|
|
, prettyprinter-ansi-terminal ^>= 1.1.1
|
|
|
|
|
, semantic-source ^>= 0
|
|
|
|
|
, terminal-size ^>= 0.3
|
|
|
|
|
, text ^>= 1.2.3.1
|
|
|
|
|
, transformers ^>= 0.5
|
