search

microsoft / verisol

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

Shuvendu typecast new #107

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Address #60 issue and can be closed. Regression typecast.sol extended.

Almost address #62 for one file. Other files need to be rewritten.