27 Commits (master)

Author SHA1 Message Date
  T. Meissner 903faf684c Add bitwuzla binary dir to PATH variable 12 months ago
  T. Meissner 0fc05eac8b Add inmfo about bitwuzla to README 12 months ago
  T. Meissner fa2076435c Add Bitwuzla 12 months ago
  T. Meissner 5c1744af21 Add new yosys-website when getting docs 1 year ago
  T. Meissner 77b2b1ea0f Fix copy-paste error; remove make clean to save artefacts from remove 1 year ago
  T. Meissner 7c64513c09 Add info about risc-v toolchain to README 1 year ago
  T. Meissner fd4317edb7 Add dockerfile & make targets for risc-v toolchain 1 year ago
  T. Meissner 3f2a1994df Add hint to hdlc/formal docker images 2 years ago
  T. Meissner c77a31e70a patch now unneeded with new version of super_prove 2 years ago
  T. Meissner be51a9841e clean also removes sha-file 2 years ago
  T. Meissner 815a2e4911 Add generation of checksum file 2 years ago
  T. Meissner c78cd84297 Add python-wheel pkg to fix suprove build; add libssl-dev for co-sim with openSSL 2 years ago
  T. Meissner cbf3260332 Add README & LGPL3 license file 2 years ago
  T. Meissner b46b4800da Add docs for Symbiyosys, Yosys & GHDL to their directories 2 years ago
  T. Meissner 1130c8e27f Include super_prove in SymbiYosys Image 2 years ago
  T. Meissner ae5cf2b9fd Add targets to copy artefacts from ghdl-formal image 2 years ago
  T. Meissner a4276cb565 Remove checkout of abc, let it done by yosys Makefile 2 years ago
  T. Meissner 0fda6d628a Remove creating default latest tag 2 years ago
  T. Meissner d298a55c30 Add -y option to apt-get upgrade 2 years ago
  T. Meissner 48406a5f90 Update URL and name of ghdl-yosys-plugin (former ghdlsynth-beta) 3 years ago
  T. Meissner 74fcb5ea52 Add libc6-dev & zlib1g-dev needed for simulation with GHDL 3 years ago
  T. Meissner 18b90eaadf Add all to .PHONY 3 years ago
  T. Meissner 76d34b0ec5 Add simple Makefile to build Docker images 3 years ago
  T. Meissner 2f2c209116 Add apt-upgrade; minor optimizations 3 years ago
  T. Meissner 9bf42f217a Install missing libllvm & gcc pkg in ghdl-formal image 3 years ago
  T. Meissner c77f6ca3b3 Replace monolitic Dockerfiles by modular ones for SymbiYosys & GHDl(-synth) 3 years ago
  T. Meissner a0d3e2b645 Initial commit of SymbiYosys Dockerfile 3 years ago