GitHub repository: rootjalex/verify-bounds
Primary language: C++
Description: Verification of Halide bounds inference engine