copilot
@
3.9
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 in memory and time, making it suitable for systems with hard realtime requirements. This package is the main entry-point for using Copilot. A tutorial, examples, and other information are available at https://copilot-language.github.io.
Published
Indexed
Dependencies
10
10
Loading...
Readme
Loading...
Dependencies
-
base
>=4.9 && <5 -
copilot
* -
copilot-c99
>=3.9 && <3.10 -
copilot-core
>=3.9 && <3.10 -
copilot-language
>=3.9 && <3.10 -
copilot-libraries
>=3.9 && <3.10 -
copilot-theorem
>=3.9 && <3.10 -
directory
>=1.3 && <1.4 -
filepath
>=1.4 && <1.5 -
optparse-applicative
>=0.14 && <0.16
Links
| Registry | hackage.haskell.org |
| Download | Download |
| JSON API | View JSON |
| CodeMeta | codemeta.json |
Version Details
| PURL |
pkg:hackage/copilot@3.9
spec |