Trusted MIR - Universal IR for the t* verified compilation stack (tRust, tSwift, tC) - View it on GitHub