https://github.com/mit-plv/fiat-crypto
Tip revision: 36ef68f05a435723491368ad68131707f529b8f4 authored by Jason Gross on 29 March 2022, 22:51:08 UTC
Add support for SKIP_COQSCRIPTS_INCLUDE=1
Add support for SKIP_COQSCRIPTS_INCLUDE=1
Tip revision: 36ef68f
.gitattributes
* text=auto
*.sh text eol=lf
*.c text
*.h text
*.rs text
*.go text
*.zig text
fiat-bedrock2/**/*.c linguist-generated
fiat-c/**/*.c linguist-generated
fiat-go/**/*.go linguist-generated
fiat-java/**/*.java linguist-generated
fiat-json/**/*.json linguist-generated
fiat-rust/**/*.rs linguist-generated
fiat-zig/**/*.zig linguist-generated