8 Commits

Include renames

Author	SHA1	Message	Date
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