diff options
| -rw-r--r-- | verifuzz.cabal | 6 |
1 files changed, 6 insertions, 0 deletions
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 |