GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity

Add an extra comment to the backend docs

Browse Source
This commit is contained in:
Tristan Ravitch 2019-01-11 13:11:40 -08:00
parent 68c5578f03
commit 81f8f5a849
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
symbolic/src/Data/Macaw/Symbolic/Backend.hs
View File

@ -1,7 +1,10 @@
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE RankNTypes #-}
-- | This module exports additional definitions that are required to implement
-- architecture-specific backends for macaw-symbolic
-- architecture-specific backends for macaw-symbolic.
--
-- See macaw-x86-symbolic and macaw-ppc-symbolic for examples of how to write a
-- backend.
module Data.Macaw.Symbolic.Backend (
-- * Creating an architecture-specific backend
--