aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Sim
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-07-23 22:05:32 +0200
committerYann Herklotz <git@yannherklotz.com>2019-07-23 22:05:41 +0200
commit992e91427fccff43f8ab1944131b8f62f9328f0d (patch)
tree1108e017b2c172da02dde8d07d17f0eda7bc23f9 /src/VeriFuzz/Sim
parent24382ce10ed53724ad2d097a7ed2397806be3e67 (diff)
downloadverismith-992e91427fccff43f8ab1944131b8f62f9328f0d.tar.gz
verismith-992e91427fccff43f8ab1944131b8f62f9328f0d.zip
Add new maintainer email
Diffstat (limited to 'src/VeriFuzz/Sim')
-rw-r--r--src/VeriFuzz/Sim/Icarus.hs47
-rw-r--r--src/VeriFuzz/Sim/Identity.hs17
-rw-r--r--src/VeriFuzz/Sim/Internal.hs34
-rw-r--r--src/VeriFuzz/Sim/Quartus.hs15
-rw-r--r--src/VeriFuzz/Sim/Template.hs2
-rw-r--r--src/VeriFuzz/Sim/Vivado.hs15
-rw-r--r--src/VeriFuzz/Sim/XST.hs17
-rw-r--r--src/VeriFuzz/Sim/Yosys.hs19
8 files changed, 64 insertions, 102 deletions
diff --git a/src/VeriFuzz/Sim/Icarus.hs b/src/VeriFuzz/Sim/Icarus.hs
index 8e62136..e7c92dc 100644
--- a/src/VeriFuzz/Sim/Icarus.hs
+++ b/src/VeriFuzz/Sim/Icarus.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Icarus
Description : Icarus verilog module.
Copyright : (c) 2018-2019, Yann Herklotz
License : BSD-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -17,35 +17,28 @@ module VeriFuzz.Sim.Icarus
)
where
-import Control.DeepSeq ( NFData
- , rnf
- , rwhnf
- )
+import Control.DeepSeq (NFData, rnf, rwhnf)
import Control.Lens
-import Control.Monad ( void )
-import Crypto.Hash ( Digest
- , hash
- )
-import Crypto.Hash.Algorithms ( SHA256 )
-import Data.Binary ( encode )
+import Control.Monad (void)
+import Crypto.Hash (Digest, hash)
+import Crypto.Hash.Algorithms (SHA256)
+import Data.Binary (encode)
import Data.Bits
-import qualified Data.ByteArray as BA
- ( convert )
-import Data.ByteString ( ByteString )
-import qualified Data.ByteString as B
-import Data.ByteString.Lazy ( toStrict )
-import qualified Data.ByteString.Lazy as L
- ( ByteString )
-import Data.Char ( digitToInt )
-import Data.Foldable ( fold )
-import Data.List ( transpose )
-import Data.Maybe ( listToMaybe )
-import Data.Text ( Text )
-import qualified Data.Text as T
-import Numeric ( readInt )
-import Prelude hiding ( FilePath )
+import qualified Data.ByteArray as BA (convert)
+import Data.ByteString (ByteString)
+import qualified Data.ByteString as B
+import Data.ByteString.Lazy (toStrict)
+import qualified Data.ByteString.Lazy as L (ByteString)
+import Data.Char (digitToInt)
+import Data.Foldable (fold)
+import Data.List (transpose)
+import Data.Maybe (listToMaybe)
+import Data.Text (Text)
+import qualified Data.Text as T
+import Numeric (readInt)
+import Prelude hiding (FilePath)
import Shelly
-import Shelly.Lifted ( liftSh )
+import Shelly.Lifted (liftSh)
import VeriFuzz.Sim.Internal
import VeriFuzz.Sim.Template
import VeriFuzz.Verilog.AST
diff --git a/src/VeriFuzz/Sim/Identity.hs b/src/VeriFuzz/Sim/Identity.hs
index 95b4097..bfa99f5 100644
--- a/src/VeriFuzz/Sim/Identity.hs
+++ b/src/VeriFuzz/Sim/Identity.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Identity
Description : The identity simulator and synthesiser.
Copyright : (c) 2019, Yann Herklotz Grave
License : GPL-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -16,16 +16,11 @@ module VeriFuzz.Sim.Identity
)
where
-import Control.DeepSeq ( NFData
- , rnf
- , rwhnf
- )
-import Data.Text ( Text
- , unpack
- )
-import Prelude hiding ( FilePath )
-import Shelly ( FilePath )
-import Shelly.Lifted ( writefile )
+import Control.DeepSeq (NFData, rnf, rwhnf)
+import Data.Text (Text, unpack)
+import Prelude hiding (FilePath)
+import Shelly (FilePath)
+import Shelly.Lifted (writefile)
import VeriFuzz.Sim.Internal
import VeriFuzz.Verilog.AST
import VeriFuzz.Verilog.CodeGen
diff --git a/src/VeriFuzz/Sim/Internal.hs b/src/VeriFuzz/Sim/Internal.hs
index a05a96f..f5351c7 100644
--- a/src/VeriFuzz/Sim/Internal.hs
+++ b/src/VeriFuzz/Sim/Internal.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Internal
Description : Class of the simulator.
Copyright : (c) 2018-2019, Yann Herklotz
License : BSD-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -40,26 +40,20 @@ module VeriFuzz.Sim.Internal
where
import Control.Lens
-import Control.Monad ( forM
- , void
- )
-import Control.Monad.Catch ( throwM )
-import Data.Bits ( shiftL )
-import Data.ByteString ( ByteString )
-import qualified Data.ByteString as B
-import Data.Maybe ( catMaybes )
-import Data.Text ( Text )
-import qualified Data.Text as T
-import Data.Time.Format ( defaultTimeLocale
- , formatTime
- )
-import Data.Time.LocalTime ( getZonedTime )
-import Prelude hiding ( FilePath )
+import Control.Monad (forM, void)
+import Control.Monad.Catch (throwM)
+import Data.Bits (shiftL)
+import Data.ByteString (ByteString)
+import qualified Data.ByteString as B
+import Data.Maybe (catMaybes)
+import Data.Text (Text)
+import qualified Data.Text as T
+import Data.Time.Format (defaultTimeLocale, formatTime)
+import Data.Time.LocalTime (getZonedTime)
+import Prelude hiding (FilePath)
import Shelly
-import Shelly.Lifted ( MonadSh
- , liftSh
- )
-import System.FilePath.Posix ( takeBaseName )
+import Shelly.Lifted (MonadSh, liftSh)
+import System.FilePath.Posix (takeBaseName)
import VeriFuzz.Internal
import VeriFuzz.Result
import VeriFuzz.Verilog.AST
diff --git a/src/VeriFuzz/Sim/Quartus.hs b/src/VeriFuzz/Sim/Quartus.hs
index e0fbba5..254bfa5 100644
--- a/src/VeriFuzz/Sim/Quartus.hs
+++ b/src/VeriFuzz/Sim/Quartus.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Quartus
Description : Quartus synthesiser implementation.
Copyright : (c) 2019, Yann Herklotz Grave
License : GPL-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -16,16 +16,11 @@ module VeriFuzz.Sim.Quartus
)
where
-import Control.DeepSeq ( NFData
- , rnf
- , rwhnf
- )
-import Data.Text ( Text
- , unpack
- )
-import Prelude hiding ( FilePath )
+import Control.DeepSeq (NFData, rnf, rwhnf)
+import Data.Text (Text, unpack)
+import Prelude hiding (FilePath)
import Shelly
-import Shelly.Lifted ( liftSh )
+import Shelly.Lifted (liftSh)
import VeriFuzz.Sim.Internal
import VeriFuzz.Verilog.AST
import VeriFuzz.Verilog.CodeGen
diff --git a/src/VeriFuzz/Sim/Template.hs b/src/VeriFuzz/Sim/Template.hs
index 3be6558..9b8ee9f 100644
--- a/src/VeriFuzz/Sim/Template.hs
+++ b/src/VeriFuzz/Sim/Template.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Template
Description : Template file for different configuration files
Copyright : (c) 2019, Yann Herklotz
License : GPL-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
diff --git a/src/VeriFuzz/Sim/Vivado.hs b/src/VeriFuzz/Sim/Vivado.hs
index 8697a0f..4ddb048 100644
--- a/src/VeriFuzz/Sim/Vivado.hs
+++ b/src/VeriFuzz/Sim/Vivado.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Vivado
Description : Vivado Synthesiser implementation.
Copyright : (c) 2019, Yann Herklotz Grave
License : GPL-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -16,16 +16,11 @@ module VeriFuzz.Sim.Vivado
)
where
-import Control.DeepSeq ( NFData
- , rnf
- , rwhnf
- )
-import Data.Text ( Text
- , unpack
- )
-import Prelude hiding ( FilePath )
+import Control.DeepSeq (NFData, rnf, rwhnf)
+import Data.Text (Text, unpack)
+import Prelude hiding (FilePath)
import Shelly
-import Shelly.Lifted ( liftSh )
+import Shelly.Lifted (liftSh)
import VeriFuzz.Sim.Internal
import VeriFuzz.Sim.Template
import VeriFuzz.Verilog.AST
diff --git a/src/VeriFuzz/Sim/XST.hs b/src/VeriFuzz/Sim/XST.hs
index f5faae5..86db667 100644
--- a/src/VeriFuzz/Sim/XST.hs
+++ b/src/VeriFuzz/Sim/XST.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.XST
Description : XST (ise) simulator implementation.
Copyright : (c) 2018-2019, Yann Herklotz
License : BSD-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -18,17 +18,12 @@ module VeriFuzz.Sim.XST
)
where
-import Control.DeepSeq ( NFData
- , rnf
- , rwhnf
- )
-import Data.Text ( Text
- , unpack
- )
-import Prelude hiding ( FilePath )
+import Control.DeepSeq (NFData, rnf, rwhnf)
+import Data.Text (Text, unpack)
+import Prelude hiding (FilePath)
import Shelly
-import Shelly.Lifted ( liftSh )
-import Text.Shakespeare.Text ( st )
+import Shelly.Lifted (liftSh)
+import Text.Shakespeare.Text (st)
import VeriFuzz.Sim.Internal
import VeriFuzz.Sim.Template
import VeriFuzz.Verilog.AST
diff --git a/src/VeriFuzz/Sim/Yosys.hs b/src/VeriFuzz/Sim/Yosys.hs
index 8f9d4a7..d69bc69 100644
--- a/src/VeriFuzz/Sim/Yosys.hs
+++ b/src/VeriFuzz/Sim/Yosys.hs
@@ -3,7 +3,7 @@ Module : VeriFuzz.Sim.Yosys
Description : Yosys simulator implementation.
Copyright : (c) 2018-2019, Yann Herklotz
License : BSD-3
-Maintainer : ymherklotz [at] gmail [dot] com
+Maintainer : yann [at] yannherklotz [dot] com
Stability : experimental
Portability : POSIX
@@ -20,19 +20,14 @@ module VeriFuzz.Sim.Yosys
)
where
-import Control.DeepSeq ( NFData
- , rnf
- , rwhnf
- )
+import Control.DeepSeq (NFData, rnf, rwhnf)
import Control.Lens
-import Control.Monad ( void )
-import Data.Text ( Text
- , unpack
- )
-import Prelude hiding ( FilePath )
+import Control.Monad (void)
+import Data.Text (Text, unpack)
+import Prelude hiding (FilePath)
import Shelly
-import Shelly.Lifted ( liftSh )
-import Text.Shakespeare.Text ( st )
+import Shelly.Lifted (liftSh)
+import Text.Shakespeare.Text (st)
import VeriFuzz.Result
import VeriFuzz.Sim.Internal
import VeriFuzz.Sim.Template