Cabal revisions of copilot-2.2.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
-name: copilot-version: 2.2.0-cabal-version: >= 1.10-license: BSD3-license-file: LICENSE-author: Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe-synopsis: A stream DSL for writing embedded C programs.-build-type: Simple-maintainer: Lee Pike <leepike@galois.com>-category: Language, Embedded-homepage: http://leepike.github.com/Copilot/-stability: Experimental-description:- This package is the main entry-point for using Copilot.- .- 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/leepike/copilot-discussion>.- .- Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>.--extra-source-files: README.md--source-repository head- type: git- location: git://github.com/leepike/Copilot.git--library- hs-source-dirs: src- default-language: Haskell2010- ghc-options:- -Wall- -fwarn-tabs- -auto-all- -caf-all- -fno-warn-orphans- build-depends:- base >= 4.0 && < 5- , copilot-core == 2.2.0- , copilot-theorem == 0.2- , copilot-language == 2.2.0- , copilot-libraries == 2.2.0- , copilot-sbv == 2.2.0- , copilot-cbmc == 2.1.2- , copilot-c99 == 2.2.0-- exposed-modules: Language.Copilot--executable copilot-regression- default-language : Haskell2010- hs-source-dirs : Examples, src- ghc-options : -Wall -fwarn-tabs- main-is : Test.hs- build-depends:- base >= 4.0 && < 5- , copilot-core == 2.2.0- , copilot-theorem == 0.2- , copilot-language == 2.2.0- , copilot-libraries == 2.2.0- , copilot-sbv == 2.2.0- , copilot-cbmc == 2.1.2- , copilot-c99 == 2.2.0- , directory >= 1.2.1- , random- other-modules: AddMult- , Array- , Cast- , ClockExamples- , EngineExample- , Examples- , Examples2- , ExtFuns- , Languages- , Local- , LTLExamples- , PTLTLExamples- , Random- , RegExpExamples- , Sat- , StackExamples- , StatExamples- , VotingExamples-+name: copilot +version: 2.2.0 +x-revision: 1 +cabal-version: >= 1.10 +license: BSD3 +license-file: LICENSE +author: Nis Nordby Wegmann, Lee Pike, Robin Morisset, Sebastian Niller, Alwyn Goodloe +synopsis: A stream DSL for writing embedded C programs. +build-type: Simple +maintainer: Lee Pike <leepike@galois.com> +category: Language, Embedded +homepage: http://leepike.github.com/Copilot/ +stability: Experimental +description: + This package is the main entry-point for using Copilot. + . + 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/leepike/copilot-discussion>. + . + Examples are available at <https://github.com/leepike/Copilot/tree/master/Examples>. + +extra-source-files: README.md + +source-repository head + type: git + location: git://github.com/leepike/Copilot.git + +library + hs-source-dirs: src + default-language: Haskell2010 + ghc-options: + -Wall + -fwarn-tabs + -auto-all + -caf-all + -fno-warn-orphans + build-depends: + base >= 4.0 && < 5 + , copilot-core >= 2.2.0 + , copilot-theorem >= 2.2.0 + , copilot-language >= 2.2.0 + , copilot-libraries >= 2.2.0 + , copilot-sbv >= 2.2.0 + , copilot-cbmc >= 2.2.2 + , copilot-c99 >= 2.2.0 + + exposed-modules: Language.Copilot + +executable copilot-regression + default-language : Haskell2010 + hs-source-dirs : Examples, src + ghc-options : -Wall -fwarn-tabs + main-is : Test.hs + build-depends: + base >= 4.0 && < 5 + , copilot-core == 2.2.0 + , copilot-theorem == 0.2 + , copilot-language == 2.2.0 + , copilot-libraries == 2.2.0 + , copilot-sbv == 2.2.0 + , copilot-cbmc == 2.1.2 + , copilot-c99 == 2.2.0 + , directory >= 1.2.1 + , random + other-modules: AddMult + , Array + , Cast + , ClockExamples + , EngineExample + , Examples + , Examples2 + , ExtFuns + , Languages + , Local + , LTLExamples + , PTLTLExamples + , Random + , RegExpExamples + , Sat + , StackExamples + , StatExamples + , VotingExamples +
revision 2
name: copilot version: 2.2.0 -x-revision: 1 +x-revision: 2 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE , copilot-language >= 2.2.0 , copilot-libraries >= 2.2.0 , copilot-sbv >= 2.2.0 - , copilot-cbmc >= 2.2.2 + , copilot-cbmc >= 2.2.0 , copilot-c99 >= 2.2.0 exposed-modules: Language.Copilot
revision 3
name: copilot version: 2.2.0 -x-revision: 2 +x-revision: 3 cabal-version: >= 1.10 license: BSD3 license-file: LICENSE main-is : Test.hs build-depends: base >= 4.0 && < 5 - , copilot-core == 2.2.0 - , copilot-theorem == 0.2 - , copilot-language == 2.2.0 - , copilot-libraries == 2.2.0 - , copilot-sbv == 2.2.0 - , copilot-cbmc == 2.1.2 - , copilot-c99 == 2.2.0 + , copilot-core >= 2.2.0 + , copilot-theorem >= 2.2.0 + , copilot-language >= 2.2.0 + , copilot-libraries >= 2.2.0 + , copilot-sbv >= 2.2.0 + , copilot-cbmc >= 2.2.0 + , copilot-c99 >= 2.2.0 , directory >= 1.2.1 , random other-modules: AddMult