chriseth ✭✭✭

We just merged a first pull request that allows Solidity contracts to be formally verified using a toolkit called why3. This means that a computer creates and checks a mathematical proof of assertion… (View Post)

I think geth does not support compiling multiple files. What I was talking about above was the Solidity commandline compiler "solc". If you run that, just provide all the files that will be… (View Post)

Following last week's update, Browser-Solidity just got even more useful. You can now publish your code as a github gist and directly import contract/library files stored on github. Furthermore, if y… (View Post)

Version 0.1.5 of Solidity was just released. Changes include: * Breaking change in storage encoding: Encode short byte arrays and strings together with their length in storage. * Report warnings. * A… (View Post)

Passing storage references in library calls https://github.com/ethereum/wiki/wiki/Solidity-Features#internal-types-for-libraries You can now pass storage data in a library call via reference. This al… (View Post)