aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2019-07-26 11:49:07 +0200
committerYann Herklotz <git@yannherklotz.com>2019-07-26 11:49:07 +0200
commitb8dcd66b76f502287ec3addef103db365663f5a2 (patch)
tree035d7d42b0b636b14350accb5652aa45f124639c
parente200500f6a43d0ed48b194f9fc397fd32e9ce3e2 (diff)
downloadverismith-b8dcd66b76f502287ec3addef103db365663f5a2.tar.gz
verismith-b8dcd66b76f502287ec3addef103db365663f5a2.zip
Move Gen.hs to Generate.hs
-rw-r--r--src/VeriFuzz/Generate.hs (renamed from src/VeriFuzz/Verilog/Gen.hs)4
-rw-r--r--src/VeriFuzz/Verilog.hs2
-rw-r--r--verifuzz.cabal2
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