From 031594b20e06e00b9805b8e01819d33d35bdab93 Mon Sep 17 00:00:00 2001 From: Luke Kenneth Casson Leighton Date: Wed, 6 Jul 2022 20:13:39 +0100 Subject: [PATCH] add bitwuzla/cvc5 to hdl-tools-yosys --- hdl-tools-yosys | 3 +++ 1 file changed, 3 insertions(+) diff --git a/hdl-tools-yosys b/hdl-tools-yosys index 8069690..a8f0c15 100755 --- a/hdl-tools-yosys +++ b/hdl-tools-yosys @@ -24,6 +24,9 @@ git clone https://github.com/Z3Prover/z3.git # XXX see ghdl-install this is really best done with that git clone https://github.com/ghdl/ghdl git clone https://github.com/ghdl/ghdl-yosys-plugin +# both of these need adding https://bugs.libre-soc.org/show_bug.cgi?id=883 +git clone https://github.com/bitwuzla/bitwuzla +git clone https://github.com/cvc5/cvc5 -b cvc5-1.0.0 # yosys 0.13 has been found to be stable... cd yosys -- 2.30.2