search

microsoft / verisol

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

Ellab uintassumes #204

Closed ellab123 closed 4 years ago

ellab123 commented 4 years ago

Implementation of modular arithmetic for unitXX types, except in the context of function calls and relational expressions; use new flag "/useModularArithmetic".