Rename cabal file to fix nix

1 files changed, 0 insertions, 155 deletions

diff --git a/verifuzz.cabal b/verifuzz.cabal
deleted file mode 100644
index ef27082..0000000
--- a/verifuzz.cabal
+++ /dev/null
@@ -1,155 +0,0 @@
-name: verismith
-version: 0.3.1.0
-synopsis: Random verilog generation and simulator testing.
-description:
-  VeriSmith provides random verilog generation modules
-  implementing functions to test supported simulators.
-homepage: https://github.com/ymherklotz/VeriSmith#readme
-license: BSD3
-license-file: LICENSE
-author: Yann Herklotz
-maintainer: yann [at] yannherklotz [dot] com
-copyright: 2018-2019 Yann Herklotz
-category: Web
-build-type: Custom
-cabal-version: >=1.10
-extra-source-files: README.md
-                  , data/*.v
-
-custom-setup
-  setup-depends:
-    base >= 4 && <5,
-    cabal-doctest >= 1 && <1.1,
-    Cabal >= 1.10 && <2.5
-
-library
-  hs-source-dirs: src
-  default-language: Haskell2010
-  build-tools: alex >=3 && <4
-  other-modules: Paths_verismith
-  exposed-modules: VeriSmith
-                 , VeriSmith.Circuit
-                 , VeriSmith.Circuit.Base
-                 , VeriSmith.Circuit.Gen
-                 , VeriSmith.Circuit.Internal
-                 , VeriSmith.Circuit.Random
-                 , VeriSmith.Config
-                 , VeriSmith.Fuzz
-                 , VeriSmith.Generate
-                 , VeriSmith.Internal
-                 , VeriSmith.Reduce
-                 , VeriSmith.Report
-                 , VeriSmith.Result
-                 , VeriSmith.Sim
-                 , VeriSmith.Sim.Icarus
-                 , VeriSmith.Sim.Identity
-                 , VeriSmith.Sim.Internal
-                 , VeriSmith.Sim.Quartus
-                 , VeriSmith.Sim.Template
-                 , VeriSmith.Sim.Vivado
-                 , VeriSmith.Sim.XST
-                 , VeriSmith.Sim.Yosys
-                 , VeriSmith.Verilog
-                 , VeriSmith.Verilog.AST
-                 , VeriSmith.Verilog.BitVec
-                 , VeriSmith.Verilog.CodeGen
-                 , VeriSmith.Verilog.Eval
-                 , VeriSmith.Verilog.Internal
-                 , VeriSmith.Verilog.Lex
-                 , VeriSmith.Verilog.Mutate
-                 , VeriSmith.Verilog.Parser
-                 , VeriSmith.Verilog.Preprocess
-                 , VeriSmith.Verilog.Quote
-                 , VeriSmith.Verilog.Token
-  build-depends: base >=4.7 && <5
-               -- Cannot upgrade to 1.0 because of missing MonadGen instance for
-               -- StateT.
-               , hedgehog >= 0.5.3 && <0.7
-               , fgl >=5.6 && <5.8
-               , fgl-visualize >=0.1 && <0.2
-               , lens >=4.16.1 && <4.18
-               , random >=1.1 && <1.2
-               , shakespeare >=2 && <2.1
-               , shelly >=1.8.0 && <1.9
-               , text >=1.2 && <1.3
-               , bytestring >=0.10 && <0.11
-               , filepath >=1.4.2 && <1.5
-               , binary >= 0.8.5.1 && <0.9
-               , cryptonite >=0.25 && <0.26
-               , memory >=0.14 && <0.15
-               , DRBG >=0.5 && <0.6
-               , parsec >=3.1 && <3.2
-               , transformers >=0.5 && <0.6
-               , transformers-base >=0.4.5 && <0.5
-               , tomland >=1.0 && <1.2
-               , prettyprinter >=1.2.0.1 && <1.3
-               , array >=0.5 && <0.6
-               , recursion-schemes >=5.0.2 && <5.2
-               , time >= 1.8.0.2 && <1.9
-               , lifted-base >=0.2.3 && <0.3
-               , monad-control >=1.0.2 && <1.1
-               , gitrev >= 1.3.1 && <1.4
-               , deepseq >= 1.4.3.0 && <1.5
-               , template-haskell >=2.13.0 && <2.15
-               , optparse-applicative >=0.14 && <0.15
-               , exceptions >=0.10.0 && <0.11
-               , blaze-html >=0.9.0.1 && <0.10
-               , statistics >=0.14.0.2 && <0.16
-               , vector >=0.12.0.1 && <0.13
-               , unordered-containers >=0.2.10 && <0.3
-  default-extensions: OverloadedStrings
-
-executable verismith
-  hs-source-dirs: app
-  main-is: Main.hs
-  default-language: Haskell2010
-  ghc-options: -threaded
-  build-depends: base >= 4.7 && < 5
-               , verismith
-  default-extensions: OverloadedStrings
-
-benchmark benchmark
-  default-language: Haskell2010
-  type: exitcode-stdio-1.0
-  hs-source-dirs: test
-  main-is: Benchmark.hs
-  build-depends: base >=4 && <5
-               , verismith
-               , criterion >=1.5.5 && <1.6
-               , lens >=4.16.1 && <4.18
-  default-extensions: OverloadedStrings
-
-test-suite test
-  default-language: Haskell2010
-  type: exitcode-stdio-1.0
-  hs-source-dirs: test
-  main-is: Test.hs
-  other-modules: Unit
-               , Property
-               , Reduce
-               , Parser
-  build-depends: base >=4 && <5
-               , verismith
-               , fgl >=5.6 && <5.8
-               , tasty >=1.0.1.1 && <1.3
-               , tasty-hunit >=0.10 && <0.11
-               , tasty-hedgehog >=0.2 && <0.3
-               , hedgehog >=0.5.3 && <0.7
-               , hedgehog-fn >=0.5 && <0.7
-               , lens >=4.16.1 && <4.18
-               , shakespeare >=2 && <2.1
-               , text >=1.2 && <1.3
-               , parsec >= 3.1 && < 3.2
-  default-extensions: OverloadedStrings
-
---test-suite doctest
---  default-language: Haskell2010
---  type: exitcode-stdio-1.0
---  hs-source-dirs: test
---  main-is: Doctest.hs
---  other-modules: Build_doctests
---  build-depends: base >=4.7 && <5
---               , doctest >=0.16 && <0.17
---               , Glob >=0.9.3 && <0.11
---               , verismith
---  default-extensions: OverloadedStrings