From a2b01b92612a098673ff03890e6e8aef4ceb28ea Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 4 Sep 2019 20:15:51 +1000
Subject: Renaming to VeriSmith

---
 src/VeriFuzz/Sim.hs | 51 ---------------------------------------------------
 1 file changed, 51 deletions(-)
 delete mode 100644 src/VeriFuzz/Sim.hs

(limited to 'src/VeriFuzz/Sim.hs')

diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs
deleted file mode 100644
index f0489d3..0000000
--- a/src/VeriFuzz/Sim.hs
+++ /dev/null
@@ -1,51 +0,0 @@
-{-|
-Module      : VeriSmith.Sim
-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.Sim
-    (
-    -- * 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.Sim.Icarus
-import           VeriSmith.Sim.Identity
-import           VeriSmith.Sim.Internal
-import           VeriSmith.Sim.Quartus
-import           VeriSmith.Sim.Vivado
-import           VeriSmith.Sim.XST
-import           VeriSmith.Sim.Yosys
-- 
cgit