From 82be0282495fc698ee997989eb33ffcff3cb6233 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 26 Jul 2019 12:09:47 +0200 Subject: Move the imports to VeriFuzz.hs --- src/VeriFuzz.hs | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'src/VeriFuzz.hs') diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index b3b1ec6..4f52108 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -12,12 +12,21 @@ Portability : POSIX module VeriFuzz ( defaultMain + -- * Types , Opts(..) + , SourceInfo(..) + -- * Run functions , runEquivalence , runSimulation , runReduce , draw - , SourceInfo(..) + -- * Verilog generation functions + , procedural + , proceduralIO + , proceduralSrc + , proceduralSrcIO + , randomMod + -- * Extra modules , module VeriFuzz.Verilog , module VeriFuzz.Config , module VeriFuzz.Circuit @@ -52,6 +61,7 @@ import System.Random (randomIO) import VeriFuzz.Circuit import VeriFuzz.Config import VeriFuzz.Fuzz +import VeriFuzz.Generate import VeriFuzz.Reduce import VeriFuzz.Report import VeriFuzz.Result -- cgit