Hi @nuevoalex I will take care of this asap. I deployed the Solidity compiler pre-release to https://github.com/cryptomental/solidity/releases/tag/v0.4.25-develop.2018.7.4-smt and will update the Dockerfile. About the redeclarations I had to explicitly add them because SMT complained. I will double check that.
This post was last modified on July 6, 2018, 8:46 am