2020-04-06 07:16:03 +03:00
|
|
|
cabal-version: >=1.10
|
|
|
|
-- Initial package description 'macaw-aarch32-symbolic.cabal' generated by
|
|
|
|
-- 'cabal init'. For further documentation, see
|
|
|
|
-- http://haskell.org/cabal/users-guide/
|
|
|
|
|
|
|
|
name: macaw-aarch32-symbolic
|
|
|
|
version: 0.1.0.0
|
|
|
|
synopsis: Symbolic execution support for ARM
|
|
|
|
-- description:
|
|
|
|
-- bug-reports:
|
|
|
|
license: BSD3
|
|
|
|
license-file: LICENSE
|
|
|
|
author: Tristan Ravitch
|
|
|
|
maintainer: tristan@galois.com
|
|
|
|
-- copyright:
|
|
|
|
category: Analysis
|
|
|
|
build-type: Simple
|
|
|
|
extra-source-files: CHANGELOG.md
|
|
|
|
|
|
|
|
library
|
|
|
|
exposed-modules: Data.Macaw.AArch32.Symbolic
|
2020-10-05 22:31:39 +03:00
|
|
|
other-modules: Data.Macaw.AArch32.Symbolic.AtomWrapper
|
|
|
|
Data.Macaw.AArch32.Symbolic.Functions
|
|
|
|
Data.Macaw.AArch32.Symbolic.Panic
|
2020-04-06 07:16:03 +03:00
|
|
|
-- other-extensions:
|
|
|
|
build-depends: base >=4.10 && <5,
|
2020-10-05 22:31:39 +03:00
|
|
|
containers,
|
|
|
|
lens,
|
|
|
|
panic,
|
2021-11-20 03:20:50 +03:00
|
|
|
text,
|
2022-05-21 01:17:26 +03:00
|
|
|
mtl,
|
2020-04-06 07:16:03 +03:00
|
|
|
parameterized-utils,
|
2020-10-05 22:31:39 +03:00
|
|
|
asl-translator,
|
|
|
|
what4,
|
2020-04-06 07:16:03 +03:00
|
|
|
crucible,
|
2020-10-05 22:31:39 +03:00
|
|
|
crucible-llvm,
|
2020-04-06 08:08:58 +03:00
|
|
|
macaw-base,
|
2020-10-05 22:31:39 +03:00
|
|
|
dismantle-arm-xml,
|
2020-04-06 07:16:03 +03:00
|
|
|
semmc-aarch32,
|
|
|
|
macaw-aarch32,
|
|
|
|
macaw-symbolic
|
|
|
|
hs-source-dirs: src
|
|
|
|
default-language: Haskell2010
|
|
|
|
ghc-options: -Wall -Wcompat
|
2021-03-01 20:21:44 +03:00
|
|
|
|
|
|
|
test-suite macaw-aarch32-symbolic-tests
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
default-language: Haskell2010
|
|
|
|
ghc-options: -Wall -Wcompat
|
|
|
|
main-is: Main.hs
|
|
|
|
hs-source-dirs: tests
|
|
|
|
build-depends:
|
|
|
|
base >= 4,
|
|
|
|
bytestring,
|
|
|
|
containers,
|
|
|
|
crucible,
|
2021-08-24 03:39:08 +03:00
|
|
|
crucible-llvm,
|
2021-03-01 20:21:44 +03:00
|
|
|
elf-edit,
|
|
|
|
filepath,
|
|
|
|
Glob >= 0.9 && < 0.11,
|
2022-05-10 17:29:55 +03:00
|
|
|
lens,
|
2021-03-01 20:21:44 +03:00
|
|
|
dismantle-arm-xml,
|
|
|
|
asl-translator,
|
|
|
|
semmc-aarch32,
|
|
|
|
macaw-aarch32,
|
|
|
|
macaw-aarch32-symbolic,
|
|
|
|
macaw-base,
|
|
|
|
macaw-symbolic,
|
|
|
|
parameterized-utils,
|
|
|
|
prettyprinter,
|
|
|
|
tasty,
|
|
|
|
tasty-hunit,
|
|
|
|
text,
|
|
|
|
what4,
|
|
|
|
vector
|