search

mit-plv / kami

A Platform for High-Level Parametric Hardware Specification and its Modular Verification
https://plv.csail.mit.edu/kami/
MIT License
142 stars 24 forks source link

[rv32im] Add .gitattributes #20

Closed JasonGross closed 4 years ago

JasonGross commented 4 years ago

This makes checkout and development on Windows easier, and makes my job of adding a Windows CI runner to fiat-crypto significantly easier.