diff options
author | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
---|---|---|
committer | Yann Herklotz <git@ymhg.org> | 2019-05-06 18:59:08 +0100 |
commit | 1e4798b9bfe090ac68c2edd036637b6bfac5c06b (patch) | |
tree | 680f75c00e9e6ee7f49560a8f4509b74b08730ed /verifuzz.cabal | |
parent | 4cdbcd7570009187954afe0c0308fa1eb4460c55 (diff) | |
download | verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.tar.gz verismith-1e4798b9bfe090ac68c2edd036637b6bfac5c06b.zip |
Support multiple reg assigns in if statements
Diffstat (limited to 'verifuzz.cabal')
-rw-r--r-- | verifuzz.cabal | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index 6137f0b..9f63c17 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -1,5 +1,5 @@ name: verifuzz -version: 0.1.1.0 +version: 0.2.0.0 synopsis: Random verilog generation and simulator testing. description: VeriFuzz provides random verilog generation modules @@ -26,6 +26,7 @@ library hs-source-dirs: src default-language: Haskell2010 build-tools: alex >=3 && <4 + other-modules: Paths_verifuzz exposed-modules: VeriFuzz , VeriFuzz.Circuit , VeriFuzz.Circuit.Base @@ -83,6 +84,7 @@ library , 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 default-extensions: OverloadedStrings executable verifuzz @@ -92,7 +94,7 @@ executable verifuzz ghc-options: -threaded build-depends: base >= 4.7 && < 5 , shelly >=1.8.0 && <1.9 - , verifuzz >= 0.1 && <0.2 + , verifuzz , text >=1.2 && <1.3 , bytestring >=0.10 && <0.11 , optparse-applicative >=0.14 && <0.15 @@ -106,7 +108,7 @@ test-suite verifuzz-test other-modules: Unit , Property build-depends: base >=4 && <5 - , verifuzz >=0.1 && <0.2 + , verifuzz , fgl >=5.7 && <5.8 , tasty >=1.2 && <1.3 , tasty-hunit >=0.10 && <0.11 |