copilot-libraries 2.2.1 → 3.0
raw patch · 2 files changed
+47/−14 lines, 2 filesdep +data-reifydep ~arraydep ~basedep ~containersnew-uploaderPVP ok
version bump matches the API change (PVP)
Dependencies added: data-reify
Dependency ranges changed: array, base, containers, copilot-language, mtl, parsec
API changes (from Hackage documentation)
- Copilot.Library.Clocks: clk :: (Integral a) => Period a -> Phase a -> Stream Bool
+ Copilot.Library.Clocks: clk :: Integral a => Period a -> Phase a -> Stream Bool
- Copilot.Library.Clocks: period :: (Integral a) => a -> Period a
+ Copilot.Library.Clocks: period :: Integral a => a -> Period a
- Copilot.Library.Clocks: phase :: (Integral a) => a -> Phase a
+ Copilot.Library.Clocks: phase :: Integral a => a -> Phase a
- Copilot.Library.LTL: always :: (Integral a) => a -> Stream Bool -> Stream Bool
+ Copilot.Library.LTL: always :: Integral a => a -> Stream Bool -> Stream Bool
- Copilot.Library.LTL: eventually :: (Integral a) => a -> Stream Bool -> Stream Bool
+ Copilot.Library.LTL: eventually :: Integral a => a -> Stream Bool -> Stream Bool
- Copilot.Library.LTL: release :: (Integral a) => a -> Stream Bool -> Stream Bool -> Stream Bool
+ Copilot.Library.LTL: release :: Integral a => a -> Stream Bool -> Stream Bool -> Stream Bool
- Copilot.Library.LTL: until :: (Integral a) => a -> Stream Bool -> Stream Bool -> Stream Bool
+ Copilot.Library.LTL: until :: Integral a => a -> Stream Bool -> Stream Bool -> Stream Bool
- Copilot.Library.Utils: case' :: (Typed a) => [Stream Bool] -> [Stream a] -> Stream a
+ Copilot.Library.Utils: case' :: Typed a => [Stream Bool] -> [Stream a] -> Stream a
- Copilot.Library.Utils: cycle :: (Typed a) => [a] -> Stream a
+ Copilot.Library.Utils: cycle :: Typed a => [a] -> Stream a
- Copilot.Library.Utils: nfoldl1 :: (Typed a) => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> Stream a
+ Copilot.Library.Utils: nfoldl1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> Stream a
- Copilot.Library.Utils: nfoldr1 :: (Typed a) => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> Stream a
+ Copilot.Library.Utils: nfoldr1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> Stream a
- Copilot.Library.Utils: nscanl1 :: (Typed a) => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> [Stream a]
+ Copilot.Library.Utils: nscanl1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> [Stream a]
- Copilot.Library.Utils: nscanr :: (Typed a) => Int -> (Stream a -> Stream b -> Stream b) -> Stream b -> Stream a -> [Stream b]
+ Copilot.Library.Utils: nscanr :: Typed a => Int -> (Stream a -> Stream b -> Stream b) -> Stream b -> Stream a -> [Stream b]
- Copilot.Library.Utils: nscanr1 :: (Typed a) => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> [Stream a]
+ Copilot.Library.Utils: nscanr1 :: Typed a => Int -> (Stream a -> Stream a -> Stream a) -> Stream a -> [Stream a]
- Copilot.Library.Utils: tails :: (Typed a) => Stream a -> [Stream a]
+ Copilot.Library.Utils: tails :: Typed a => Stream a -> [Stream a]
Files
- README.md +33/−0
- copilot-libraries.cabal +14/−14
+ README.md view
@@ -0,0 +1,33 @@+[](https://travis-ci.org/Copilot-Language/copilot-libraries)++# Copilot: a stream DSL+User-supplied libraries for Copilot, including linear-temporal logic,+fault-tolerant voting, regular expressions, etc.++Copilot is a runtime verification framework written in Haskell. It allows the+user to write programs in a simple but powerful way using a stream-based+approach.++Programs can be interpreted for testing, or translated C99 code to be+incorporated in a project, or as a standalone application. The C99 backend+ensures us that the output is constant in memory and time, making it suitable+for systems with hard realtime requirements.+++## Installation+Copilot-libraries can be found on+[Hackage](https://hackage.haskell.org/package/copilot-libraries). It is typically+only installed as part of the complete Copilot distribution. For installation+instructions, please refer to the [Copilot+website](https://copilot-language.github.io).+++## Further information+For further information, install instructions and documentation, please visit+the Copilot website:+[https://copilot-language.github.io](https://copilot-language.github.io)+++## License+Copilot is distributed under the BSD-3-Clause license, which can be found+[here](https://raw.githubusercontent.com/Copilot-Language/copilot-libraries/master/LICENSE).
copilot-libraries.cabal view
@@ -1,6 +1,6 @@ cabal-version: >=1.10 name: copilot-libraries-version: 2.2.1+version: 3.0 synopsis: Libraries for the Copilot language. description: Libraries for the Copilot language.@@ -9,20 +9,21 @@ 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/leepike/copilot-discussion>.+ <https://github.com/Copilot-Language/copilot-discussion>. . Examples are available at <https://github.com/Copilot-Language/Copilot/tree/master/Examples>. license: BSD3 license-file: LICENSE-author: Lee Pike, Robin Morisset, Alwyn Goodloe, Sebastian Niller,- Nis Nordby Wegmann+author: Frank Dedden, Lee Pike, Robin Morisset, Alwyn Goodloe,+ Sebastian Niller, Nis Nordby Wegmann homepage: https://github.com/Copilot-Language/copilot-libraries-maintainer: leepike@gmail.com+maintainer: Frank Dedden <dev@dedden.net> stability: Experimental category: Language, Embedded build-type: Simple+extra-source-files: README.md source-repository head type: git@@ -33,14 +34,15 @@ hs-source-dirs: src - build-depends:- array,- base >= 4.0 && <= 5.0,- containers,- copilot-language == 2.2.1,- parsec >= 2.0,- mtl >= 2.0+ build-depends: base >= 4.9 && < 5 + , array >= 0.5 && < 0.6+ , containers >= 0.4 && < 0.7+ , data-reify >= 0.6 && < 0.7+ , mtl >= 2.0 && < 2.3+ , parsec >= 2.0 && < 3.2+ , copilot-language >= 3.0 && < 3.1+ exposed-modules: Copilot.Library.Libraries , Copilot.Library.Clocks@@ -55,6 +57,4 @@ ghc-options: -fwarn-tabs- -auto-all- -caf-all -Wall