diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:48:02 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-02-01 19:48:02 +0000 |
| commit | cedff4da4ee36ed6b3b4c1c20012d96075a87a9f (patch) | |
| tree | 8e0b489417720499e14dd369d2c77bc811ffeb7b /src | |
| parent | a9002d9bfdfa8b6ae0973b7972ce300142c1ded0 (diff) | |
| download | verismith-cedff4da4ee36ed6b3b4c1c20012d96075a87a9f.tar.gz verismith-cedff4da4ee36ed6b3b4c1c20012d96075a87a9f.zip | |
Rename XST and add imports
Diffstat (limited to 'src')
| -rw-r--r-- | src/VeriFuzz.hs | 48 | ||||
| -rw-r--r-- | src/VeriFuzz/XST.hs (renamed from src/VeriFuzz/Xst.hs) | 4 |
2 files changed, 32 insertions, 20 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index fecc5d2..edf561b 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -9,23 +9,35 @@ Portability : POSIX -} module VeriFuzz - ( - -- * Definitions - module VeriFuzz.Circuit - -- * Verilog AST Data Types - , module VeriFuzz.Verilog - -- * Graphs - , module VeriFuzz.Graph.ASTGen - , module VeriFuzz.Graph.CodeGen - , module VeriFuzz.Graph.Random - -- * Simulator - , module VeriFuzz.Simulator - ) -where + ( module VeriFuzz.AST + , module VeriFuzz.ASTGen + , module VeriFuzz.Circuit + , module VeriFuzz.CodeGen + , module VeriFuzz.Env + , module VeriFuzz.Gen + , module VeriFuzz.General + , module VeriFuzz.Helpers + , module VeriFuzz.Icarus + , module VeriFuzz.Internal + , module VeriFuzz.Mutate + , module VeriFuzz.Random + , module VeriFuzz.RandomAlt + , module VeriFuzz.XST + , module VeriFuzz.Yosys + ) where +import VeriFuzz.AST +import VeriFuzz.ASTGen import VeriFuzz.Circuit -import VeriFuzz.Graph.ASTGen -import VeriFuzz.Graph.CodeGen -import VeriFuzz.Graph.Random -import VeriFuzz.Simulator -import VeriFuzz.Verilog +import VeriFuzz.CodeGen +import VeriFuzz.Env +import VeriFuzz.Gen +import VeriFuzz.General +import VeriFuzz.Helpers +import VeriFuzz.Icarus +import VeriFuzz.Internal +import VeriFuzz.Mutate +import VeriFuzz.Random +import VeriFuzz.RandomAlt +import VeriFuzz.XST +import VeriFuzz.Yosys diff --git a/src/VeriFuzz/Xst.hs b/src/VeriFuzz/XST.hs index 52272c3..1cd63eb 100644 --- a/src/VeriFuzz/Xst.hs +++ b/src/VeriFuzz/XST.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Simulator.Xst +Module : VeriFuzz.Simulator.XST Description : Xst (ise) simulator implementation. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -12,7 +12,7 @@ Xst (ise) simulator implementation. {-# LANGUAGE QuasiQuotes #-} -module VeriFuzz.Simulator.Xst where +module VeriFuzz.Simulator.XST where import Control.Lens hiding ((<.>)) import qualified Data.Text as T |