/rainbow

Arbitrary function coloring restrictions in C++ - annotate programs with properties such as lock semantics and statically verify them

Primary LanguagePythonMIT LicenseMIT

No issues in this repository yet.