aboutsummaryrefslogtreecommitdiff
path: root/pkgs/development/compilers/solc (follow)
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into staging-nextVladimír Čunát2019-08-251-6/+11
|\
| * solc: build with cvc4 supportLev Livnev2019-08-231-4/+9
| * solc: 0.5.10 -> 0.5.11Lev Livnev2019-08-231-2/+2
* | treewide: name -> pname (easy cases) (#66585)volth2019-08-151-1/+1
|/
* solc: 0.5.9 -> 0.5.10mingchuan2019-06-262-13/+10
* solc: 0.5.8 -> 0.5.9mingchuan2019-05-301-3/+3
* solc: 0.5.7 -> 0.5.8mingchuan2019-05-201-14/+36
* solc: 0.5.6 -> 0.5.7Atkins2019-03-271-3/+3
* solc: 0.5.5 -> 0.5.6Atkins2019-03-141-3/+3
* solc: 0.5.4 -> 0.5.5Atkins2019-03-061-5/+5
* solc: 0.5.3 -> 0.5.4Lorenzo Manacorda2019-02-251-3/+4
* solc: make z3 dependency optionalLorenzo Manacorda2019-02-201-2/+9
* solc: 0.5.2 -> 0.5.3Lorenzo Manacorda2019-02-011-3/+3
* solc: 0.5.1 -> 0.5.2Lorenzo Manacorda2018-12-212-6/+5
* solc: disable LLL installationLorenzo Manacorda2018-12-142-16/+2
* solc: 0.5.0 -> 0.5.1Lionello Lunesu2018-12-062-13/+28
* solc: 0.4.25 -> 0.5.0Lorenzo Manacorda2018-11-131-3/+3
* solc: 0.4.24 -> 0.4.25Alexander Krupenkin2018-10-121-3/+3
* solc: 0.4.23 -> 0.4.24 (#41631)mingchuan2018-06-103-40/+20
* solc: 0.4.20 -> 0.4.23Alexander Krupenkin2018-05-023-13/+115
* solc: 0.4.19 -> 0.4.20adisbladis2018-02-201-9/+5
* solc: 0.4.17 -> 0.4.19adisbladis2018-01-151-3/+3
* solc: v0.4.16 -> v0.4.17Mikael Brockman2017-09-221-4/+4
* solc: v0.4.13 -> v0.4.16 (#28732)Mikael Brockman2017-08-301-8/+10
* solc: build on both linux and darwinDaniel Brockman2017-07-121-0/+1
* solc: make sure to use dynamic Boost libsMikael Brockman2017-07-121-0/+3
* solc: 0.4.12 -> 0.4.13Daniel Brockman2017-07-121-3/+3
* solc: 0.4.11 -> 0.4.12Daniel Brockman2017-07-051-12/+14
* solc: 0.4.8 -> 0.4.11Daniel Brockman2017-05-191-4/+7
* solc: fix buildVincent Laporte2017-03-041-2/+11
* solc: 0.4.6 -> 0.4.8Daniel Brockman2017-01-141-3/+3
* solc: add explanation for why not fetchFromGitHubDaniel Brockman2016-12-061-0/+1
* solc: 0.4.4 -> 0.4.6Daniel Brockman2016-12-051-8/+7
* solc: 0.4.2 -> 0.4.4Daniel Brockman2016-11-021-3/+3
* solc: 0.4.1 -> 0.4.2Daniel Brockman2016-10-191-3/+3
* solc: 0.3.6 -> 0.4.1Daniel Brockman2016-10-191-2/+6
* solc: add maintainer @dbrockDaniel Brockman2016-08-171-0/+1
* solc: init at 0.3.6Daniel Brockman2016-08-121-0/+23