/ivory-rtverification

Runtime verification for C code via a GCC plugin architecture.

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

Stargazers

No one’s star this repository yet.