43 Commits

Author	SHA1	Message	Date
Leo Alt	f72e61ccbe	update z3 in docker files	2023-04-05 14:56:03 +02:00
Rodrigo Q. Saramago	930c8c0753	Restore static ubuntu 20.04 release builds	2023-02-20 14:27:30 +01:00
Rodrigo Q. Saramago	b1f728efcd	Remove hera build	2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago	b07ccd56e1	Add CLN library	2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago	0178024903	Reset label version for new image	2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago	904afd8963	Rename ubuntu dockerfiles	2023-01-12 11:47:14 +01:00
Rodrigo Q. Saramago	a01936d5fc	Bumping ubuntu images to use boost 1_74_0	2023-01-12 11:47:14 +01:00
Leo Alt	e51d2ca5e9	update docker images with z3 4.11.2	2022-11-24 14:46:49 +01:00
Alex Beregszaszi	c50f190c02	Upgrade to evmone 0.9.1 and hera 0.6.0 in buildpack	2022-11-04 10:27:45 +01:00
Leo Alt	cbcd8a724b	Update z3 to 4.11.0	2022-08-30 12:52:22 +02:00
Marenz	484c9d3ff0	Update docker images for emscripten.	2022-08-25 17:09:46 +02:00
Marenz	35870549db	Dockerfile.emscripten: Use `&& instead of ;` everywhere	2022-08-25 13:08:13 +02:00
Duc Thanh Nguyen	318dedf439	Update emscripten Dockerfile to 3.1.19	2022-08-25 13:08:13 +02:00
Daniel Kirchner	49badcd91a	Update docker images for new z3 version.	2022-05-13 17:46:42 +02:00
Leo Alt	571d94b051	Update docker z3 version	2022-05-10 18:24:21 +02:00
Alexander Arlt	149a730f4a	Update buildpacks to include jq.	2022-03-02 09:23:49 -05:00
Daniel Kirchner	38545e81c1	Update docker images to Z3 4.8.14.	2022-01-12 19:28:20 +01:00
Bhargava Shastry	1c8d430b82	Remove Hera as a dependency for oss-fuzz Docker image.	2021-11-24 22:06:08 +01:00
Bhargava Shastry	6b69791f2b	Disabling Clang-14 bitwise instead of logical warning in Hera build.	2021-11-24 22:06:08 +01:00
Leo Alt	aa1a17072f	Update z3 version in our docker files	2021-11-24 22:06:08 +01:00
Daniel Kirchner	0ee131c937	Update emscripten Dockerfile.	2021-11-04 16:49:32 +01:00
Bhargava Shastry	0dc1600fa5	Docker: Tag ossfuzz base clang image	2021-09-16 10:14:13 +02:00
Bhargava Shastry	9a8fc605b2	Update scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2021-09-15 12:57:55 +02:00
Bhargava Shastry	479cd33e6f	Update scripts/docker/buildpack-deps/Dockerfile.ubuntu1604.clang.ossfuzz ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2021-09-15 12:57:46 +02:00
Bhargava Shastry	08a7eaca47	Upgrade python pip and sphinx	2021-09-14 16:11:28 +02:00
Bhargava Shastry	3e86598bfd	Docker: Update ossfuzz docker image to pull in clang-14.	2021-09-14 16:11:28 +02:00
hrkrshnn	1b56fdea9d	Updated dockerfiles for evmone 0.8.0	2021-07-27 15:20:49 +02:00
Leo Alt	f745604474	Bump docker images to z3 4.8.12	2021-07-19 15:21:20 +02:00
Alex Beregszaszi	d898342178	Update hera in docker images	2021-05-13 13:11:32 +01:00
Daniel Kirchner	c7f321c12d	Update evmone and boost download links in docker images.	2021-05-10 13:25:39 +02:00
Leonardo Alt	fbfcb4e71d	Bump docker for z3 4.8.10	2021-01-26 11:37:11 +01:00
Daniel Kirchner	d0c8c79888	Update emscripten docker image to be based on emscripten 2.0.12 and boost 1.75.0.	2021-01-13 00:33:03 +01:00
Bhargava Shastry	3439e927e5	ossfuzz docker: Add sanitized build of gmp library that replaces system installed lib	2020-12-15 12:11:42 +01:00
Daniel Kirchner	a3a5d93b34	Drop direct support for Ubuntu 18.04 and switch to static PPA releases for it.	2020-12-07 18:18:41 +01:00
Alexander Arlt	46844d433d	buildpack-deps: Update hera to 0.3.2.	2020-11-26 18:28:17 -05:00
Daniel Kirchner	d20939888d	Add more build flags for compatibility with ossfuzz /usr/local/lib/libc++.a	2020-10-15 15:49:19 +02:00
Daniel Kirchner	dce8039cdd	Update boost and download source archive instead of using git.	2020-10-15 15:49:19 +02:00
Daniel Kirchner	a34e5bf111	Remove antlr and add libabicoder to ossfuzz docker image.	2020-10-15 15:49:19 +02:00
Leonardo Alt	dc20e7b4b7	Update z3 on docker files	2020-09-14 16:25:29 +02:00
Bhargava Shastry	a25c666e4a	Docker: Install antlr4 deps in ossfuzz docker	2020-08-27 15:56:26 +02:00
Alexander Arlt	cbe9a2d240	Add Hera to buildpacks.	2020-07-22 11:17:05 -05:00
Alexander Arlt	f7e180fb8f	Push images to docker hub.	2020-07-16 14:14:51 +02:00
Alexander Arlt	aed424f23e	Initial docker image creation workflows.	2020-07-14 19:00:48 -05:00