tmeissner
/
Dockerfiles
1
0
Fork 0
Code Issues 0 Pull Requests 0 Releases 0 Wiki Activity

Commit Graph

  • 0cfec66 (HEAD -> master) Update link to Yosys docs by tmeissner 2023-02-23 12:29:11 +0100
  • dbd318c Add icarus verilog to gatemate docker image by tmeissner 2023-02-03 12:50:24 +0100
  • 4846357 Add dockerfile & make target for GateMate FPGA toolchain by tmeissner 2022-12-26 22:24:15 +0100
  • 26b2725 (extavy) Add patch file to get ExtAvy compiled by tmeissner 2022-08-05 14:51:30 +0200
  • 519f11a Add ExtAvy to formal Images by tmeissner 2022-08-05 14:50:12 +0200
  • e90e7f9 (bullseye) Update to Debian Bullseye by tmeissner 2022-08-05 14:46:26 +0200
  • 903faf6 Add bitwuzla binary dir to PATH variable by tmeissner 2021-10-04 15:19:51 +0200
  • 0fc05ea Add inmfo about bitwuzla to README by tmeissner 2021-10-04 15:15:57 +0200
  • fa20764 Add Bitwuzla by tmeissner 2021-10-04 15:07:32 +0200
  • 5c1744a Add new yosys-website when getting docs by tmeissner 2021-08-10 14:18:30 +0200
  • 77b2b1e Fix copy-paste error; remove make clean to save artefacts from remove by tmeissner 2021-08-10 14:16:11 +0200
  • 7c64513 Add info about risc-v toolchain to README by tmeissner 2021-07-30 11:08:24 +0200
  • fd4317e Add dockerfile & make targets for risc-v toolchain by tmeissner 2021-07-30 10:58:17 +0200
  • 3f2a199 Add hint to hdlc/formal docker images by tmeissner 2021-01-15 19:20:10 +0100
  • c77a31e patch now unneeded with new version of super_prove by tmeissner 2020-08-28 22:14:23 +0200
  • be51a98 clean also removes sha-file by tmeissner 2020-08-28 12:04:07 +0200
  • 815a2e4 Add generation of checksum file by tmeissner 2020-08-12 21:04:37 +0200
  • c78cd84 Add python-wheel pkg to fix suprove build; add libssl-dev for co-sim with openSSL by tmeissner 2020-08-12 18:16:06 +0200
  • cbf3260 Add README & LGPL3 license file by tmeissner 2020-06-27 18:43:12 +0200
  • b46b480 Add docs for Symbiyosys, Yosys & GHDL to their directories by tmeissner 2020-06-11 22:40:20 +0200
  • 1130c8e Include super_prove in SymbiYosys Image by tmeissner 2020-06-02 20:06:39 +0200
  • ae5cf2b Add targets to copy artefacts from ghdl-formal image by tmeissner 2020-05-25 16:20:17 +0200
  • a4276cb Remove checkout of abc, let it done by yosys Makefile by tmeissner 2020-05-12 22:51:31 +0200
  • 0fda6d6 Remove creating default latest tag by tmeissner 2020-05-06 20:45:47 +0200
  • d298a55 Add -y option to apt-get upgrade by tmeissner 2020-04-14 10:24:40 +0200
  • 48406a5 Update URL and name of ghdl-yosys-plugin (former ghdlsynth-beta) by tmeissner 2020-04-02 00:24:14 +0200
  • 74fcb5e Add libc6-dev & zlib1g-dev needed for simulation with GHDL by tmeissner 2020-03-26 14:29:30 +0100
  • 18b90ea Add all to .PHONY by tmeissner 2020-03-25 12:48:23 +0100
  • 76d34b0 Add simple Makefile to build Docker images by tmeissner 2020-03-25 01:17:20 +0100
  • 2f2c209 Add apt-upgrade; minor optimizations by tmeissner 2020-03-25 01:16:29 +0100
  • 9bf42f2 Install missing libllvm & gcc pkg in ghdl-formal image by tmeissner 2019-10-21 21:37:09 +0200
  • c77f6ca Replace monolitic Dockerfiles by modular ones for SymbiYosys & GHDl(-synth) by tmeissner 2019-10-04 17:06:38 +0200
  • a0d3e2b Initial commit of SymbiYosys Dockerfile by tmeissner 2019-08-18 19:44:44 +0200