Copilot-Language/copilot-sbv

This repository has been archived on 17/Nov/2019
Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
Other
Created over 9 years ago
Updated over 5 years ago

Copilot-Language/copilot-sbv

Copilot-Language

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

(DEPRECATED) SBV backend for Copilot.

copilot

A stream-based runtime-verification framework for generating hard real-time C code.

copilot-language

(DEPRECATED) Front-end of Copilot defining the user language.

copilot-discussion

Repository containg reports and documentation on Copilot

copilot-verifier

System for verifying the correctness of generated Copilot programs

copilot-libraries

(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.

copilot-c99

(DEPRECATED) A C99-backend for Copilot

copilot-core

(DEPRECATED) Intermediate representation for Copilot.

copilot-language.github.io

Repository containing the Copilot website

copilot-cbmc

(DEPRECATED) cbmc based tool for verifying copilot programs

copilot-bluespec

A Copilot backend for generating Bluespec code suitable for FPGAs.

change-requests

copilot-rust

Rust backend for Copilot (WIP)