Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' into staging-next | Vladimír Čunát | 2019-08-25 | 1 | -6/+11 |
|\ | |||||
| * | solc: build with cvc4 support | Lev Livnev | 2019-08-23 | 1 | -4/+9 |
| * | solc: 0.5.10 -> 0.5.11 | Lev Livnev | 2019-08-23 | 1 | -2/+2 |
* | | treewide: name -> pname (easy cases) (#66585) | volth | 2019-08-15 | 1 | -1/+1 |
|/ | |||||
* | solc: 0.5.9 -> 0.5.10 | mingchuan | 2019-06-26 | 2 | -13/+10 |
* | solc: 0.5.8 -> 0.5.9 | mingchuan | 2019-05-30 | 1 | -3/+3 |
* | solc: 0.5.7 -> 0.5.8 | mingchuan | 2019-05-20 | 1 | -14/+36 |
* | solc: 0.5.6 -> 0.5.7 | Atkins | 2019-03-27 | 1 | -3/+3 |
* | solc: 0.5.5 -> 0.5.6 | Atkins | 2019-03-14 | 1 | -3/+3 |
* | solc: 0.5.4 -> 0.5.5 | Atkins | 2019-03-06 | 1 | -5/+5 |
* | solc: 0.5.3 -> 0.5.4 | Lorenzo Manacorda | 2019-02-25 | 1 | -3/+4 |
* | solc: make z3 dependency optional | Lorenzo Manacorda | 2019-02-20 | 1 | -2/+9 |
* | solc: 0.5.2 -> 0.5.3 | Lorenzo Manacorda | 2019-02-01 | 1 | -3/+3 |
* | solc: 0.5.1 -> 0.5.2 | Lorenzo Manacorda | 2018-12-21 | 2 | -6/+5 |
* | solc: disable LLL installation | Lorenzo Manacorda | 2018-12-14 | 2 | -16/+2 |
* | solc: 0.5.0 -> 0.5.1 | Lionello Lunesu | 2018-12-06 | 2 | -13/+28 |
* | solc: 0.4.25 -> 0.5.0 | Lorenzo Manacorda | 2018-11-13 | 1 | -3/+3 |
* | solc: 0.4.24 -> 0.4.25 | Alexander Krupenkin | 2018-10-12 | 1 | -3/+3 |
* | solc: 0.4.23 -> 0.4.24 (#41631) | mingchuan | 2018-06-10 | 3 | -40/+20 |
* | solc: 0.4.20 -> 0.4.23 | Alexander Krupenkin | 2018-05-02 | 3 | -13/+115 |
* | solc: 0.4.19 -> 0.4.20 | adisbladis | 2018-02-20 | 1 | -9/+5 |
* | solc: 0.4.17 -> 0.4.19 | adisbladis | 2018-01-15 | 1 | -3/+3 |
* | solc: v0.4.16 -> v0.4.17 | Mikael Brockman | 2017-09-22 | 1 | -4/+4 |
* | solc: v0.4.13 -> v0.4.16 (#28732) | Mikael Brockman | 2017-08-30 | 1 | -8/+10 |
* | solc: build on both linux and darwin | Daniel Brockman | 2017-07-12 | 1 | -0/+1 |
* | solc: make sure to use dynamic Boost libs | Mikael Brockman | 2017-07-12 | 1 | -0/+3 |
* | solc: 0.4.12 -> 0.4.13 | Daniel Brockman | 2017-07-12 | 1 | -3/+3 |
* | solc: 0.4.11 -> 0.4.12 | Daniel Brockman | 2017-07-05 | 1 | -12/+14 |
* | solc: 0.4.8 -> 0.4.11 | Daniel Brockman | 2017-05-19 | 1 | -4/+7 |
* | solc: fix build | Vincent Laporte | 2017-03-04 | 1 | -2/+11 |
* | solc: 0.4.6 -> 0.4.8 | Daniel Brockman | 2017-01-14 | 1 | -3/+3 |
* | solc: add explanation for why not fetchFromGitHub | Daniel Brockman | 2016-12-06 | 1 | -0/+1 |
* | solc: 0.4.4 -> 0.4.6 | Daniel Brockman | 2016-12-05 | 1 | -8/+7 |
* | solc: 0.4.2 -> 0.4.4 | Daniel Brockman | 2016-11-02 | 1 | -3/+3 |
* | solc: 0.4.1 -> 0.4.2 | Daniel Brockman | 2016-10-19 | 1 | -3/+3 |
* | solc: 0.3.6 -> 0.4.1 | Daniel Brockman | 2016-10-19 | 1 | -2/+6 |
* | solc: add maintainer @dbrock | Daniel Brockman | 2016-08-17 | 1 | -0/+1 |
* | solc: init at 0.3.6 | Daniel Brockman | 2016-08-12 | 1 | -0/+23 |