2020-04-06 01:16:39 +03:00
|
|
|
name: macaw-aarch32
|
2020-02-25 02:39:41 +03:00
|
|
|
version: 0.1.0.0
|
|
|
|
|
-- synopsis:
|
|
|
|
|
-- description:
|
|
|
|
|
license: BSD3
|
|
|
|
|
license-file: LICENSE
|
|
|
|
|
author: Kevin Quick
|
|
|
|
|
maintainer: kquick@galois.com
|
|
|
|
|
-- copyright:
|
|
|
|
|
category: Semantics
|
|
|
|
|
build-type: Simple
|
|
|
|
|
extra-source-files: ChangeLog.md
|
|
|
|
|
cabal-version: >=1.10
|
|
|
|
|
|
|
|
|
|
library
|
|
|
|
|
exposed-modules: Data.Macaw.ARM
|
|
|
|
|
, Data.Macaw.ARM.Arch
|
|
|
|
|
, Data.Macaw.ARM.ARMReg
|
|
|
|
|
, Data.Macaw.ARM.BinaryFormat.ELF
|
|
|
|
|
, Data.Macaw.ARM.Disassemble
|
|
|
|
|
, Data.Macaw.ARM.Eval
|
|
|
|
|
, Data.Macaw.ARM.Identify
|
|
|
|
|
, Data.Macaw.ARM.Operand
|
|
|
|
|
, Data.Macaw.ARM.Semantics.ARMSemantics
|
|
|
|
|
, Data.Macaw.ARM.Semantics.ThumbSemantics
|
|
|
|
|
, Data.Macaw.ARM.Semantics.TH
|
2020-04-08 10:04:51 +03:00
|
|
|
, Data.Macaw.ARM.Simplify
|
2020-02-25 02:39:41 +03:00
|
|
|
-- other-modules:
|
|
|
|
|
-- other-extensions:
|
|
|
|
|
build-depends: base >=4.10 && <5
|
|
|
|
|
, ansi-wl-pprint
|
2020-02-28 04:59:16 +03:00
|
|
|
, asl-translator
|
2020-02-25 02:39:41 +03:00
|
|
|
, bytestring
|
2020-04-07 03:56:22 +03:00
|
|
|
, bv-sized
|
2020-02-25 02:39:41 +03:00
|
|
|
, cereal
|
|
|
|
|
, containers
|
|
|
|
|
, crucible
|
|
|
|
|
, dismantle-arm-xml
|
|
|
|
|
, dismantle-tablegen
|
|
|
|
|
, elf-edit
|
|
|
|
|
, lens
|
|
|
|
|
, macaw-base
|
|
|
|
|
, macaw-semmc
|
|
|
|
|
, mtl
|
|
|
|
|
, parameterized-utils
|
|
|
|
|
, pretty
|
|
|
|
|
, semmc
|
2020-04-06 01:16:39 +03:00
|
|
|
, semmc-aarch32
|
2020-02-25 02:39:41 +03:00
|
|
|
, template-haskell
|
|
|
|
|
, text
|
|
|
|
|
, vector
|
|
|
|
|
, what4
|
|
|
|
|
-- build-tools: arm-none-eabi-gcc
|
|
|
|
|
hs-source-dirs: src
|
|
|
|
|
default-language: Haskell2010
|
2020-04-06 01:16:39 +03:00
|
|
|
ghc-options: -Wall -Wcompat
|
2020-03-29 20:20:52 +03:00
|
|
|
|
|
|
|
|
test-suite macaw-asl-tests
|
|
|
|
|
type: exitcode-stdio-1.0
|
|
|
|
|
default-language: Haskell2010
|
2020-04-06 01:16:39 +03:00
|
|
|
ghc-options: -Wall -Wcompat
|
2020-03-29 20:20:52 +03:00
|
|
|
hs-source-dirs: tests
|
|
|
|
|
main-is: TestMain.hs
|
|
|
|
|
other-modules: ARMTests
|
|
|
|
|
, MismatchTests
|
|
|
|
|
, Shared
|
|
|
|
|
build-depends: base >=4.10 && <5
|
|
|
|
|
, ansi-wl-pprint
|
|
|
|
|
, binary
|
|
|
|
|
, bytestring
|
|
|
|
|
, containers
|
|
|
|
|
, elf-edit
|
|
|
|
|
, exceptions
|
|
|
|
|
, filemanip
|
|
|
|
|
, filepath
|
|
|
|
|
, lens
|
|
|
|
|
, macaw-base
|
2020-04-06 01:16:39 +03:00
|
|
|
, macaw-aarch32
|
2020-03-29 20:20:52 +03:00
|
|
|
, parameterized-utils
|
2020-04-06 01:16:39 +03:00
|
|
|
, semmc-aarch32
|
2020-03-29 20:20:52 +03:00
|
|
|
, tasty
|
|
|
|
|
, tasty-hunit
|
