smtLib 1.0.9 → 1.1

raw patch · 4 files changed

+4/−1 lines, 4 files

Files

CHANGES +1/−0
smtLib.cabal +1/−1
src/SMTLib2/AST.hs +1/−0
src/SMTLib2/PP.hs +1/−0

CHANGES view

@@ -1,1 +1,2 @@+1.1:    Add declare-const 1.0:    First release.

smtLib.cabal view

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

src/SMTLib2/AST.hs view

@@ -85,6 +85,7 @@   | CmdSetInfo Attr   | CmdDeclareType Name Integer   | CmdDefineType Name [Name] Type+  | CmdDeclareConst Name Type   | CmdDeclareFun Name [Type] Type   | CmdDefineFun Name [Binder] Type Expr   | CmdPush Integer

src/SMTLib2/PP.hs view

@@ -145,6 +145,7 @@       CmdSetInfo a      -> std "set-info" a       CmdDeclareType x n    -> mk "declare-sort" (pp x <+> integer n)       CmdDefineType x as t  -> fun "define-sort" x as (pp t)+      CmdDeclareConst x t   -> mk "declare-const" (pp x <+> pp t)       CmdDeclareFun x ts t  -> fun "declare-fun" x ts (pp t)       CmdDefineFun x bs t e -> fun "define-fun" x bs (pp t $$ nest 2 (pp e))       CmdPush n         -> std "push" n