@hackage / copilot

A stream DSL for writing embedded C programs.

Latest4.7

Dependencies

library:copilot (10 dependencies)

@hackage / copilot-libraries Libraries for the Copilot language.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / optparse-applicative Utilities and combinators for parsing command line options
- Version: >=0.14 && <0.20
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3 && <1.4
- License: BSD-3-Clause
@hackage / copilot-c99 A compiler for Copilot targeting C99.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / copilot-language A Haskell-embedded DSL for monitoring hard real-time distributed systems.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4 && <1.6
- License: BSD-3-Clause
@hackage / copilot-theorem k-induction for Copilot.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / copilot-core An intermediate representation for Copilot.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / copilot-prettyprinter A prettyprinter of Copilot Specifications.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause

executable:addmult (4 dependencies)

executable:array (2 dependencies)

executable:cast (2 dependencies)

executable:clock (5 dependencies)

executable:counter (3 dependencies)

executable:engine (2 dependencies)

executable:heater (3 dependencies)

executable:structs (3 dependencies)

executable:structs-update-field (3 dependencies)

executable:voting (2 dependencies)

executable:wcv (4 dependencies)

executable:what4-arithmetic (3 dependencies)

executable:what4-arithmetic-counterexamples (4 dependencies)

executable:what4-propositional (3 dependencies)

executable:what4-structs (3 dependencies)