Static analysis framework for analyzing programs written in TVM's Relay IR. - View it on GitHub