search

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts
Other
245 stars 46 forks source link

misc(.gitattributes): .sol register as Solidity file #263

Closed yxliang01 closed 4 years ago

yxliang01 commented 4 years ago

This would allow the contract code in this codebase to be syntax-highlighted on Github UI.

shuvendu-lahiri commented 4 years ago

Thanks for the change!