diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 12:09:47 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-07-26 12:09:47 +0200 |
| commit | 82be0282495fc698ee997989eb33ffcff3cb6233 (patch) | |
| tree | 0b03010305eb04488710ef09b4c62b632f800647 | |
| parent | b8dcd66b76f502287ec3addef103db365663f5a2 (diff) | |
| download | verismith-82be0282495fc698ee997989eb33ffcff3cb6233.tar.gz verismith-82be0282495fc698ee997989eb33ffcff3cb6233.zip | |
Move the imports to VeriFuzz.hs
| -rw-r--r-- | src/VeriFuzz.hs | 12 | ||||
| -rw-r--r-- | src/VeriFuzz/Verilog.hs | 6 |
2 files changed, 11 insertions, 7 deletions
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 diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs index 9df6bfd..4b5029c 100644 --- a/src/VeriFuzz/Verilog.hs +++ b/src/VeriFuzz/Verilog.hs @@ -16,11 +16,6 @@ module VeriFuzz.Verilog ( SourceInfo(..) , Verilog(..) , parseVerilog - , procedural - , proceduralIO - , proceduralSrc - , proceduralSrcIO - , randomMod , GenVerilog(..) , genSource -- * Primitives @@ -105,7 +100,6 @@ module VeriFuzz.Verilog ) where -import VeriFuzz.Generate import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen import VeriFuzz.Verilog.Parser |