macaw/macaw-ppc/macaw-ppc.cabal

-- Initial macaw-ppc.cabal generated by cabal init.  For further
-- documentation, see http://haskell.org/cabal/users-guide/

name:                macaw-ppc
version:             0.1.0.0
-- synopsis:
-- description:
license:             BSD3
license-file:        LICENSE
author:              Ben Selfridge
maintainer:          benselfridge@galois.com
-- copyright:
category:            Semantics
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

library
  exposed-modules:     Data.Macaw.PPC
                       Data.Macaw.PPC.Arch
                       Data.Macaw.PPC.Disassemble
                       Data.Macaw.PPC.Eval
                       Data.Macaw.PPC.Generator
                       Data.Macaw.PPC.Identify
                       Data.Macaw.PPC.Operand
                       Data.Macaw.PPC.PPCReg
                       Data.Macaw.PPC.Semantics
                       Data.Macaw.PPC.Semantics.PPC64
                       Data.Macaw.PPC.Semantics.PPC32
                       Data.Macaw.PPC.Semantics.TH
  build-depends:       base >=4.9 && <5,
                       bytestring,
                       containers,
                       constraints,
                       crucible,
                       text,
                       dismantle-tablegen,
                       dismantle-ppc,
                       semmc,
                       semmc-ppc,
                       lens,
                       macaw-base,
                       ansi-wl-pprint,
                       mtl,
                       parameterized-utils,
                       template-haskell,
                       text
  hs-source-dirs:      src
  default-language:    Haskell2010
  ghc-options:         -Wall
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`-- Initial macaw-ppc.cabal generated by cabal init. For further`
first commit 2017-08-29 01:48:55 +03:00			`-- documentation, see http://haskell.org/cabal/users-guide/`

			`name: macaw-ppc`
			`version: 0.1.0.0`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`-- synopsis:`
			`-- description:`
first commit 2017-08-29 01:48:55 +03:00			`license: BSD3`
			`license-file: LICENSE`
			`author: Ben Selfridge`
			`maintainer: benselfridge@galois.com`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`-- copyright:`
first commit 2017-08-29 01:48:55 +03:00			`category: Semantics`
			`build-type: Simple`
			`extra-source-files: ChangeLog.md`
			`cabal-version: >=1.10`

			`library`
Split up the functions that will comprise ppc_linux_info 2017-10-02 21:19:34 +03:00			`exposed-modules: Data.Macaw.PPC`
Add arch-specific decls + type instances + rewriters This also lets us add 'withArchConstraints' easily. 2017-10-04 04:59:35 +03:00			`Data.Macaw.PPC.Arch`
Split up the functions that will comprise ppc_linux_info 2017-10-02 21:19:34 +03:00			`Data.Macaw.PPC.Disassemble`
			`Data.Macaw.PPC.Eval`
Move the generator monad into its own module 2017-10-03 00:17:36 +03:00			`Data.Macaw.PPC.Generator`
Split up the functions that will comprise ppc_linux_info 2017-10-02 21:19:34 +03:00			`Data.Macaw.PPC.Identify`
[ppc] Add a helper for turning operands into bitvectors The main function is 'extractValue', which takes an operand and returns a macaw bitvector for it (in the PPCGenerator monad). There are still some missing cases for the memory operands. 2017-10-17 01:11:16 +03:00			`Data.Macaw.PPC.Operand`
second commit 2017-09-29 19:37:45 +03:00			`Data.Macaw.PPC.PPCReg`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`Data.Macaw.PPC.Semantics`
			`Data.Macaw.PPC.Semantics.PPC64`
			`Data.Macaw.PPC.Semantics.PPC32`
			`Data.Macaw.PPC.Semantics.TH`
second commit 2017-09-29 19:37:45 +03:00			`build-depends: base >=4.9 && <5,`
Add more disassembly infrastructure 2017-10-03 03:32:59 +03:00			`bytestring,`
second commit 2017-09-29 19:37:45 +03:00			`containers,`
Feed semantics to the `genExecInstruction` calls These lists come from semmc and contain the bytestrings of the semantics files for each opcode. NOTE: The lists are currently empty (presumably due to bugs), but the logic for moving data around and setting up a SimpleBuilder instance is at least right. 2017-10-07 02:58:53 +03:00			`constraints,`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`crucible,`
Simplify more type variables and implement the error throwing function for the disassembler We had two different state thread parameters: s and ids. We only need one (for now), so unify them. 2017-10-03 21:09:23 +03:00			`text,`
Implement 'RegisterInfo' for PPCReg 2017-10-04 02:31:16 +03:00			`dismantle-tablegen,`
second commit 2017-09-29 19:37:45 +03:00			`dismantle-ppc,`
Depend on semmc/semmc-ppc and enable warnings 2017-10-02 20:26:39 +03:00			`semmc,`
			`semmc-ppc,`
second commit 2017-09-29 19:37:45 +03:00			`lens,`
			`macaw-base,`
Add arch-specific decls + type instances + rewriters This also lets us add 'withArchConstraints' easily. 2017-10-04 04:59:35 +03:00			`ansi-wl-pprint,`
second commit 2017-09-29 19:37:45 +03:00			`mtl,`
Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw-semmc 2017-10-04 00:43:33 +03:00			`parameterized-utils,`
			`template-haskell,`
			`text`
first commit 2017-08-29 01:48:55 +03:00			`hs-source-dirs: src`
			`default-language: Haskell2010`
Depend on semmc/semmc-ppc and enable warnings 2017-10-02 20:26:39 +03:00			`ghc-options: -Wall`