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.hs | |
| parent | dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9 (diff) | |
| download | verismith-853ea59d4c2fea5f7b67ae3ac61920e1d089a958.tar.gz verismith-853ea59d4c2fea5f7b67ae3ac61920e1d089a958.zip | |
Rename remaining modules
Diffstat (limited to 'src/VeriFuzz.hs')
| -rw-r--r-- | src/VeriFuzz.hs | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/src/VeriFuzz.hs b/src/VeriFuzz.hs index a3204b3..4f34ec9 100644 --- a/src/VeriFuzz.hs +++ b/src/VeriFuzz.hs @@ -1,5 +1,5 @@ {-| -Module : Test.VeriFuzz +Module : VeriFuzz Description : VeriFuzz Copyright : (c) 2018-2019, Yann Herklotz Grave License : BSD-3 @@ -8,23 +8,23 @@ Stability : experimental Portability : POSIX -} -module Test.VeriFuzz +module VeriFuzz ( -- * Definitions - module Test.VeriFuzz.Circuit + module VeriFuzz.Circuit -- * Verilog AST Data Types - , module Test.VeriFuzz.Verilog + , module VeriFuzz.Verilog -- * Graphs - , module Test.VeriFuzz.Graph.ASTGen - , module Test.VeriFuzz.Graph.CodeGen - , module Test.VeriFuzz.Graph.Random + , module VeriFuzz.Graph.ASTGen + , module VeriFuzz.Graph.CodeGen + , module VeriFuzz.Graph.Random -- * Simulator - , module Test.VeriFuzz.Simulator + , module VeriFuzz.Simulator ) where -import Test.VeriFuzz.Circuit -import Test.VeriFuzz.Graph.ASTGen -import Test.VeriFuzz.Graph.CodeGen -import Test.VeriFuzz.Graph.Random -import Test.VeriFuzz.Simulator -import Test.VeriFuzz.Verilog +import VeriFuzz.Circuit +import VeriFuzz.Graph.ASTGen +import VeriFuzz.Graph.CodeGen +import VeriFuzz.Graph.Random +import VeriFuzz.Simulator +import VeriFuzz.Verilog |