Dockerfiles

Author	SHA1	Message	Date
T. Meissner	c78cd84297	Add python-wheel pkg to fix suprove build; add libssl-dev for co-sim with openSSL	4 years ago
T. Meissner	cbf3260332	Add README & LGPL3 license file	4 years ago
T. Meissner	b46b4800da	Add docs for Symbiyosys, Yosys & GHDL to their directories	4 years ago
T. Meissner	1130c8e27f	Include super_prove in SymbiYosys Image	4 years ago
T. Meissner	ae5cf2b9fd	Add targets to copy artefacts from ghdl-formal image	4 years ago
T. Meissner	a4276cb565	Remove checkout of abc, let it done by yosys Makefile	4 years ago
T. Meissner	0fda6d628a	Remove creating default latest tag	4 years ago
T. Meissner	d298a55c30	Add -y option to apt-get upgrade	4 years ago
T. Meissner	48406a5f90	Update URL and name of ghdl-yosys-plugin (former ghdlsynth-beta)	4 years ago
T. Meissner	74fcb5ea52	Add libc6-dev & zlib1g-dev needed for simulation with GHDL	4 years ago
T. Meissner	18b90eaadf	Add all to .PHONY	4 years ago
T. Meissner	76d34b0ec5	Add simple Makefile to build Docker images	4 years ago
T. Meissner	2f2c209116	Add apt-upgrade; minor optimizations	4 years ago
T. Meissner	9bf42f217a	Install missing libllvm & gcc pkg in ghdl-formal image	5 years ago
T. Meissner	c77f6ca3b3	Replace monolitic Dockerfiles by modular ones for SymbiYosys & GHDl(-synth)	5 years ago
T. Meissner	a0d3e2b645	Initial commit of SymbiYosys Dockerfile	5 years ago