This is the top-level directory for all cross-checking components, and contains the following:
A clang plugin that automatically inserts cross-check instrumentation into C code.
An equivalent rustc compiler plugin for Rust.
libfakecheckscross-checking backend library that prints out all cross-checks to standard output. This library is supported by both the C and Rust compiler plugins.
Our experimental fork of the
ReMonMVEE modified for C/Rust side-by-side checking, along with the
mvee-configsdirectory that contains some MVEE configuration examples.