Copilot-Language/copilot-libraries

This repository has been archived on 07/May/2021
Stars
9
Rank 1,940,959 (Top 39 %)
Language
Haskell
License
Other
Created over 9 years ago
Updated over 3 years ago

Copilot-Language/copilot-libraries

Copilot-Language

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

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

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-c99

(DEPRECATED) A C99-backend for Copilot

copilot-core

(DEPRECATED) Intermediate representation for Copilot.

copilot-language.github.io

Repository containing the Copilot website

copilot-sbv

(DEPRECATED) SBV backend for Copilot.

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)