tip-lib 0.2 → 0.2.1

raw patch · 3 files changed

+5/−2 lines, 3 files

Files

changelog +3/−0
src/Tip/Pass/Booleans.hs +1/−1
tip-lib.cabal +1/−1

changelog view

@@ -1,3 +1,6 @@+tip-lib 0.2.1 (released 2015-11-16):+* Make haddock documentation build+ tip-lib 0.2 (released 2015-10-28): * New output modes:     * Haskell with support for Feat, QuickCheck, LazySmallCheck, and smten.

src/Tip/Pass/Booleans.hs view

@@ -24,7 +24,7 @@   case e0 of     Builtin op :@: args@(a:_)       | op `elem` [And,Or,Not,Implies]-        -- || op `elem` [Equal,Distinct] && hasBoolType a ->+        --  || op `elem` [Equal,Distinct] && hasBoolType a ->         -> Builtin op :@: map formulaBoolOpToIf args     Quant qi q as e -> Quant qi q as (formulaBoolOpToIf e)     _ -> boolOpToIf e0

tip-lib.cabal view

@@ -1,5 +1,5 @@ name:                tip-lib-version:             0.2+version:             0.2.1 synopsis:            tons of inductive problems - support library and tools description:         This package provides a tool for processing inductive theorem proving problems in TIP format (see the homepage for details). homepage:            http://tip-org.github.io