Merge pull request #136 from Swire42/best-verification

Efficient verification
blarney-lang · May 20, 2024 · d8a5623 · d8a5623
2 parents 08ebbcb + e77e3fa
commit d8a5623
Show file tree

Hide file tree

Showing 10 changed files with 1,115 additions and 52 deletions.
diff --git a/Haskell/Blarney/Backend.hs b/Haskell/Blarney/Backend.hs
@@ -25,6 +25,12 @@ module Blarney.Backend (
 , writeSMTScript
 , verifyWith
 , verifyToDepth
+  -- * New, improved SMT backend
+, Verbosity(..)
+, checkAuto
+, checkFixed
+, debugAuto
+, debugFixed
   -- * Simulation backend
 , module Blarney.Backend.Simulation
 , simulate
@@ -48,6 +54,7 @@ import Blarney.Netlist
 import Blarney.Backend.Simulation
 import Blarney.Backend.Verilog
 import Blarney.Backend.SMT
+import Blarney.Backend.NewSMT (Verbosity(..), checkAuto, checkFixed, debugAuto, debugFixed)
 
 -- Verilog backend
 --------------------------------------------------------------------------------