Stars
A stream-based runtime-verification framework for generating hard real-time C code.
Set of utility functions to facilitate working with language-c99
Simplified C AST that translates to language-c99
Implementation of C99's AST and pretty printer in Haskell, strictly following www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
(DEPRECATED) A library for using model-checking techiques with Copilot programs
Repository containg reports and documentation on Copilot
(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.
(DEPRECATED) Intermediate representation for Copilot.
(DEPRECATED) Front-end of Copilot defining the user language.
(DEPRECATED) A C99-backend for Copilot