search

microsoft / verisol

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

Ellab upgrade solc 5 #138

Closed shuvendu-lahiri closed 5 years ago

shuvendu-lahiri commented 5 years ago

Addressing issue #19

  1. Updrade solc to 0.5.10, and rewrite examples
  2. All tests (except 2) should work with >=0.4.24<0.6.0
  3. Updated INSTALL.md