sbv 5.10 → 5.11

raw patch · 4 files changed

+11/−9 lines, 4 files

Files

CHANGES.md +5/−1
README.md +3/−5
SBVUnitTest/SBVUnitTestBuildTime.hs +1/−1
sbv.cabal +2/−2

CHANGES.md view

@@ -1,7 +1,11 @@ * Hackage: <http://hackage.haskell.org/package/sbv> * GitHub:  <http://leventerkok.github.com/sbv/> -* Latest Hackage released version: 5.10, 2016-01-14+* Latest Hackage released version: 5.11, 2016-01-15++### Version 5.11, 2016-01-15++  * Fix documentation issue; no functional changes  ### Version 5.10, 2016-01-14

README.md view

@@ -1,8 +1,6 @@ ## SBV: SMT Based Verification in Haskell -[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)]-                   (http://hackage.haskell.org/package/sbv)-[![Build Status](http://img.shields.io/travis/LeventErkok/sbv.svg?label=Build)]-                (http://travis-ci.org/LeventErkok/sbv)+[![Hackage version](http://img.shields.io/hackage/v/sbv.svg?label=Hackage)](http://hackage.haskell.org/package/sbv)+[![Build Status](http://img.shields.io/travis/LeventErkok/sbv.svg?label=Build)](http://travis-ci.org/LeventErkok/sbv) -Please see: http://leventerkok.github.com/sbv/+Please see: http://leventerkok.github.io/sbv/

SBVUnitTest/SBVUnitTestBuildTime.hs view

@@ -2,4 +2,4 @@ module SBVUnitTestBuildTime (buildTime) where  buildTime :: String-buildTime = "Thu Jan 14 21:27:52 PST 2016"+buildTime = "Thu Jan 14 23:22:03 PST 2016"

sbv.cabal view

@@ -1,5 +1,5 @@ Name:          sbv-Version:       5.10+Version:       5.11 Category:      Formal Methods, Theorem Provers, Bit vectors, Symbolic Computation, Math, SMT Synopsis:      SMT Based Verification: Symbolic Haskell theorem prover using SMT solving. Description:   Express properties about Haskell programs and automatically prove them using SMT@@ -7,7 +7,7 @@                .                For details, please see: <http://leventerkok.github.com/sbv/> -Copyright:     Levent Erkok, 2010-2015+Copyright:     Levent Erkok, 2010-2016 License:       BSD3 License-file:  LICENSE Stability:     Experimental