search

microsoft / verisol

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

Changes in handling uint modulo arithmetic; new tests #215

Closed ellab123 closed 4 years ago