packages feed

copilot-cbmc 2.1.2 → 2.2.0

raw patch · 2 files changed

+4/−2 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Copilot.Tools.CBMC: numIterations :: Params -> Int
+ Copilot.Tools.CBMC: [numIterations] :: Params -> Int

Files

README.md view
@@ -1,3 +1,5 @@+[![Build Status](https://travis-ci.org/Copilot-Language/copilot-cbmc.svg?branch=master)](https://travis-ci.org/Copilot-Language/copilot-cbmc)+ Overview ======== [copilot-cbmc](http://hackage.haskell.org/package/copilot-cbmc) A tool to
copilot-cbmc.cabal view
@@ -1,6 +1,6 @@ cabal-version             : >= 1.10 name                      : copilot-cbmc-version                   : 2.1.2+version                   : 2.2.0 synopsis                  : Copilot interface to a C model-checker. description               :   Depends on CBMC <http://www.cprover.org/cbmc/>.  Generates a driver to prove@@ -35,7 +35,7 @@   default-language        : Haskell2010   hs-source-dirs          : src   ghc-options             : -Wall -fwarn-tabs-  ghc-prof-options        : -auto-all -caf-all+--  ghc-prof-options        : -auto-all -caf-all    build-depends           : base >= 4.0 && < 5.0                           , bytestring >= 0.9