search

microsoft / verisol

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

more specs #201

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Adds preliminary support for #128 and #203 (for address(x).foo) and fixes to fallback logic.