https://github.com/mit-plv/fiat-crypto
Tip revision: 72fe0dddee5e6dceeab0b8a2e6a745abf5287d3e authored by Jason Gross on 15 July 2021, 00:27:45 UTC
make perf csv
make perf csv
Tip revision: 72fe0dd
.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
