housekeeping: add (c) headers and sort imports

runtimeverification · Dec 20, 2023 · 0f68138 · 0f68138
1 parent fdb2f6b
commit 0f68138
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 6 deletions.
diff --git a/library/Booster/LLVM.hs b/library/Booster/LLVM.hs
@@ -1,3 +1,8 @@
+{- |
+Copyright   : (c) Runtime Verification, 2023
+License     : BSD-3-Clause
+-}
+
 module Booster.LLVM (simplifyBool, simplifyTerm) where
 
 import Control.Monad.IO.Class (MonadIO (..))

diff --git a/library/Booster/Pattern/Binary.hs b/library/Booster/Pattern/Binary.hs
@@ -1,5 +1,10 @@
 {-# LANGUAGE PatternSynonyms #-}
 
+{- |
+Copyright   : (c) Runtime Verification, 2023
+License     : BSD-3-Clause
+-}
+
 module Booster.Pattern.Binary (
     Version (..),
     Block (..),
@@ -13,12 +18,6 @@ module Booster.Pattern.Binary (
     decodeSingleBlock,
 ) where
 
-import Booster.Definition.Attributes.Base
-import Booster.Definition.Base
-import Booster.Pattern.Base
-import Booster.Pattern.Bool (pattern TrueBool)
-import Booster.Pattern.Util (sortOfTerm)
-import Booster.Prettyprinter (renderDefault)
 import Control.Monad (forM_, unless)
 import Control.Monad.Extra (forM)
 import Control.Monad.Trans.Class (MonadTrans (..))
@@ -38,6 +37,13 @@ import GHC.Word (Word8)
 import Prettyprinter (pretty)
 import Text.Printf
 
+import Booster.Definition.Attributes.Base
+import Booster.Definition.Base
+import Booster.Pattern.Base
+import Booster.Pattern.Bool (pattern TrueBool)
+import Booster.Pattern.Util (sortOfTerm)
+import Booster.Prettyprinter (renderDefault)
+
 -- | tags indicating the next element in a block, see @'decodeBlock'@
 pattern
     KORECompositePattern