.gitattributes - vericert - Vericert is a formally verified high-level synthesis tool.

about summary refs log tree commit diff stats

path: root/.gitattributes

blob: 8c19733867d3351bd1ec41ea7e8b085ea1bddb4e (plain)

*.h linguist-language=C
*.c linguist-language=C
*.v linguist-language=Coq
benchmarks/** linguist-vendored