diff options
Diffstat (limited to 'verismith.cabal')
| -rw-r--r-- | verismith.cabal | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/verismith.cabal b/verismith.cabal index 36a7777..7afb640 100644 --- a/verismith.cabal +++ b/verismith.cabal @@ -53,15 +53,15 @@ library , Verismith.Reduce , Verismith.Report , Verismith.Result - , Verismith.Sim - , Verismith.Sim.Icarus - , Verismith.Sim.Identity - , Verismith.Sim.Internal - , Verismith.Sim.Quartus - , Verismith.Sim.Template - , Verismith.Sim.Vivado - , Verismith.Sim.XST - , Verismith.Sim.Yosys + , Verismith.Tool + , Verismith.Tool.Icarus + , Verismith.Tool.Identity + , Verismith.Tool.Internal + , Verismith.Tool.Quartus + , Verismith.Tool.Template + , Verismith.Tool.Vivado + , Verismith.Tool.XST + , Verismith.Tool.Yosys , Verismith.Verilog , Verismith.Verilog.AST , Verismith.Verilog.BitVec |