@hackage copilot dependencies

BSD-3-Clause>=0.14 && <0.19

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot-prettyprinter

A prettyprinter of Copilot Specifications.

@hackage/copilot-libraries

Libraries for the Copilot language.

@hackage/copilot-language

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

@hackage/copilot-core

An intermediate representation for Copilot.

@hackage/copilot-c99

A compiler for Copilot targeting C99.

executable:addmult (4 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot-core

An intermediate representation for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:array (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:cast (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:clock (5 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot-libraries

Libraries for the Copilot language.

@hackage/copilot-core

An intermediate representation for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:counter (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-c99

A compiler for Copilot targeting C99.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:engine (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:heater (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-c99

A compiler for Copilot targeting C99.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:structs (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-c99

A compiler for Copilot targeting C99.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:structs-update-field (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-c99

A compiler for Copilot targeting C99.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:voting (2 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:wcv (4 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot-core

An intermediate representation for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:what4-arithmetic (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:what4-arithmetic-counterexamples (4 dependencies)

@haskell/containers

Assorted concrete container types

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:what4-propositional (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.

executable:what4-structs (3 dependencies)

@haskell/base

Core data structures and operations

@hackage/copilot-theorem

k-induction for Copilot.

@hackage/copilot

A stream DSL for writing embedded C programs.