Pinned Repositories
copilot
A stream-based runtime-verification framework for generating hard real-time C code.
copilot-bluespec
A Copilot backend for generating Bluespec code suitable for FPGAs.
copilot-c99
(DEPRECATED) A C99-backend for Copilot
copilot-discussion
Repository containg reports and documentation on Copilot
copilot-language
(DEPRECATED) Front-end of Copilot defining the user language.
copilot-language.github.io
Repository containing the Copilot website
copilot-libraries
(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.
copilot-rust
Rust backend for Copilot (WIP)
copilot-theorem
(DEPRECATED) A library for using model-checking techiques with Copilot programs
copilot-verifier
System for verifying the correctness of generated Copilot programs
Copilot Language's Repositories
Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
Copilot-Language/copilot-language
(DEPRECATED) Front-end of Copilot defining the user language.
Copilot-Language/copilot-discussion
Repository containg reports and documentation on Copilot
Copilot-Language/copilot-verifier
System for verifying the correctness of generated Copilot programs
Copilot-Language/copilot-libraries
(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.
Copilot-Language/copilot-c99
(DEPRECATED) A C99-backend for Copilot
Copilot-Language/copilot-theorem
(DEPRECATED) A library for using model-checking techiques with Copilot programs
Copilot-Language/copilot-core
(DEPRECATED) Intermediate representation for Copilot.
Copilot-Language/copilot-language.github.io
Repository containing the Copilot website
Copilot-Language/copilot-sbv
(DEPRECATED) SBV backend for Copilot.
Copilot-Language/copilot-bluespec
A Copilot backend for generating Bluespec code suitable for FPGAs.
Copilot-Language/copilot-cbmc
(DEPRECATED) cbmc based tool for verifying copilot programs
Copilot-Language/copilot-rust
Rust backend for Copilot (WIP)
Copilot-Language/sbv-for-copilot
(DEPRECATED) SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Copilot-Language/atom_for_copilot
(DEPRECATED) a fork of the atom projet, but with every signature changed.
Copilot-Language/copilot-experiments
(DEPRECATED)
Copilot-Language/copilot-tutorial-material
Copilot-Language/examplesForACSL
(DEPRECATED)
Copilot-Language/homebrew-core