GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 23:32:15 +03:00
Code Issues Projects Releases Wiki Activity

Add a missing symbolic instance

Browse Source
This commit is contained in:
Tristan Ravitch 2020-04-05 22:08:58 -07:00
parent c5fe84f97c
commit b9672eb7f9
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
macaw-aarch32-symbolic/macaw-aarch32-symbolic.cabal
View File

@ -24,6 +24,7 @@ library
build-depends: base >=4.10 && <5,
parameterized-utils,
crucible,
macaw-base,
semmc-aarch32,
macaw-aarch32,
macaw-symbolic

9
macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic.hs
View File

@ -1,6 +1,7 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Macaw.AArch32.Symbolic (
@ -9,6 +10,8 @@ module Data.Macaw.AArch32.Symbolic (
import Data.Kind ( Type )
import qualified Data.Macaw.Symbolic as MS
import qualified Data.Macaw.Symbolic.Backend as MSB
import qualified Data.Macaw.Types as MT
import qualified Data.Parameterized.Context as Ctx
import qualified Data.Parameterized.TraversableFC as FC
import qualified SemMC.Architecture.AArch32 as SA
@ -28,3 +31,9 @@ instance CE.PrettyApp AArch32StmtExtension where
type instance MSB.MacawArchStmtExtension SA.AArch32 =
AArch32StmtExtension
-- Dummy register context
--
-- For now, just add one register
type RegContext = Ctx.EmptyCtx Ctx.::> MT.BVType 32
type instance MS.ArchRegContext SA.AArch32 = RegContext