diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:18:33 +0000 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-15 20:18:33 +0000 |
| commit | 602cabe265cba8613fd56dee0ec9d82377345294 (patch) | |
| tree | b6fe2f7e4623d57b6d2e1ea2da71c36940bd3ca3 /verifuzz.cabal | |
| parent | af7f1a5522d90bccfb16ca0d7f9f8726f419a113 (diff) | |
| download | verismith-602cabe265cba8613fd56dee0ec9d82377345294.tar.gz verismith-602cabe265cba8613fd56dee0ec9d82377345294.zip | |
Add AST generation to cabal
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index ab8e232..fcd5015 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -18,11 +18,12 @@ library default-language: Haskell2010 other-modules: Test.VeriFuzz.Internal.Shared exposed-modules: Test.VeriFuzz - , Test.VeriFuzz.Types + , Test.VeriFuzz.Circuit , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.VerilogAST - , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen + , Test.VeriFuzz.Graph.Random + , Test.VeriFuzz.VerilogAST build-depends: base >= 4.7 && < 5 , QuickCheck , fgl |