v1.2.0

What's Changed

• add boolector support. by @Readon in #10
• Add GHDL as plugin to Yosys by @NikLeberg in #11
• Revert "Add GHDL as plugin to Yosys" by @Readon in #12
• ghdl yosys plugin by @NikLeberg in #14
• Upgrade yosys to 0.41. by @Readon in #13
• update GHDL by @NikLeberg in #15
• upgrade ghdl to avoid corruption. by @Readon in #16
• use fixed version of cocotb to keep compatibility. by @Readon in #17

New Contributors

• @NikLeberg made their first contribution in #11

Full Changelog: v1.1.1...v1.2.0