diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 20:50:40 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-11-30 20:50:40 +0000 |
| commit | 88ffe371e6a2ac5892b5249698f6f8ab1c323ee2 (patch) | |
| tree | 0fd3644f5ce5bc9a91589a339a114ae05ead0cd6 /verifuzz.cabal | |
| parent | 1a08ff3999d23a7db2fa592032a102a818622e3e (diff) | |
| download | verismith-88ffe371e6a2ac5892b5249698f6f8ab1c323ee2.tar.gz verismith-88ffe371e6a2ac5892b5249698f6f8ab1c323ee2.zip | |
Add lens library and extend types for AST
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index a5d48b6..3f2e933 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -20,21 +20,20 @@ library , Test.VeriFuzz.Types , Test.VeriFuzz.CodeGen , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.VerilogAST build-depends: base >= 4.7 && < 5 , QuickCheck , fgl , text , mwc-random , random + , lens executable verifuzz hs-source-dirs: src main-is: Main.hs default-language: Haskell2010 other-modules: Test.VeriFuzz - , Test.VeriFuzz.Types - , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.Graph.Random build-depends: base >= 4.7 && < 5 , QuickCheck , graphviz |