@hackage / copilot-core

An intermediate representation for Copilot.

4.7

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / copilot A stream DSL for writing embedded C programs.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-bluespec A compiler for Copilot targeting FPGAs.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-c99 A compiler for Copilot targeting C99.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-cbmc Copilot interface to a C model-checker.
- Version: 2.2.1
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / copilot-interpreter Interpreter for Copilot.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-language A Haskell-embedded DSL for monitoring hard real-time distributed systems.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-prettyprinter A prettyprinter of Copilot Specifications.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-sbv A compiler for CoPilot targeting SBV.
- Version: 2.2.1
- Last uploaded: 9 years ago
- License: BSD-3-Clause
@hackage / copilot-theorem k-induction for Copilot.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-verifier System for verifying the correctness of generated Copilot programs
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / copilot-visualizer Visualizer for Copilot.
- Version: 4.7
- Last uploaded: 3 months ago
- License: BSD-3-Clause
@hackage / ogma-core Ogma: Helper tool to interoperate between Copilot and other languages.
- Version: 1.13.0
- Last uploaded: 3 months ago
- License: Apache-2.0