microsoft / verisol

A formal verifier and analysis tool for Solidity Smart Contracts

Other

245 stars 46 forks source link

Preliminary support for adding loop invariants and contract invariants #141

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

139 and #140