yices 0.0.0.8 → 0.0.0.9

raw patch · 5 files changed

+14/−14 lines, 5 filesdep +template-haskelldep +th-liftdep −haskell98

Dependencies added: template-haskell, th-lift

Dependencies removed: haskell98

Files

Main.hs +2/−2
Math/SMT/Yices/Parser.hs +3/−3
Math/SMT/Yices/Pipe.hs +2/−2
Math/SMT/Yices/Syntax.hs +4/−4
yices.cabal +3/−3

Main.hs view

@@ -8,8 +8,8 @@ import Math.SMT.Yices.Parser import Math.SMT.Yices.Syntax import Math.SMT.Yices.Pipe-import List-import Monad+import Data.List+import Control.Monad -- import Random  yicesPath = "/home/kyagrd/yices/bin/yices" -- your yices path

Math/SMT/Yices/Parser.hs view

@@ -19,9 +19,9 @@  ) where  import Math.SMT.Yices.Syntax-import Monad-import Maybe-import Ratio+import Control.Monad+import Data.Maybe+import Data.Ratio import Text.ParserCombinators.Parsec import Text.ParserCombinators.Parsec.Language import qualified Text.ParserCombinators.Parsec.Token as T

Math/SMT/Yices/Pipe.hs view

@@ -19,8 +19,8 @@  import Math.SMT.Yices.Syntax import Math.SMT.Yices.Parser-import List-import Monad+import Data.List+import Control.Monad import System.IO import System.Process

Math/SMT/Yices/Syntax.hs view

@@ -14,10 +14,10 @@  -} module Math.SMT.Yices.Syntax ( TypY(..) , ExpY(..) , CmdY(..) ) where -import Char+import Data.Char import Data.Monoid-import List-import Ratio+import Data.List+import Data.Ratio import Text.Show  -- | yices types@@ -102,7 +102,7 @@ space = showChar ' '  showListSepByWith :: (a -> ShowS) -> String -> [a] -> ShowS-showListSepByWith showsFun sep = foldr (.) id . intersperse (showString sep) . map showsFun+showListSepByWith showsFun sep = foldr1 (.) . intersperse (showString sep) . map showsFun  showListSepBy :: (Show a) => String -> [a] -> ShowS showListSepBy = showListSepByWith (showsPrec 0)

yices.cabal view

@@ -1,5 +1,5 @@ name:                yices-version:             0.0.0.8+version:             0.0.0.9 synopsis:            Haskell programming interface to Yices SMT solver description:         Incomplete (no bitvectors) syntax, parser, and inter                      process communication to Yices from Haskell through pipe.@@ -15,10 +15,10 @@ author:              Ki Yung Ahn <kya@pdx.edu> maintainer:          Ki Yung Ahn <kya@pdx.edu> build-type:          Simple-cabal-version:       >=1.2 extra-source-files:  Main.hs data-files:          README, ChangeLog-build-depends:       base >= 4 && < 5, haskell98, process, parsec+build-depends:       base >= 4 && < 5, process, parsec,+                     template-haskell, th-lift exposed-modules:     Math.SMT.Yices.Syntax,                      Math.SMT.Yices.Parser,                      Math.SMT.Yices.Pipe