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

fix ArchInfo instance for macaw-aarch32-symbolic

Browse Source
This commit is contained in:
Daniel Matichuk 2020-10-05 12:22:07 -07:00
parent 70d35d44e4
commit b04e0a2fa6
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,6 +2,7 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Macaw.AArch32.Symbolic (
@ -18,8 +19,8 @@ import qualified SemMC.Architecture.AArch32 as SA
import qualified Lang.Crucible.CFG.Extension as CE
import qualified Lang.Crucible.Types as CT
instance MS.ArchInfo SA.AArch32 where
archVals _ = Nothing
instance MS.GenArchInfo MS.LLVMMemory SA.AArch32 where
genArchVals _ _ = Nothing
data AArch32StmtExtension (f :: CT.CrucibleType -> Type) (ctp :: CT.CrucibleType) where