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

Re-export newSymFuns from the top-level module

Browse Source
This commit is contained in:
Tristan Ravitch 2018-05-04 09:32:13 -07:00
parent c3ba017fcc
commit 05c01beec0
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic.hs
View File

@ -15,6 +15,7 @@ module Data.Macaw.PPC.Symbolic (
ppc32MacawSymbolicFns,
ppc32MacawEvalFn,
F.SymFuns,
F.newSymFuns,
getReg,
-- * Register names
IP,