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

v1.1.1: Merge pull request #9 from Readon/master

set safe.directory systemwide.

v1.1.0

Merge pull request #6 from Readon/master

Publish the base docker image to Github packages.

v1.0.0

Merge pull request #5 from typingArtist/mill

avoid sudo in Dockerfile RUN