From cedff4da4ee36ed6b3b4c1c20012d96075a87a9f Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 1 Feb 2019 19:48:02 +0000 Subject: Rename XST and add imports --- src/VeriFuzz.hs | 48 ++++++++++++++++++++++++++++++------------------ 1 file changed, 30 insertions(+), 18 deletions(-) (limited to 'src/VeriFuzz.hs') 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 -- cgit