Skip to content
Static analysis framework for analyzing programs written in TVM's Relay IR.
Branch: master
Clone or download
Latest commit 6aa6bc3 Nov 1, 2019
Type Name Latest commit message Commit time
Failed to load latest commit information.

This is a static analysis framework for analyzing programs written in Relay, TVM's intermediate representation. TVM is an open source deep learning compiler developed at the University of Washington. This framework was developed on top of TVM during Gus Smith's internship at Microsoft with the Azure Hardware Systems Group, summer 2019.


This project welcomes contributions and suggestions. Most contributions require you to agree to a Contributor License Agreement (CLA) declaring that you have the right to, and actually do, grant us the rights to use your contribution. For details, visit

When you submit a pull request, a CLA-bot will automatically determine whether you need to provide a CLA and decorate the PR appropriately (e.g., label, comment). Simply follow the instructions provided by the bot. You will only need to do this once across all repositories using our CLA.

This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact with any additional questions or comments.

You can’t perform that action at this time.