https://github.com/mit-plv/fiat-crypto
Revision 698b51012a905fea0167104ac4ef384ea973dc89 authored by Joel on 17 February 2022, 20:52:36 UTC, committed by Jason Gross on 22 March 2022, 14:55:46 UTC
Co-authored-by: Jason Gross <jasongross9@gmail.com>
1 parent fcfd4e8
Raw File
Tip revision: 698b51012a905fea0167104ac4ef384ea973dc89 authored by Joel on 17 February 2022, 20:52:36 UTC
show -> show_REG
Tip revision: 698b510
.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
back to top