macaw/macaw-arm/macaw-arm.cabal

name:                macaw-arm
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
  -- other-modules:       
  -- other-extensions:    
  build-depends:       base >=4.10 && <4.11
                     , ansi-wl-pprint
                     , bytestring
                     , cereal
                     , containers
                     , crucible
                     , dismantle-arm
                     , dismantle-thumb
                     , dismantle-tablegen
                     , elf-edit
                     , lens
                     , macaw-base
                     , macaw-semmc
                     , mtl
                     , parameterized-utils
                     , pretty
                     , semmc
                     , semmc-arm
                     , template-haskell
                     , text
                     , vector
                     , what4
  -- build-tools:         arm-none-eabi-gcc
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall

test-suite macaw-arm-tests
  type: exitcode-stdio-1.0
  default-language:    Haskell2010
  ghc-options:         -Wall
  hs-source-dirs:      tests
  main-is:             TestMain.hs
  other-modules:       ARMTests
                     , MismatchTests
                     , Shared
  build-depends:       base >=4.10 && <4.11
                     , ansi-wl-pprint
                     , binary
                     , bytestring
                     , containers
                     , elf-edit
                     , exceptions
                     , filemanip
                     , filepath
                     , lens
                     , macaw-base
                     , macaw-arm
                     , parameterized-utils
                     , semmc-arm
                     , tasty
                     , tasty-hunit
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`name: macaw-arm`
			`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`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`exposed-modules: Data.Macaw.ARM`
Minimal initial ARM abstract block state creation and dependencies. 2018-01-05 03:14:20 +03:00			`, Data.Macaw.ARM.Arch`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, Data.Macaw.ARM.ARMReg`
[arm] Initial operand support with GP registers handled. 2018-02-03 03:06:52 +03:00			`, Data.Macaw.ARM.BinaryFormat.ELF`
Added ARM Macaw disassembly functionality. 2018-01-05 04:18:22 +03:00			`, Data.Macaw.ARM.Disassemble`
Minimal initial ARM abstract block state creation and dependencies. 2018-01-05 03:14:20 +03:00			`, Data.Macaw.ARM.Eval`
[arm] Added identifyCall and identifyReturn trivial implementations. 2018-02-23 03:15:34 +03:00			`, Data.Macaw.ARM.Identify`
[arm] Initial operand support with GP registers handled. 2018-02-03 03:06:52 +03:00			`, Data.Macaw.ARM.Operand`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, Data.Macaw.ARM.Semantics.ARMSemantics`
[arm] Add operands and genExecInstruction support for Thumb. 2018-03-07 11:36:22 +03:00			`, Data.Macaw.ARM.Semantics.ThumbSemantics`
[arm] Initial support for abstract statement evaluation via semmc info. 2018-01-09 00:38:28 +03:00			`, Data.Macaw.ARM.Semantics.TH`
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`-- other-modules:`
			`-- other-extensions:`
			`build-depends: base >=4.10 && <4.11`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, ansi-wl-pprint`
			`, bytestring`
			`, cereal`
			`, containers`
[arm] Initial support for abstract statement evaluation via semmc info. 2018-01-09 00:38:28 +03:00			`, crucible`
Minimal initial ARM abstract block state creation and dependencies. 2018-01-05 03:14:20 +03:00			`, dismantle-arm`
[arm] Add operands and genExecInstruction support for Thumb. 2018-03-07 11:36:22 +03:00			`, dismantle-thumb`
			`, dismantle-tablegen`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, elf-edit`
			`, lens`
			`, macaw-base`
			`, macaw-semmc`
Added ARM Macaw disassembly functionality. 2018-01-05 04:18:22 +03:00			`, mtl`
Minimal initial ARM abstract block state creation and dependencies. 2018-01-05 03:14:20 +03:00			`, parameterized-utils`
[arm] Initial operand support with GP registers handled. 2018-02-03 03:06:52 +03:00			`, pretty`
[arm] Initial support for abstract statement evaluation via semmc info. 2018-01-09 00:38:28 +03:00			`, semmc`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, semmc-arm`
[arm] Initial support for abstract statement evaluation via semmc info. 2018-01-09 00:38:28 +03:00			`, template-haskell`
Added ARM Macaw disassembly functionality. 2018-01-05 04:18:22 +03:00			`, text`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, vector`
Update for crucible reorganization and new what4 module. 2018-05-18 18:33:58 +03:00			`, what4`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`-- build-tools: arm-none-eabi-gcc`
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`hs-source-dirs: src`
			`default-language: Haskell2010`
			`ghc-options: -Wall`

			`test-suite macaw-arm-tests`
			`type: exitcode-stdio-1.0`
			`default-language: Haskell2010`
			`ghc-options: -Wall`
			`hs-source-dirs: tests`
			`main-is: TestMain.hs`
Initial tests for analyzing test-just-exit ARM binary. 2017-12-20 21:19:51 +03:00			`other-modules: ARMTests`
			`, MismatchTests`
			`, Shared`
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`build-depends: base >=4.10 && <4.11`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, ansi-wl-pprint`
Initial tests for analyzing test-just-exit ARM binary. 2017-12-20 21:19:51 +03:00			`, binary`
			`, bytestring`
			`, containers`
			`, elf-edit`
			`, exceptions`
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`, filemanip`
			`, filepath`
Initial tests for analyzing test-just-exit ARM binary. 2017-12-20 21:19:51 +03:00			`, lens`
			`, macaw-base`
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`, macaw-arm`
Initial tests for analyzing test-just-exit ARM binary. 2017-12-20 21:19:51 +03:00			`, parameterized-utils`
[arm] Initial ARM ELF file macaw import and parse. 2017-12-29 03:30:25 +03:00			`, semmc-arm`
Initial empty framwork for macaw-arm ARM support. 2017-12-19 04:46:17 +03:00			`, tasty`
			`, tasty-hunit`