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 /src/VeriFuzz.hs | |
| parent | b8dcd66b76f502287ec3addef103db365663f5a2 (diff) | |
| download | verismith-82be0282495fc698ee997989eb33ffcff3cb6233.tar.gz verismith-82be0282495fc698ee997989eb33ffcff3cb6233.zip | |
Move the imports to VeriFuzz.hs
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 12 |
1 files changed, 11 insertions, 1 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 |