From af0c7f5b8d574fc331fc9d5e56cc0a7a6c121abc Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 4 Sep 2019 20:17:41 +1000 Subject: Rename cabal file to fix nix --- verifuzz.cabal | 155 -------------------------------------------------------- verismith.cabal | 155 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 155 insertions(+), 155 deletions(-) delete mode 100644 verifuzz.cabal create mode 100644 verismith.cabal 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 diff --git a/verismith.cabal b/verismith.cabal new file mode 100644 index 0000000..ef27082 --- /dev/null +++ b/verismith.cabal @@ -0,0 +1,155 @@ +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 -- cgit