Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fix solidity dependencies. | chriseth | 2015-11-26 | 1 | -1/+1 |
| | |||||
* | Build dependency fixes. | chriseth | 2015-11-24 | 1 | -1/+1 |
| | |||||
* | 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 |