 T. Meissner
|
26b272528a
|
Add patch file to get ExtAvy compiled
|
2 years ago |
|
T. Meissner
|
519f11a19b
|
Add ExtAvy to formal Images
|
2 years ago |
|
T. Meissner
|
903faf684c
|
Add bitwuzla binary dir to PATH variable
|
3 years ago |
|
T. Meissner
|
0fc05eac8b
|
Add inmfo about bitwuzla to README
|
3 years ago |
|
T. Meissner
|
fa2076435c
|
Add Bitwuzla
|
3 years ago |
|
T. Meissner
|
5c1744af21
|
Add new yosys-website when getting docs
|
3 years ago |
|
T. Meissner
|
77b2b1ea0f
|
Fix copy-paste error; remove make clean to save artefacts from remove
|
3 years ago |
|
T. Meissner
|
7c64513c09
|
Add info about risc-v toolchain to README
|
3 years ago |
|
T. Meissner
|
fd4317edb7
|
Add dockerfile & make targets for risc-v toolchain
|
3 years ago |
|
T. Meissner
|
3f2a1994df
|
Add hint to hdlc/formal docker images
|
4 years ago |
|
T. Meissner
|
c77a31e70a
|
patch now unneeded with new version of super_prove
|
4 years ago |
|
T. Meissner
|
be51a9841e
|
clean also removes sha-file
|
4 years ago |
|
T. Meissner
|
815a2e4911
|
Add generation of checksum file
|
4 years ago |
|
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
|
5 years ago |
|
T. Meissner
|
b46b4800da
|
Add docs for Symbiyosys, Yosys & GHDL to their directories
|
5 years ago |
|
T. Meissner
|
1130c8e27f
|
Include super_prove in SymbiYosys Image
|
5 years ago |
|
T. Meissner
|
ae5cf2b9fd
|
Add targets to copy artefacts from ghdl-formal image
|
5 years ago |
|
T. Meissner
|
a4276cb565
|
Remove checkout of abc, let it done by yosys Makefile
|
5 years ago |
|
T. Meissner
|
0fda6d628a
|
Remove creating default latest tag
|
5 years ago |
|
T. Meissner
|
d298a55c30
|
Add -y option to apt-get upgrade
|
5 years ago |
|
T. Meissner
|
48406a5f90
|
Update URL and name of ghdl-yosys-plugin (former ghdlsynth-beta)
|
5 years ago |
|
T. Meissner
|
74fcb5ea52
|
Add libc6-dev & zlib1g-dev needed for simulation with GHDL
|
5 years ago |
|
T. Meissner
|
18b90eaadf
|
Add all to .PHONY
|
5 years ago |
|
T. Meissner
|
76d34b0ec5
|
Add simple Makefile to build Docker images
|
5 years ago |
|
T. Meissner
|
2f2c209116
|
Add apt-upgrade; minor optimizations
|
5 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 |
