issues
search
microsoft
/
verisol
A formal verifier and analysis tool for Solidity Smart Contracts
Other
245
stars
46
forks
source link
A bunch of bug fixes
#191
Closed
shuvendu-lahiri
closed
4 years ago
shuvendu-lahiri
commented
4 years ago
Issue #71, #189, #192,#88, #193
Issue #71, #189, #192,#88, #193