yices 0.0.0.1 → 0.0.0.3

raw patch · 3 files changed

+5/−5 lines, 3 files

Files

• Math/SMT/Yices/Parser.hs +2/−2
• Math/SMT/Yices/Pipe.hs +2/−2
• yices.cabal +1/−1

@@ -210,8 +210,8 @@ setao = tok "set-arith-only!" >> liftM SETAO boolean push = tok "push" >> return PUSH pop = tok "pop" >> return POP-echo = paren $ liftM ECHO stringLiteral-include = paren $ liftM ECHO stringLiteral+echo = tok "echo" >> liftM ECHO stringLiteral+include = tok "include" >> liftM ECHO stringLiteral reset = tok "reset" >> return RESET status = tok "status" >> return DUMP dump = tok "dump-context" >> return DUMP

@@ -89,10 +89,10 @@                            then liftM (line:) (hGetLinesWhile p h)                            else return [] +{- hGetReadyString1 h = liftM2 (:) (hGetChar h) (hGetReadyString h)  hGetReadyString h =   do ready <- hReady h      if ready then liftM2 (:) (hGetChar h) (hGetReadyString h) else return []--+-}

@@ -1,5 +1,5 @@ name:                yices-version:             0.0.0.1+version:             0.0.0.3 synopsis:            Haskell programming interface to Yices SMT solver description:         Incomplete (no bitvectors) syntax, parser, and inter                      process communication to Yices from Haskell through pipe.