From ead89aa8fcb721630ddc04501bfefd09b96fb361 Mon Sep 17 00:00:00 2001 From: Your Name Date: Wed, 25 Sep 2024 14:53:12 -0400 Subject: [PATCH] aarch32-symbolic: Haddock typo --- macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs index e0539da6..7f7ba46e 100644 --- a/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs +++ b/macaw-aarch32-symbolic/src/Data/Macaw/AArch32/Symbolic/Regs.hs @@ -17,7 +17,7 @@ during code discovery and symbolic execution, which includes things like: - Branch taken/not taken flags - Various flags -Note that there are "untracked" state, which is architectural state referred to +Note that there is "untracked" state, which is architectural state referred to in the semantics, but that is entirely local to an instruction. These are equivalent to local variables and do not appear in the post states of any instructions. We do not track those in the symbolic execution because they are @@ -38,6 +38,7 @@ This module is meant to be imported qualified, as it exports many terse names. {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE UndecidableInstances #-} +{-# OPTIONS_GHC -ddump-simpl #-} module Data.Macaw.AArch32.Symbolic.Regs ( RegContext