https://github.com/halide/Halide
History
Tip revision: 33c0eb0cc579ce429c3a985f88eadc68c1e99fe3 authored by Julie Newcomb on 24 September 2020, 00:29:06 UTC
check in coq proofs from verification
Tip revision: 33c0eb0
File Mode Size
toolchain.linux-aarch64.cmake -rw-r--r-- 502 bytes
toolchain.linux-arm32.cmake -rw-r--r-- 500 bytes
toolchain.linux-i386.cmake -rw-r--r-- 613 bytes

back to top