Version 2022.01

This release supports building and running on more systems, such as CentOS 7.9, FreeBSD, Arm-based Macs, systems with Tcl 8.5, and macOS when Tcl-Tk is installed via Homebrew.

This release also includes initial support for DPI instead of VPI (for imported C functions) and support for automatic linking with Verilator (using -vsim verilator). Feedback on both of these features is welcome!

For a list of changes since the previous 2021.07 release, see the release notes.

Documentation and pre-built tar-files are attached below. As verification of integrity, their sha256sum hashes are:

f21057424a2b686fe86e372ebdeba8267044a47ba694d110f378e94e40d5f465  bsc-2022.01-centos-7.9.tar.gz
d89745a9d0075b8348437879526ddea056165ad34ce84b1005a4b0a8f8f263bf  bsc-2022.01-macos-10.15.tar.gz
36378e0f1f555d91e2d64594bd0684a99f591f832b76f4ded9577effce862fef  bsc-2022.01-macos-11.tar.gz
95c824299a7b6653105d70a5ffe2a65644fb3d0d80c3e3a467af894c2c19e258  bsc-2022.01-ubuntu-18.04.tar.gz
63aedd5d3e685231239cd429cd9c14390c7873cc52391595552e361b7e7add9f  bsc-2022.01-ubuntu-20.04.tar.gz

The source code attached below is automatically created by GitHub and does not include the source for submodules. We have separately attached the source code for the Yices submodule, that can be unpacked into the BSC source, to allow building from this snapshot.