Rename macaw to macaw-base and move directory.

2024-11-22 14:27:51 +03:00 · 2017-09-27 15:41:37 -07:00 · 2017-09-27 15:41:37 -07:00 · 0242a88fa6
commit 0242a88fa6
parent 7a31a65e1d
27 changed files with 2 additions and 2 deletions
--- a/base/macaw-base.cabal
+++ b/base/macaw-base.cabal
@ -1,4 +1,4 @@
-name: macaw
+name: macaw-base
 version: 0.0.1
 author: Galois, Inc.
 maintainer: jhendrix@galois.com
--- a/base/src/Data/Macaw/AbsDomain/AbsState.hs
+++ b/base/src/Data/Macaw/AbsDomain/AbsState.hs
--- a/base/src/Data/Macaw/AbsDomain/JumpBounds.hs
+++ b/base/src/Data/Macaw/AbsDomain/JumpBounds.hs
--- a/base/src/Data/Macaw/AbsDomain/Refine.hs
+++ b/base/src/Data/Macaw/AbsDomain/Refine.hs
--- a/base/src/Data/Macaw/AbsDomain/StridedInterval.hs
+++ b/base/src/Data/Macaw/AbsDomain/StridedInterval.hs
--- a/base/src/Data/Macaw/Architecture/Info.hs
+++ b/base/src/Data/Macaw/Architecture/Info.hs
--- a/base/src/Data/Macaw/Architecture/Syscall.hs
+++ b/base/src/Data/Macaw/Architecture/Syscall.hs
--- a/base/src/Data/Macaw/CFG.hs
+++ b/base/src/Data/Macaw/CFG.hs
--- a/base/src/Data/Macaw/CFG/App.hs
+++ b/base/src/Data/Macaw/CFG/App.hs
--- a/base/src/Data/Macaw/CFG/Block.hs
+++ b/base/src/Data/Macaw/CFG/Block.hs
--- a/base/src/Data/Macaw/CFG/Core.hs
+++ b/base/src/Data/Macaw/CFG/Core.hs
--- a/base/src/Data/Macaw/CFG/DemandSet.hs
+++ b/base/src/Data/Macaw/CFG/DemandSet.hs
--- a/base/src/Data/Macaw/CFG/Rewriter.hs
+++ b/base/src/Data/Macaw/CFG/Rewriter.hs
--- a/base/src/Data/Macaw/DebugLogging.hs
+++ b/base/src/Data/Macaw/DebugLogging.hs
--- a/base/src/Data/Macaw/Discovery.hs
+++ b/base/src/Data/Macaw/Discovery.hs
--- a/base/src/Data/Macaw/Discovery/AbsEval.hs
+++ b/base/src/Data/Macaw/Discovery/AbsEval.hs
--- a/base/src/Data/Macaw/Discovery/State.hs
+++ b/base/src/Data/Macaw/Discovery/State.hs
--- a/base/src/Data/Macaw/Dwarf.hs
+++ b/base/src/Data/Macaw/Dwarf.hs
--- a/base/src/Data/Macaw/Fold.hs
+++ b/base/src/Data/Macaw/Fold.hs
--- a/base/src/Data/Macaw/GaloisDwarf.hs
+++ b/base/src/Data/Macaw/GaloisDwarf.hs
--- a/base/src/Data/Macaw/Memory.hs
+++ b/base/src/Data/Macaw/Memory.hs
--- a/base/src/Data/Macaw/Memory/ElfLoader.hs
+++ b/base/src/Data/Macaw/Memory/ElfLoader.hs
--- a/base/src/Data/Macaw/Memory/Permissions.hs
+++ b/base/src/Data/Macaw/Memory/Permissions.hs
--- a/base/src/Data/Macaw/Types.hs
+++ b/base/src/Data/Macaw/Types.hs
--- a/macaw-symbolic/macaw-symbolic.cabal
+++ b/macaw-symbolic/macaw-symbolic.cabal
@ -11,7 +11,7 @@ library
                containers,
                crucible,
                lens,
-                macaw,
+                macaw-base,
                mtl,
                parameterized-utils,
                text
--- a/macaw-symbolic/src/Data/Macaw/Symbolic.hs
+++ b/macaw-symbolic/src/Data/Macaw/Symbolic.hs
--- a/macaw-symbolic/src/Data/Macaw/Symbolic/App.hs
+++ b/macaw-symbolic/src/Data/Macaw/Symbolic/App.hs