GitHub repository: JianyiCheng/iiProver
Primary language: C++
Description: An LLVM pass to prove that an II works for the given loop for Vitis HLS