Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update to 0.5.11 release. | Alex Dupre | 2019-08-22 | 1 | -3/+3 |
* | Update to 0.5.10 release. | Alex Dupre | 2019-07-02 | 1 | -3/+3 |
* | Update to 0.5.8 release. | Alex Dupre | 2019-05-01 | 1 | -3/+3 |
* | Update to 0.5.7 release. | Alex Dupre | 2019-03-26 | 1 | -3/+3 |
* | Update to 0.5.6 release. | Alex Dupre | 2019-03-14 | 1 | -3/+3 |
* | Update to 0.5.5 release. | Alex Dupre | 2019-03-05 | 1 | -3/+3 |
* | Update to 0.5.4 release and enable CVC4 SMT Checker by default. | Alex Dupre | 2019-02-14 | 1 | -3/+3 |
* | Update to 0.5.3 release. | Alex Dupre | 2019-01-22 | 1 | -3/+3 |
* | Update to 0.5.2 release. | Alex Dupre | 2019-01-18 | 1 | -3/+3 |
* | Update to 0.4.25 release. | Alex Dupre | 2018-10-11 | 1 | -3/+3 |
* | Update to 0.4.24 release and fix build with newer boost lib. | Alex Dupre | 2018-08-09 | 1 | -3/+3 |
* | Update to 0.4.23 release. | Alex Dupre | 2018-04-26 | 1 | -3/+3 |
* | Update to 0.4.21 release. | Alex Dupre | 2018-03-19 | 1 | -3/+3 |
* | The Solidity Contract-Oriented Programming Language | Alex Dupre | 2018-01-23 | 1 | -0/+3 |