yices 0.0.0.9 → 0.0.0.10

raw patch · 2 files changed

+2/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

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

@@ -129,7 +129,7 @@  -- | parsec parser for yices expressions expY :: GenParser Char st ExpY-expY = litb <|> try litr <|> liti <|> vare <|> paren expYinParen+expY = try litb <|> try litr <|> liti <|> vare <|> paren expYinParen  expYinParen = and_ <|> or_ <|> not_ <|> try (=>:) <|> (=:) <|> (/=:)           <|> try (<:) <|> (<=:) <|> try (>:) <|> (>=:)

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