issues
search
microsoft
/
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Other
245
stars
46
forks
source link
bump up VeriSol version to 0.1.5-alpha; last merge '69a51b1 3c39efb'
#268
Closed
ellab123
closed
4 years ago