smtLib 1.0.3 → 1.0.4

raw patch · 14 files changed

+17/−12 lines, 14 filesdep ~base

Dependency ranges changed: base

Files

smtLib.cabal +1/−1
src/SMTLib1.hs +1/−0
src/SMTLib1/AST.hs +2/−2
src/SMTLib1/PP.hs +1/−0
src/SMTLib1/QF_AUFBV.hs +1/−1
src/SMTLib1/QF_BV.hs +2/−2
src/SMTLib2.hs +1/−0
src/SMTLib2/AST.hs +2/−2
src/SMTLib2/Array.hs +1/−1
src/SMTLib2/BitVector.hs +1/−1
src/SMTLib2/Compat1.hs +1/−0
src/SMTLib2/Core.hs +1/−1
src/SMTLib2/Int.hs +1/−1
src/SMTLib2/PP.hs +1/−0

smtLib.cabal view

@@ -1,5 +1,5 @@ Name:           smtLib-Version:        1.0.3+Version:        1.0.4 License:        BSD3 License-file:   LICENSE Author:         Iavor S. Diatchki

src/SMTLib1.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE Safe #-} module SMTLib1 (module X) where  import SMTLib1.AST as X

src/SMTLib1/AST.hs view

@@ -8,10 +8,10 @@ -- URL: -- http://goedel.cs.uiowa.edu/smtlib/papers/format-v1.2-r06.08.05.pdf -{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib1.AST where -import GHC.Exts(IsString(..))+import Data.String(IsString(..))  newtype Name  = N String                 deriving (Eq,Ord,Show)

src/SMTLib1/PP.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE Safe #-} module SMTLib1.PP where  import SMTLib1.AST

src/SMTLib1/QF_AUFBV.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib1.QF_AUFBV (module SMTLib1.QF_AUFBV, module X) where  import SMTLib1.QF_BV as X

src/SMTLib1/QF_BV.hs view

@@ -1,8 +1,8 @@-{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib1.QF_BV (module X, module SMTLib1.QF_BV) where  import SMTLib1 as X-import GHC.Exts(IsString(..))+import Data.String(IsString(..))   tBitVec :: Integer -> Sort

src/SMTLib2.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE Safe #-} module SMTLib2 (module X) where  import SMTLib2.AST as X

src/SMTLib2/AST.hs view

@@ -8,10 +8,10 @@ -- URL: -- http://goedel.cs.uiowa.edu/smtlib/papers/smt-lib-reference-v2.0-r10.12.21.pdf -{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib2.AST where -import GHC.Exts(IsString(..))+import Data.String(IsString(..))  newtype Name  = N String                 deriving (Eq,Ord,Show)

src/SMTLib2/Array.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib2.Array where  import SMTLib2.AST

src/SMTLib2/BitVector.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib2.BitVector where  import SMTLib2.AST

src/SMTLib2/Compat1.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE Safe #-} module SMTLib2.Compat1 where  import qualified SMTLib1.AST as V1

src/SMTLib2/Core.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib2.Core where  import SMTLib2.AST

src/SMTLib2/Int.hs view

@@ -1,4 +1,4 @@-{-# LANGUAGE OverloadedStrings #-}+{-# LANGUAGE OverloadedStrings, Safe #-} module SMTLib2.Int where  import SMTLib2.AST

src/SMTLib2/PP.hs view

@@ -1,3 +1,4 @@+{-# LANGUAGE Safe #-} module SMTLib2.PP where  import SMTLib2.AST