@hackage / copilot-language

A Haskell-embedded DSL for monitoring hard real-time distributed systems.

Latest4.7

Dependencies

library:copilot-language (8 dependencies)

@hackage / copilot-core An intermediate representation for Copilot.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / data-reify Reify a recursive data structure into an explicit graph.
- Version: >=0.6 && <0.7
- License: BSD-3-Clause
@hackage / copilot-theorem k-induction for Copilot.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.4 && <0.9
- License: BSD-3-Clause
@hackage / copilot-interpreter Interpreter for Copilot.
- Version: >=4.7 && <4.8
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5 && <0.6
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.0 && <3
- License: BSD-3-Clause

test:unit-tests (10 dependencies)