From 5480c962bba808a652dd53eb7f9857f1c887378d Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 14 Apr 2019 20:21:50 +0100 Subject: Update cabal with added modules --- verifuzz.cabal | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/verifuzz.cabal b/verifuzz.cabal index 5ed7497..646d972 100644 --- a/verifuzz.cabal +++ b/verifuzz.cabal @@ -39,6 +39,7 @@ library , VeriFuzz.Sim.Env , VeriFuzz.Sim.Icarus , VeriFuzz.Sim.Internal + , VeriFuzz.Sim.Quartus , VeriFuzz.Sim.Reduce , VeriFuzz.Sim.Template , VeriFuzz.Sim.Vivado @@ -46,7 +47,9 @@ library , VeriFuzz.Sim.Yosys , VeriFuzz.Verilog , VeriFuzz.Verilog.AST + , VeriFuzz.Verilog.BitVec , VeriFuzz.Verilog.CodeGen + , VeriFuzz.Verilog.Eval , VeriFuzz.Verilog.Gen , VeriFuzz.Verilog.Internal , VeriFuzz.Verilog.Lex @@ -73,6 +76,9 @@ library , transformers >=0.5 && <0.6 , tomland >=0.5 && <0.6 , array >=0.5 && <0.6 + , recursion-schemes >=5.1 && <5.2 + , prettyprinter >= 1.2.1 && < 1.3 + , time >= 1.8.0.2 && <1.9 default-extensions: OverloadedStrings executable verifuzz -- cgit