From 5b5a82d1f9f4e8c90951e941b71ff160718fa1ab Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@ymhg.org>
Date: Mon, 13 May 2019 18:52:38 +0100
Subject: Add Identity to synthesisers

---
 src/VeriFuzz/Sim.hs | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src')

diff --git a/src/VeriFuzz/Sim.hs b/src/VeriFuzz/Sim.hs
index 9b96894..cc9cfef 100644
--- a/src/VeriFuzz/Sim.hs
+++ b/src/VeriFuzz/Sim.hs
@@ -16,6 +16,7 @@ module VeriFuzz.Sim
     -- ** Icarus
       Icarus(..)
     , defaultIcarus
+    -- * Synthesisers
     -- ** Yosys
     , Yosys(..)
     , defaultYosys
@@ -28,6 +29,9 @@ module VeriFuzz.Sim
     -- ** Quartus
     , Quartus(..)
     , defaultQuartus
+    -- ** Identity
+    , Identity(..)
+    , defaultIdentity
     -- * Equivalence
     , runEquiv
     -- * Simulation
@@ -39,6 +43,7 @@ module VeriFuzz.Sim
 where
 
 import           VeriFuzz.Sim.Icarus
+import           VeriFuzz.Sim.Identity
 import           VeriFuzz.Sim.Internal
 import           VeriFuzz.Sim.Quartus
 import           VeriFuzz.Sim.Vivado
-- 
cgit