issues
search
microsoft
/
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Other
245
stars
46
forks
source link
Updating install instructions so that homebrew installs solidity 0.5.11
#231
Closed
stephensj2
closed
4 years ago