add hierarchy -smtcheck
[yosys.git] / .gitattributes
1 *.v linguist-language=Verilog
2 /.gitcommit export-subst