@hackage / copilot-cbmc

Copilot interface to a C model-checker.

Latest2.2.1

Dependencies

library:copilot-cbmc (8 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.0 && <5.0
- License: BSD-3-Clause
@hackage / copilot-core An intermediate representation for Copilot.
- Version: >=2.2.1
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.0
- License: BSD-3-Clause
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.9
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.1
- License: BSD-3-Clause
@hackage / copilot-sbv A compiler for CoPilot targeting SBV.
- Version: >=2.2.1
- License: BSD-3-Clause
@hackage / copilot-c99 A compiler for Copilot targeting C99.
- Version: >=2.2.1
- License: BSD-3-Clause
@hackage / pretty Pretty-printing library
- Version: >=1.0.1
- License: BSD-3-Clause