@hackage copilot dependencies

18 results

library:copilot (8 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.0 && <5

@hackage/copilot-theorem

k-induction for Copilot.

BSD-3-Clause>=2.2.0

@hackage/copilot-sbv

A compiler for CoPilot targeting SBV.

BSD-3-Clause>=2.2.0

@hackage/copilot-libraries

Libraries for the Copilot language.

BSD-3-Clause>=2.2.0

@hackage/copilot-language

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

BSD-3-Clause>=2.2.0

@hackage/copilot-core

An intermediate representation for Copilot.

BSD-3-Clause>=2.2.0

@hackage/copilot-cbmc

Copilot interface to a C model-checker.

BSD-3-Clause>=2.2.0

@hackage/copilot-c99

A compiler for Copilot targeting C99.

BSD-3-Clause>=2.2.0

executable:copilot-regression (10 dependencies)

@haskell/random

Pseudo-random number generation

BSD-3-Clause

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.2.1

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.0 && <5

@hackage/copilot-theorem

k-induction for Copilot.

BSD-3-Clause>=2.2.0

@hackage/copilot-sbv

A compiler for CoPilot targeting SBV.

BSD-3-Clause>=2.2.0

@hackage/copilot-libraries

Libraries for the Copilot language.

BSD-3-Clause>=2.2.0

@hackage/copilot-language

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

BSD-3-Clause>=2.2.0

@hackage/copilot-core

An intermediate representation for Copilot.

BSD-3-Clause>=2.2.0

@hackage/copilot-cbmc

Copilot interface to a C model-checker.

BSD-3-Clause>=2.2.0

@hackage/copilot-c99

A compiler for Copilot targeting C99.

BSD-3-Clause>=2.2.0