diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 15:49:59 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2019-01-10 15:49:59 +0000 |
commit | 853ea59d4c2fea5f7b67ae3ac61920e1d089a958 (patch) | |
tree | d6000af08cecd671ee36eac237d1c007eecc8f09 /src/VeriFuzz/Verilog.hs | |
parent | dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9 (diff) | |
download | verismith-853ea59d4c2fea5f7b67ae3ac61920e1d089a958.tar.gz verismith-853ea59d4c2fea5f7b67ae3ac61920e1d089a958.zip |
Rename remaining modules
Diffstat (limited to 'src/VeriFuzz/Verilog.hs')
-rw-r--r-- | src/VeriFuzz/Verilog.hs | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/VeriFuzz/Verilog.hs b/src/VeriFuzz/Verilog.hs index d88f885..baed3c5 100644 --- a/src/VeriFuzz/Verilog.hs +++ b/src/VeriFuzz/Verilog.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz.Verilog +Module : VeriFuzz.Verilog Description : The main verilog module with the syntax and code generation. Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -10,19 +10,19 @@ Portability : POSIX The main verilog module with the syntax and code generation. -} -module Test.VeriFuzz.Verilog +module VeriFuzz.Verilog ( -- * AST - module Test.VeriFuzz.Verilog.AST + module VeriFuzz.Verilog.AST -- * Code Generation - , module Test.VeriFuzz.Verilog.CodeGen + , module VeriFuzz.Verilog.CodeGen -- * Verilog mutations - , module Test.VeriFuzz.Verilog.Mutate - , module Test.VeriFuzz.Verilog.Helpers - , module Test.VeriFuzz.Verilog.Arbitrary + , module VeriFuzz.Verilog.Mutate + , module VeriFuzz.Verilog.Helpers + , module VeriFuzz.Verilog.Arbitrary ) where -import Test.VeriFuzz.Verilog.Arbitrary -import Test.VeriFuzz.Verilog.AST -import Test.VeriFuzz.Verilog.CodeGen -import Test.VeriFuzz.Verilog.Helpers -import Test.VeriFuzz.Verilog.Mutate +import VeriFuzz.Verilog.Arbitrary +import VeriFuzz.Verilog.AST +import VeriFuzz.Verilog.CodeGen +import VeriFuzz.Verilog.Helpers +import VeriFuzz.Verilog.Mutate |