Halide -> test all outputs in coreir

StanfordAHA / CGRAFlow

Integration test for entire CGRA flow

BSD 3-Clause "New" or "Revised" License

12 stars 2 forks source link

Closed leonardt closed 6 years ago

leonardt commented 6 years ago

[ ] Test coreir output of halide compiler using simulation or formal verification (against x86 halide backend)

jeffsetter commented 6 years ago

All coreir_examples and coreir_tests using the simulator (coreir interpreter) to compute images and check against Halide's x86 backend.