@hackage / copilot-prettyprinter

A prettyprinter of Copilot Specifications.

4.7

Dependents

@hackage / copilot A stream DSL for writing embedded C programs.
- Version: 4.7
- Last uploaded: 3 months 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-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