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