@hackage copilot-cbmc dependencies

8 results

library:copilot-cbmc (8 dependencies)

@haskell/process

Process libraries

BSD-3-Clause>=1.0

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.1

@haskell/bytestring

Fast, compact, strict and lazy byte strings with a list interface

@haskell/base

Core data structures and operations

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

@hackage/pretty

Pretty-printing library

@hackage/copilot-sbv

A compiler for CoPilot targeting SBV.

@hackage/copilot-core

An intermediate representation for Copilot.

@hackage/copilot-c99

A compiler for Copilot targeting C99.