diff options
-rw-r--r-- | src/VeriFuzz/Generate.hs (renamed from src/VeriFuzz/Verilog/Gen.hs) | 4 | ||||
-rw-r--r-- | src/VeriFuzz/Verilog.hs | 2 | ||||
-rw-r--r-- | verifuzz.cabal | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/VeriFuzz/Verilog/Gen.hs b/src/VeriFuzz/Generate.hs index e037b67..e2b986b 100644 --- a/src/VeriFuzz/Verilog/Gen.hs +++ b/src/VeriFuzz/Generate.hs @@ -1,5 +1,5 @@ {-| -Module : VeriFuzz.Verilog.Gen +Module : VeriFuzz.Generate Description : Various useful generators. Copyright : (c) 2019, Yann Herklotz License : GPL-3 @@ -13,7 +13,7 @@ Various useful generators. {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -Wno-unused-imports #-} -module VeriFuzz.Verilog.Gen +module VeriFuzz.Generate ( -- * Generation methods procedural , proceduralIO diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs index 7d7eea6..9df6bfd 100644 --- a/src/VeriFuzz/Verilog.hs +++ b/src/VeriFuzz/Verilog.hs @@ -105,8 +105,8 @@ module VeriFuzz.Verilog ) where +import VeriFuzz.Generate import VeriFuzz.Verilog.AST import VeriFuzz.Verilog.CodeGen -import VeriFuzz.Verilog.Gen import VeriFuzz.Verilog.Parser import VeriFuzz.Verilog.Quote diff --git a/verifuzz.cabal b/verifuzz.cabal index b939034..49e3f68 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -35,6 +35,7 @@ library , VeriFuzz.Circuit.Random , VeriFuzz.Config , VeriFuzz.Fuzz + , VeriFuzz.Generate , VeriFuzz.Internal , VeriFuzz.Reduce , VeriFuzz.Report @@ -53,7 +54,6 @@ library , VeriFuzz.Verilog.BitVec , VeriFuzz.Verilog.CodeGen , VeriFuzz.Verilog.Eval - , VeriFuzz.Verilog.Gen , VeriFuzz.Verilog.Internal , VeriFuzz.Verilog.Lex , VeriFuzz.Verilog.Mutate |