38 Commits

Author	SHA1	Message	Date
Vladimír Čunát	985d1ac425	Merge branch 'master' into staging-next ... There were several more conflicts from name -> pname+version; all auto-solved by kdiff3, hopefully OK. Hydra nixpkgs: ?compare=1538611	2019-08-25 14:57:11 +02:00
Lev Livnev	917ce8e48f	solc: build with cvc4 support ... n.b. that cvc4 support is required for the tests to pass	2019-08-23 18:19:48 +01:00
Lev Livnev	fbf323b6fd	solc: 0.5.10 -> 0.5.11	2019-08-23 11:37:02 +01:00
volth	46420bbaa3	treewide: name -> pname (easy cases) (#66585) ... treewide replacement of stdenv.mkDerivation rec { name = "*-${version}"; version = "*"; to pname	2019-08-15 13:41:18 +01:00
mingchuan	022ddc17a7	solc: 0.5.9 -> 0.5.10	2019-06-26 00:28:51 +08:00
mingchuan	75e352c6ab	solc: 0.5.8 -> 0.5.9	2019-05-30 17:07:12 +08:00
mingchuan	883d6262e4	solc: 0.5.7 -> 0.5.8 ... Also add more complete set of tests and disable shared build on MacOS.	2019-05-20 17:54:14 +09:00
Atkins	3dc078d771	solc: 0.5.6 -> 0.5.7	2019-03-27 14:04:45 +08:00
Atkins	090dcd3bb2	solc: 0.5.5 -> 0.5.6	2019-03-14 16:17:52 +08:00
Atkins	b8d0bf3dd6	solc: 0.5.4 -> 0.5.5	2019-03-06 16:27:10 +08:00
Lorenzo Manacorda	572f828e7e	solc: 0.5.3 -> 0.5.4	2019-02-25 17:50:54 +01:00
Lorenzo Manacorda	e639f24681	solc: make z3 dependency optional ... It is an optional dependency, which defaults to true. https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers	2019-02-20 18:15:45 +01:00
Lorenzo Manacorda	f4770dbbc8	solc: 0.5.2 -> 0.5.3	2019-02-01 23:06:31 +01:00
Lorenzo Manacorda	b3fe6fb1c6	solc: 0.5.1 -> 0.5.2	2018-12-21 23:42:59 +01:00
Lorenzo Manacorda	f25fb4b03f	solc: disable LLL installation ... It has been [disabled by default](https://github.com/ethereum/solidity/releases/tag/v0.5.1) in 0.5.1.	2018-12-14 14:05:46 +01:00
Lionello Lunesu	69baf44674	solc: 0.5.0 -> 0.5.1	2018-12-06 18:53:56 +08:00
Lorenzo Manacorda	49051573b5	solc: 0.4.25 -> 0.5.0	2018-11-13 21:34:49 +01:00
Alexander Krupenkin	7658ae6b72	solc: 0.4.24 -> 0.4.25	2018-10-12 17:59:49 +03:00
mingchuan	5095e9e32e	solc: 0.4.23 -> 0.4.24 (#41631) ... Also enable test	2018-06-10 10:37:58 +02:00
Alexander Krupenkin	a40020ed5f	solc: 0.4.20 -> 0.4.23	2018-05-02 12:27:47 +03:00
adisbladis	76774e920c	solc: 0.4.19 -> 0.4.20	2018-02-20 12:14:21 +08:00
adisbladis	6e8290ec31	solc: 0.4.17 -> 0.4.19	2018-01-15 17:11:33 +08:00
Mikael Brockman	2c5ab79d2d	solc: v0.4.16 -> v0.4.17	2017-09-22 23:18:21 +03:00
Mikael Brockman	3d107c15bd	solc: v0.4.13 -> v0.4.16 (#28732) ... Also add the Z3 SMT solver as a dependency, since the new solc can use it for checking assertions and stuff (which is awesome).	2017-08-30 18:21:17 +02:00
Daniel Brockman	cbc54299b3	solc: build on both linux and darwin	2017-07-12 16:43:29 +03:00
Mikael Brockman	442d04d1dd	solc: make sure to use dynamic Boost libs ... For some reason the default options enable static Boost libs on Darwin, but that doesn't work for us.	2017-07-12 16:37:50 +03:00
Daniel Brockman	6dcba74af6	solc: 0.4.12 -> 0.4.13	2017-07-12 16:37:50 +03:00
Daniel Brockman	5b9f4e160d	solc: 0.4.11 -> 0.4.12	2017-07-05 20:26:35 +02:00
Daniel Brockman	dd35dbcc27	solc: 0.4.8 -> 0.4.11	2017-05-19 16:34:10 +02:00
Vincent Laporte	fe0ef55384	solc: fix build ... Prevent the download of jsoncpp to happen at build time. Don’t treat warnings as errors, since there is a warning about the major() macros in GNU libc.	2017-03-04 11:01:35 +01:00
Daniel Brockman	2dda1ed3ad	solc: 0.4.6 -> 0.4.8	2017-01-14 13:16:50 +01:00
Daniel Brockman	63b0e86908	solc: add explanation for why not fetchFromGitHub	2016-12-06 13:54:52 +01:00
Daniel Brockman	a63732ef95	solc: 0.4.4 -> 0.4.6	2016-12-05 11:22:22 +01:00
Daniel Brockman	8bae051c72	solc: 0.4.2 -> 0.4.4	2016-11-02 16:43:46 +01:00
Daniel Brockman	afa3a20d3b	solc: 0.4.1 -> 0.4.2	2016-10-19 19:38:07 +02:00
Daniel Brockman	7e78217f7c	solc: 0.3.6 -> 0.4.1	2016-10-19 19:36:04 +02:00
Daniel Brockman	6999aad158	solc: add maintainer @dbrock	2016-08-17 23:31:20 +02:00
Daniel Brockman	058ab3bf70	solc: init at 0.3.6	2016-08-12 12:23:00 +02:00