copilot 3.4 → 3.5
raw patch · 5 files changed
+25/−41 lines, 5 filesdep ~copilot-c99dep ~copilot-coredep ~copilot-languagePVP ok
version bump matches the API change (PVP)
Dependency ranges changed: copilot-c99, copilot-core, copilot-language, copilot-libraries, copilot-theorem
API changes (from Hackage documentation)
Files
- CHANGELOG +10/−0
- README.md +1/−1
- copilot.cabal +9/−9
- examples/Counter.hs +5/−3
- src/Language/Copilot.hs +0/−28
CHANGELOG view
@@ -1,3 +1,13 @@+2021-08-19+ * Version bump (3.5). (#247)+ * Update travis domain in README. (#222)+ * Remove commented code. (#15)+ * Update official maintainer. (#236)+ * Fix typo in description. (#240)+ * Fix reset in counter example. (#54)+ * Remove unnecessary files from repo. (#244)+ * Add I. Perez to author list. (#243)+ 2021-07-07 * Version bump (3.4). (#231)
README.md view
@@ -1,6 +1,6 @@ # Copilot: Stream DSL for hard real-time runtime verification -[](https://travis-ci.org/Copilot-Language/Copilot)+[](https://travis-ci.com/Copilot-Language/Copilot) [](https://hackage.haskell.org/package/copilot) Copilot is a runtime verification framework written in Haskell. It allows the
copilot.cabal view
@@ -1,18 +1,18 @@ name: copilot-version: 3.4+version: 3.5 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE-author: Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe+author: Frank Dedden, Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe, Ivan Perez synopsis: A stream DSL for writing embedded C programs. build-type: Simple-maintainer: Frank Dedden <dev@dedden.net>+maintainer: Ivan Perez <ivan.perezdominguez@nasa.gov> category: Language, Embedded homepage: https://copilot-language.github.io bug-reports: https://github.com/Copilot-Language/copilot/issues stability: Experimental description:- Copilot is a stream-based runtime verification framewor implemented as an+ Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant@@ -50,11 +50,11 @@ , directory >= 1.3 && < 1.4 , filepath >= 1.4 && < 1.5 - , copilot-core >= 3.4 && < 3.5- , copilot-theorem >= 3.4 && < 3.5- , copilot-language >= 3.4 && < 3.5- , copilot-libraries >= 3.4 && < 3.5- , copilot-c99 >= 3.4 && < 3.5+ , copilot-core >= 3.5 && < 3.6+ , copilot-theorem >= 3.5 && < 3.6+ , copilot-language >= 3.5 && < 3.6+ , copilot-libraries >= 3.5 && < 3.6+ , copilot-c99 >= 3.5 && < 3.6 exposed-modules: Language.Copilot, Language.Copilot.Main
examples/Counter.hs view
@@ -1,4 +1,4 @@---------------------------------------------------------------------------------+------------------------------------------------------------------------------- -- Copyright © 2019 National Institute of Aerospace / Galois, Inc. -------------------------------------------------------------------------------- @@ -9,6 +9,7 @@ module Main where import Language.Copilot+import Copilot.Compile.C99 -- A resettable counter counter :: Stream Bool -> Stream Bool -> Stream Int32@@ -22,10 +23,11 @@ -- Counter that resets when it reaches 256 bytecounter :: Stream Int32 bytecounter = counter true reset where- reset = counter true false == 256+ reset = counter true false `mod` 256 == 0 spec :: Spec spec = trigger "counter" true [arg $ bytecounter] main :: IO ()-main = interpret 270 spec+-- main = interpret 1280 spec+main = reify spec >>= compile "counter"
src/Language/Copilot.hs view
@@ -15,20 +15,7 @@ module Copilot.Language , module Copilot.Language.Prelude , module Copilot.Language.Reify-- -- Code generators- -- , module Copilot.Compile.C99- -- , module Copilot.Compile.SBV-- -- Libraries , module Copilot.Library.Libraries- -- , module Copilot.Library.LTL- -- , module Copilot.Library.PTLTL- -- , module Copilot.Library.Statistics- -- , module Copilot.Library.RegExp- -- , module Copilot.Library.Utils- -- , module Copilot.Library.Voting- -- , module Copilot.Library.Stacks , copilotMain , defaultMain@@ -37,20 +24,5 @@ import Copilot.Language import Copilot.Language.Prelude import Copilot.Language.Reify---- Code generators--- import Copilot.Compile.C99--- import Copilot.Compile.SBV---- Libraries import Copilot.Library.Libraries--- import Copilot.Library.Clocks--- import Copilot.Library.LTL--- import Copilot.Library.PTLTL--- import Copilot.Library.Statistics--- import Copilot.Library.RegExp--- import Copilot.Library.Utils--- import Copilot.Library.Voting--- import Copilot.Library.Stacks- import Language.Copilot.Main