diff options
| author | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:21:18 +0100 |
|---|---|---|
| committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-12-28 19:21:18 +0100 |
| commit | 3b5b7e33033799ab1eb2289615a2c96b6329cba4 (patch) | |
| tree | 08d43b024daf99cfc8ec8f82bc223a9a04f83681 /verifuzz.cabal | |
| parent | 5243210a4c16a7349b59a964072c4effb3aea30a (diff) | |
| download | verismith-3b5b7e33033799ab1eb2289615a2c96b6329cba4.tar.gz verismith-3b5b7e33033799ab1eb2289615a2c96b6329cba4.zip | |
Fix imports and cabal file
Diffstat (limited to 'verifuzz.cabal')
| -rw-r--r-- | verifuzz.cabal | 20 |
1 files changed, 14 insertions, 6 deletions
diff --git a/verifuzz.cabal b/verifuzz.cabal index e4e3c06..28838e0 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -20,19 +20,27 @@ library , Test.VeriFuzz.Internal.Gen exposed-modules: Test.VeriFuzz , Test.VeriFuzz.Circuit - , Test.VeriFuzz.CodeGen - , Test.VeriFuzz.Mutate - , Test.VeriFuzz.Helpers , Test.VeriFuzz.Graph.ASTGen , Test.VeriFuzz.Graph.CodeGen , Test.VeriFuzz.Graph.Random - , Test.VeriFuzz.VerilogAST + , Test.VeriFuzz.Helpers + , Test.VeriFuzz.Simulator + , Test.VeriFuzz.Simulator.General + , Test.VeriFuzz.Simulator.Icarus + , Test.VeriFuzz.Simulator.Xst + , Test.VeriFuzz.Simulator.Yosys + , Test.VeriFuzz.Verilog + , Test.VeriFuzz.Verilog.AST + , Test.VeriFuzz.Verilog.CodeGen + , Test.VeriFuzz.Verilog.Mutate build-depends: base >= 4.7 && < 5 , QuickCheck , fgl - , text - , random , lens + , random + , shakespeare + , shelly + , text extensions: OverloadedStrings executable yosys |