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 /verifuzz.cabal | |
| parent | dac34f6ff5c46f11fe6c548b92a02ebf4f10d7e9 (diff) | |
| download | verismith-853ea59d4c2fea5f7b67ae3ac61920e1d089a958.tar.gz verismith-853ea59d4c2fea5f7b67ae3ac61920e1d089a958.zip | |
Rename remaining modules
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index f2524d8..bd06eef 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -17,25 +17,25 @@ extra-source-files: README.md library hs-source-dirs: src default-language: Haskell2010 - other-modules: Test.VeriFuzz.Internal.Shared - , Test.VeriFuzz.Internal.Gen - exposed-modules: Test.VeriFuzz - , Test.VeriFuzz.Circuit - , Test.VeriFuzz.Graph.ASTGen - , Test.VeriFuzz.Graph.CodeGen - , Test.VeriFuzz.Graph.Random - , Test.VeriFuzz.Graph.RandomAlt - , Test.VeriFuzz.Simulator - , Test.VeriFuzz.Simulator.General - , Test.VeriFuzz.Simulator.Icarus - , Test.VeriFuzz.Simulator.Xst - , Test.VeriFuzz.Simulator.Yosys - , Test.VeriFuzz.Verilog - , Test.VeriFuzz.Verilog.AST - , Test.VeriFuzz.Verilog.Arbitrary - , Test.VeriFuzz.Verilog.CodeGen - , Test.VeriFuzz.Verilog.Helpers - , Test.VeriFuzz.Verilog.Mutate + other-modules: VeriFuzz.Internal.Shared + , VeriFuzz.Internal.Gen + exposed-modules: VeriFuzz + , VeriFuzz.Circuit + , VeriFuzz.Graph.ASTGen + , VeriFuzz.Graph.CodeGen + , VeriFuzz.Graph.Random + , VeriFuzz.Graph.RandomAlt + , VeriFuzz.Simulator + , VeriFuzz.Simulator.General + , VeriFuzz.Simulator.Icarus + , VeriFuzz.Simulator.Xst + , VeriFuzz.Simulator.Yosys + , VeriFuzz.Verilog + , VeriFuzz.Verilog.AST + , VeriFuzz.Verilog.Arbitrary + , VeriFuzz.Verilog.CodeGen + , VeriFuzz.Verilog.Helpers + , VeriFuzz.Verilog.Mutate build-depends: base >= 4.7 && < 5 , QuickCheck >=2.3 && <2.10 , fgl |