These are chat archives for ethereum/tutorials

12th
Feb 2017
Rickard Schoultz
@rschoultz
Feb 12 2017 16:55
The Crowdsale example code from ethereum.org does not seem to pass the formal verification in the Remix IDE.