Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Preliminary why3 code output. | chriseth | 2015-10-27 | 1 | -0/+1 |
* | File reorganisation. | chriseth | 2015-10-21 | 1 | -2/+6 |
* | changes required to compile solidity in a single project | debris | 2015-09-01 | 1 | -4/+1 |
* | client refactor | debris | 2015-08-27 | 1 | -4/+1 |
* | Refactoreed CMakeLists for new module system | arkpar | 2015-08-24 | 1 | -6/+3 |
* | Modularise CMakeLists files and integrate tests. | chriseth | 2015-08-20 | 1 | -6/+6 |
* | Add CMakeLists.txt for libsolidity | Lefteris Karapetsas | 2015-08-19 | 1 | -0/+25 |