17 Commits

Author	SHA1	Message	Date
Leonardo Alt	5337f58767	Update to Z3 4.8.7	2019-12-03 20:19:20 +01:00
Alex Beregszaszi	3570870642	Upgrade evmone to v0.3.0 in the docker images	2019-11-19 12:41:12 +01:00
Bhargava Shastry	a8a50c4e0e	Upgrade evmone to v0.2.0 and adapt fuzzer build	2019-11-18 15:16:53 +01:00
Daniel Kirchner	3b75466b76	Update to Z3 4.8.6 in ubuntu clang Dockerfile.	2019-11-11 15:54:04 +01:00
kcy1019	547cd2eb71	Remove dependency on boost::regex from Whiskers	2019-10-16 21:26:49 +09:00
Bhargava Shastry	368ef3d9d8	Add clang docker file based on ubuntu disco	2019-09-12 16:02:54 +02:00
Bhargava Shastry	0b35cbc22c	Inherit defaults cmake options in toolchain file used by ossfuzz builder.	2019-08-14 18:06:37 +02:00
Mathias Baumann	3c927eeeda	Add missing docker file for Ubuntu 18.04	2019-08-14 00:54:55 +02:00
Daniel Kirchner	9793c4db9d	Remove the shared Z3 build from the testing Dockerfile.	2019-08-09 18:15:38 +02:00
chriseth	6956ea1e9e	Merge pull request #7203 from ethereum/buildEvmoneShared ... Also build shared library of evmone for docker image.	2019-08-08 18:36:07 +02:00
chriseth	614ae036a2	Also build shared library of evmone.	2019-08-08 18:22:22 +02:00
chriseth	77212627fb	Remove traces of aleth and IPC.	2019-08-08 17:35:46 +02:00
Daniel Kirchner	311578800a	Add static z3 build from deps PPA to testing docker image.	2019-08-07 16:50:47 +02:00
Daniel Kirchner	6122faf9b4	Use up-to-date archlinux instead of a custom docker image for archlinux build.	2019-08-06 13:50:01 +02:00
chriseth	b6c9d0f933	Use multi-stage docker builds ... Decreases size and amount of layers.	2019-08-05 15:50:00 +02:00
Bhargava Shastry	5aa571e56f	Update fuzzing deps in docker image and ossfuzz CMakeLists.txt	2019-07-16 09:10:02 +02:00
Christian Parpart	b58170f890	Refactor & Speedups on CircleCI; split out out codecov into dedicated tests.	2019-06-21 20:26:10 +02:00