https://github.com/halide/Halide
Raw File
Tip revision: 33c0eb0cc579ce429c3a985f88eadc68c1e99fe3 authored by Julie Newcomb on 24 September 2020, 00:29:06 UTC
check in coq proofs from verification
Tip revision: 33c0eb0
.gitattributes
# Set the default behavior, in case people don't have core.autocrlf set.
* text=auto

# Explicitly declare text files you want to always be normalized and converted
# to native line endings on checkout.
*.cpp text
*.c text
*.h text

# Denote all files that are truly binary and should not be modified.
*.png binary
*.jpg binary
*.tiff binary
back to top