Copilot-Language/copilot-language.github.io

Stars
4
Rank 3,306,980 (Top 66 %)
Language
CSS
License
BSD 3-Clause "New...
Created over 5 years ago
Updated 4 months ago

Copilot-Language/copilot-language.github.io

Copilot-Language

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

Repository containing the Copilot website

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