Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git] / .gitattributes
2020-11-25 Claire XenMerge pull request #2133 from dh73/nodev_head
2020-08-19 clairexenMerge pull request #2122 from PeterCrozier/struct_array2
2020-07-02 clairexenMerge pull request #2132 from YosysHQ/eddie/verific_initial
2020-06-19 whitequarkMerge pull request #2173 from whitequark/use-cxx11...
2020-06-19 whitequarkMerge pull request #2174 from whitequark/fix-github...
2020-06-19 whitequarkFix GitHub misidentifying *.v files as Coq.