The current test and formal verification status for the CGRA. - View it on GitHub