aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz.hs')
-rw-r--r--src/VeriFuzz.hs30
1 files changed, 30 insertions, 0 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs
new file mode 100644
index 0000000..a3204b3
--- /dev/null
+++ b/src/VeriFuzz.hs
@@ -0,0 +1,30 @@
+{-|
+Module : Test.VeriFuzz
+Description : VeriFuzz
+Copyright : (c) 2018-2019, Yann Herklotz Grave
+License : BSD-3
+Maintainer : ymherklotz [at] gmail [dot] com
+Stability : experimental
+Portability : POSIX
+-}
+
+module Test.VeriFuzz
+ (
+ -- * Definitions
+ module Test.VeriFuzz.Circuit
+ -- * Verilog AST Data Types
+ , module Test.VeriFuzz.Verilog
+ -- * Graphs
+ , module Test.VeriFuzz.Graph.ASTGen
+ , module Test.VeriFuzz.Graph.CodeGen
+ , module Test.VeriFuzz.Graph.Random
+ -- * Simulator
+ , module Test.VeriFuzz.Simulator
+ ) where
+
+import Test.VeriFuzz.Circuit
+import Test.VeriFuzz.Graph.ASTGen
+import Test.VeriFuzz.Graph.CodeGen
+import Test.VeriFuzz.Graph.Random
+import Test.VeriFuzz.Simulator
+import Test.VeriFuzz.Verilog