From e7f57642f068650ea362201b239efad1c9a841d9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 18 Oct 2019 14:29:07 +0100
Subject: Rename Sim to Tool

---
 src/Verismith/Tool.hs | 51 +++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 51 insertions(+)
 create mode 100644 src/Verismith/Tool.hs

(limited to 'src/Verismith/Tool.hs')

diff --git a/src/Verismith/Tool.hs b/src/Verismith/Tool.hs
new file mode 100644
index 0000000..7e41180
--- /dev/null
+++ b/src/Verismith/Tool.hs
@@ -0,0 +1,51 @@
+{-|
+Module      : Verismith.Tool
+Description : Simulator implementations.
+Copyright   : (c) 2019, Yann Herklotz Grave
+License     : GPL-3
+Maintainer  : yann [at] yannherklotz [dot] com
+Stability   : experimental
+Portability : POSIX
+
+Simulator implementations.
+-}
+
+module Verismith.Tool
+    (
+    -- * Simulators
+    -- ** Icarus
+      Icarus(..)
+    , defaultIcarus
+    -- * Synthesisers
+    -- ** Yosys
+    , Yosys(..)
+    , defaultYosys
+    -- ** Vivado
+    , Vivado(..)
+    , defaultVivado
+    -- ** XST
+    , XST(..)
+    , defaultXST
+    -- ** Quartus
+    , Quartus(..)
+    , defaultQuartus
+    -- ** Identity
+    , Identity(..)
+    , defaultIdentity
+    -- * Equivalence
+    , runEquiv
+    -- * Simulation
+    , runSim
+    -- * Synthesis
+    , runSynth
+    , logger
+    )
+where
+
+import           Verismith.Tool.Icarus
+import           Verismith.Tool.Identity
+import           Verismith.Tool.Internal
+import           Verismith.Tool.Quartus
+import           Verismith.Tool.Vivado
+import           Verismith.Tool.XST
+import           Verismith.Tool.Yosys
-- 
cgit