GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-27 12:52:52 +03:00
Code Issues Projects Releases Wiki Activity
dcd5339b5a
macaw/macaw-semmc/macaw-semmc.cabal

46 lines
1.5 KiB
Plaintext
Raw Normal View History

first commit
2017-08-29 01:48:55 +03:00
-- Initial macaw-semmc.cabal generated by cabal init. For further
-- documentation, see http://haskell.org/cabal/users-guide/
name: macaw-semmc
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
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first.
2017-11-27 10:31:04 +03:00
exposed-modules: Data.Macaw.SemMC.Generator
Factor out the rest of the architecture-independent code The PowerPC bits are now in macaw-ppc and the rest now lives in macaw-semmc.
2017-12-11 07:53:03 +03:00
Data.Macaw.SemMC.Operands
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first.
2017-11-27 10:31:04 +03:00
Data.Macaw.SemMC.Simplify
Data.Macaw.SemMC.Translations
Start migrating shareable TH code from macaw-ppc to macaw-semmc This change still needs some work, but no other code depends on it yet
2017-12-07 04:28:23 +03:00
Data.Macaw.SemMC.TH
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first.
2017-11-27 10:31:04 +03:00
Data.Macaw.SemMC.TH.Monad
first commit
2017-08-29 01:48:55 +03:00
-- other-extensions:
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first.
2017-11-27 10:31:04 +03:00
build-depends: base >=4.9 && <5,
Add genExecInstructionLogging and genExecInstructionLogStdErr. Allows generatino of exec instructions with logging output to stderr or another designated location, which can be useful for diagnostic purposes.
2018-02-23 02:54:35 +03:00
async,
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first.
2017-11-27 10:31:04 +03:00
template-haskell,
containers,
mtl,
lens,
Start migrating shareable TH code from macaw-ppc to macaw-semmc This change still needs some work, but no other code depends on it yet
2017-12-07 04:28:23 +03:00
text,
bytestring,
Generalize the generator monad, the TH helper monad, and the simplifier This code was mostly architecture independent already, so this commit moves it to the macaw-semmc module so that it can be shared with the ARM backend. I still plan to move the main TH module with the SimpleBuilder to macaw translation, but that requires a few other changes first.
2017-11-27 10:31:04 +03:00
parameterized-utils,
crucible,
Update to the latest macaw
2018-10-23 21:49:23 +03:00
macaw-base >= 0.3.2,
Add float helpers in Macaw-SemMC.
2018-08-27 23:33:23 +03:00
macaw-symbolic,
Start migrating shareable TH code from macaw-ppc to macaw-semmc This change still needs some work, but no other code depends on it yet
2017-12-07 04:28:23 +03:00
dismantle-tablegen,
WIP Debugging rewriting rules They fire sometimes and definitely clean up the IR, but they are missing a few key cases still
2020-04-08 10:04:51 +03:00
ansi-wl-pprint,
Add a draft of a generic binary loading interface, simplify TOC handling on PPC The generic binary loading interface is instantiated once for each architecture/binary container pair. This isn't great, but there is enough custom work in each setting to justify it. The binary loading interface isn't finished yet, and needs to learn some additional operations to support relocation. It already supports additional information that is architecture specific and binary container format specific (that operations will have to use on a per-format basis). On the PowerPC side, the Table of Contents (TOC) is now architecture-specific information constructed by the loader (currently from ELF binaries). The new TOC data type is in place to support this more easily (the old format was just a function).
2018-05-18 02:03:04 +03:00
semmc,
updates what4, crucible, etc. (#146) * update to bv-sized branch of what4 and other things * removed parameterized-utils submodule completely * Updates submodules * Fixes macaw-symbolic w.r.t. crucible-llvm changes Co-authored-by: Ben Selfridge <ben@000548-benselfridge.local>
2020-06-17 02:49:55 +03:00
bv-sized,
Update to use macaw-loader for uniform binary loading.
2018-10-30 01:28:44 +03:00
what4
first commit
2017-08-29 01:48:55 +03:00
hs-source-dirs: src
default-language: Haskell2010
Add float helpers in Macaw-SemMC.
2018-08-27 23:33:23 +03:00
ghc-options: -Wall
Reference in New Issue Copy Permalink