yices 0.0.0.3 → 0.0.0.4

raw patch · 3 files changed

+7/−3 lines, 3 files

Files

• ChangeLog +4/−0
• Math/SMT/Yices/Pipe.hs +1/−1
• yices.cabal +2/−2

@@ -0,0 +1,4 @@+2009-08-04 Ahn, Ki Yung kya@pdx.edu+	* Math/SMT/Yices/Parser.hs (echo, include): fix obvious parser error+	* Math/SMT/Yices/Pipe.hs (hGetReadyString, hGetReadyString1): comment+	out unused definition

@@ -29,7 +29,7 @@ -- | To read in the result of the (check) command data ResY   = Sat [ExpY]-  | UnSat [Int]+  | UnSat [Integer]   | InCon [String]  deriving Show 

@@ -1,5 +1,5 @@ name:                yices-version:             0.0.0.3+version:             0.0.0.4 synopsis:            Haskell programming interface to Yices SMT solver description:         Incomplete (no bitvectors) syntax, parser, and inter                      process communication to Yices from Haskell through pipe.@@ -17,7 +17,7 @@ build-type:          Simple cabal-version:       >=1.2 extra-source-files:  Main.hs-data-files:          README+data-files:          README, ChangeLog build-depends:       base >= 2 && < 6, haskell98, process, parsec exposed-modules:     Math.SMT.Yices.Syntax,                      Math.SMT.Yices.Parser,