11 Commits

Author	SHA1	Message	Date
Leonardo Alt	fbfcb4e71d	Bump docker for z3 4.8.10	2021-01-26 11:37:11 +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
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