Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Try to fix compilation on -CURRENT. | Alex Dupre | 2020-02-20 | 1 | -0/+11 |
* | Update to 0.6.2 release and enable all SMT solvers by default. | Alex Dupre | 2020-01-28 | 2 | -9/+9 |
* | Update to 0.6.0 release. | Alex Dupre | 2019-12-18 | 1 | -2/+2 |
* | Update to 0.5.2 release. | Alex Dupre | 2019-01-18 | 1 | -20/+0 |
* | Update to 0.4.24 release and fix build with newer boost lib. | Alex Dupre | 2018-08-09 | 2 | -3/+23 |
* | Update to 0.4.23 release. | Alex Dupre | 2018-04-26 | 1 | -0/+15 |
* | The Solidity Contract-Oriented Programming Language | Alex Dupre | 2018-01-23 | 2 | -0/+13 |