From 3b5b7e33033799ab1eb2289615a2c96b6329cba4 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 28 Dec 2018 19:21:18 +0100 Subject: Fix imports and cabal file --- verifuzz.cabal | 20 ++++++++++++++------ 1 file changed, 14 insertions(+), 6 deletions(-) (limited to 'verifuzz.cabal') 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 -- cgit