Update install instructions for OSX

microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Closed garbervetsky closed 4 years ago

garbervetsky commented 4 years ago

Include some details about the need of compiling solc in OSX and the use of brew