copilot-sbv 0.4 → 0.5

raw patch · 1 files changed

+14/−3 lines, 1 filesdep ~sbv

Dependency ranges changed: sbv

Files

• copilot-sbv.cabal +14/−3

@@ -1,8 +1,19 @@ cabal-version             : >= 1.10 name                      : copilot-sbv-version                   : 0.4+version                   : 0.5 synopsis                  : A compiler for CoPilot targeting SBV.-description               : Blah blah blah...+description               : +  The Copilot back-end targeting SBV <http://hackage.haskell.org/package/sbv>.+  . +  Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in+  Haskell that compiles into embedded C.  Copilot contains an interpreter,+  multiple back-end compilers, and other verification tools.  A tutorial, bug+  reports, and todos are available at+  <https://github.com/niswegmann/copilot-discussion>.  +  .  +  Examples are available at+  <https://github.com/leepike/Copilot/tree/master/Examples>.+ license                   : BSD3 license-file              : LICENSE maintainer                : leepike@galois.com@@ -27,7 +38,7 @@   ghc-options             : -Wall -fwarn-tabs   ghc-prof-options        : -auto-all -caf-all -  build-depends           : sbv >= 0.9.21+  build-depends           : sbv >= 1.0                           , base >= 4.3 && < 5                           , containers >= 0.4                           , copilot-core