Copilot Language's repositories
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-theorem
(DEPRECATED) A library for using model-checking techiques with Copilot programs
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-language.github.io
Repository containing the Copilot website
copilot-bluespec
A Copilot backend for generating Bluespec code suitable for FPGAs.
copilot-rust
Rust backend for Copilot
sbv-for-copilot
(DEPRECATED) SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
atom_for_copilot
(DEPRECATED) a fork of the atom projet, but with every signature changed.
copilot-experiments
(DEPRECATED)
examplesForACSL
(DEPRECATED)