Version 2024.01

This version includes bugfixes, UTF-8 support, additions and improvements to BH to match features available in BSV, documentation improvements, and other general improvements. For a list of changes since the previous release, see the release notes.

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

d097eaba0ac0eaaa58b44c93ba18f2b0b13db036ddc4fc17b1ba7f0008f31abf  bsc-2024.01-centos-7.9.2009.tar.gz
9d670d284aae976f66dd5ed27977e6bd333a14cb4d152d0951d92e5552881071  bsc-2024.01-debian-10.13.tar.gz
e3c98ef0e36ee5af03b84ab8146ad48e242982e1a1fc07580338350d5bccbfb9  bsc-2024.01-debian-11.9.tar.gz
96ecc743705a66db38a66b21ff92f507b8da90b197578497cfef070c5f77d51c  bsc-2024.01-debian-12.5.tar.gz
7093d975d030c3d344f5215890112193fa021bb004b4a3877bd79362476af886  bsc-2024.01-macos-11.tar.gz
1864f8928d33ce728fdd31ba4d52a8d45fd34f7c31ffa8969a2a318c824085a5  bsc-2024.01-macos-12.tar.gz
94da12f5c47c7a49ebdbef3681e0a3dc224c4a665ee07cf50bf0cd3d082b35ec  bsc-2024.01-macos-13.tar.gz
7216c752c5a307bf45d570e8891d062e78fb7b9a49da8625a4c008b7f4e86ac8  bsc-2024.01-rockylinux-8.9.tar.gz
a4b75b9e310848be8ad342ccc3bb65fd34c22eb7923ca975aba60634b9f6a641  bsc-2024.01-rockylinux-9.3.tar.gz
30ab3e31e2fa477638c0b9a748d24d6185861c2cb682e8a95a37ad764b9fdda6  bsc-2024.01-ubuntu-18.04.tar.gz
d326af90a78f12fd893e4582c98019db2bfe934dfe9498a7e9beeac4af2955da  bsc-2024.01-ubuntu-20.04.tar.gz
23c1eac2a95e4d89a4f989f987b1adcd9fd97d54029f0a81e343e4ae4e69011e  bsc-2024.01-ubuntu-22.04.tar.gz
cffedd9c1ba115ad1f541e1c3909276e77ce73466cfb2087b696b2d0b5576f5a  bsc-2024.01-ubuntu-24.04.tar.gz
a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781  yices-src-for-bsc-2024.01.tar.gz

(Debian 10 is "Buster", Debian 11 is "Bullseye", and Debian 12 is "Bookworm", the current Debian Stable. CentOS 7 is compatible with RedHat Enterprise Linux (RHEL) 7, Rocky Linux 8 is compatible with RHEL 8, and Rocky Linux 9 is compatible with RHEL 9. Ubuntu 18.04 is "Bionic Beaver", Ubuntu 20.04 is "Focal Fossa", and Ubuntu 22.04 is "Jammy Jellyfish". The ubuntu-24.04 tar-file was built on a pre-release of Ubuntu 24.04 "Noble Numbat". MacOS 11 is "Big Sur", macOS 12 is "Monterey", macOS 13 is "Ventura". All releases are built for x86_64.)

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.

Version 2023.07

This version includes small changes to the language, general improvements, and bugfixes. For a list of changes since the previous release, see the release notes.

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

918d70834186a404f90421a565d8eb70b8d717ecefccabdf6a3d9ca82f03730f  bsc-2023.07-centos-7.9.2009.tar.gz
3514332977ba2cfda2448d3a10237d8b76d6bd496563f3a994a0675762b8f664  bsc-2023.07-debian-10.13.tar.gz
4cb6344780791a8d9b95588e0e0f4b0ee341b6b9efd446b0e208e1464fd3e4aa  bsc-2023.07-debian-11.7.tar.gz
4195ee664c7362a0f9d2b2edb7f70816f16edaa12807be5fe4a0db62649aa5b3  bsc-2023.07-debian-12.1.tar.gz
5307b2bcc0d037e791711638a027b095ea0bd501f3494fa1362129020395b50d  bsc-2023.07-macos-11.tar.gz
b5ae965a02dbe9416a04f44c2dbace69a9c8d945ebaa0e517c5ff5ce11599d88  bsc-2023.07-macos-12.tar.gz
692b22d980523b23e9bda95362808e25ff231d9838715ce8c9d9489a07bce1a8  bsc-2023.07-macos-13.tar.gz
bf4d8631f82730e7f9f4bb90f03ad8bc8279e0c63424e50288f7bfd00edc91ac  bsc-2023.07-rockylinux-8.8.tar.gz
b4fd4ee6f3fa3745cebeeef88793fa7f51e41c491e072a5b7da3819df98181e1  bsc-2023.07-rockylinux-9.2.tar.gz
1b134acc7aaedf130c3d2fabb9941c2d9db03b31701e4ea0b2bbc19f528baded  bsc-2023.07-ubuntu-18.04.tar.gz
fb285a30fa8d3568dab58deb80e2132e87c752046770d0b1e1002e34e832e18f  bsc-2023.07-ubuntu-20.04.tar.gz
78fe2bb07ffcf0aed738e30376bcbbb0562c6eda4b5495c6128ca5e6881c538e  bsc-2023.07-ubuntu-22.04.tar.gz
a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781  yices-src-for-bsc-2023.07.tar.gz

(Debian 10 is "Buster", Debian 11 is "Bullseye", and Debian 12 is "Bookworm", the current Debian Stable. CentOS 7 is compatible with RedHat Enterprise Linux (RHEL) 7, Rocky Linux 8 is compatible with RHEL 8, and Rocky Linux 9 is compatible with RHEL 9. Ubuntu 18.04 is "Bionic Beaver", Ubuntu 20.04 is "Focal Fossa", and Ubuntu 22.04 is "Jammy Jellyfish". MacOS 11 is "Big Sur", macOS 12 is "Monterey", macOS 13 is "Ventura". All releases are built for x86_64.)

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.

Version 2023.01

This version includes bugfixes, optimizations, and additional documentation.

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

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

7e6e99a631910425572cf80ba3b1b9b436aead1379528cc40a574fdf4dd86516  bsc-2023.01-centos-7.9.2009.tar.gz
a90ac4671095fb55cb6022a786d2a0bb8c90697c6d08fd55b571d77ed3153ec3  bsc-2023.01-debian-10.13.tar.gz
23ab5209b78114a6be57c706d40ae1e3fbc5fa738d92aa304ca72f3ac99a1cea  bsc-2023.01-debian-11.6.tar.gz
d6d6d4189f48fbb94c6d63580af7b2715649812e01774795471128d3298abd78  bsc-2023.01-macos-10.15.tar.gz
786fc8ef4a567355a090dd319b7e83cbaf9ad614af6c9180b3e578abdfb4dba3  bsc-2023.01-macos-11.tar.gz
319e93ebb22d161b5c3670c613977dd850ad1d368ffc54050dc20edd05dcdb4d  bsc-2023.01-macos-12.tar.gz
57bdf38a710fe07a1188eb867eccaf24821b436673000ea48129329a826f21a2  bsc-2023.01-rockylinux-8.7.tar.gz
77467ce6030af57b283fd2c3c814b754cc023418400122268ca862544c46d1e1  bsc-2023.01-rockylinux-9.1.tar.gz
39af0857367a4b52f7a8c906a396772c3734bbc2c478853e169926a1c5583a8d  bsc-2023.01-ubuntu-18.04.tar.gz
3672da4213574d4287527890a9e7b7fcce05a2af78bd8e907ad546e3455ad157  bsc-2023.01-ubuntu-20.04.tar.gz
0786279b0efc50cba572bf0d8464854add2fd99762a40901dfb0a6541a152ae7  bsc-2023.01-ubuntu-22.04.tar.gz
a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781  yices-src-for-bsc-2023.01.tar.gz

(Debian 10 is "Buster", and Debian 11 is "Bullseye". CentOS 7 is compatible with RedHat Enterprise Linux (RHEL) 7, Rocky Linux 8 is compatible with RHEL 8, and Rocky Linux 9 is compatible with RHEL 9. Ubuntu 18.04 is "Bionic Beaver", Ubuntu 20.04 is "Focal Fossa", and Ubuntu 22.04 is "Jammy Jellyfish". MacOS 10.15 is "Catalina", macOS 11 is "Big Sur", and macOS 12 is "Monterey". All releases are built for x86_64.)

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.

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.

Snapshot 2021.12.1

Major releases occur twice a year, named YYYY.01 and YYYY.07. This is a mid-cycle snapshot.

This snapshot includes recent commits to support building on more systems.

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

aa39595369ac9c9a24346e981e1fe0889faa4bb4696f4c1a76d7133f63cacc84  bsc-2021.12.1-centos7.9.tar.gz
24a5f9796cf4464236b6b90f55832786a3b45409a527682567fea4a2b0a593bd  bsc-2021.12.1-macos-10.15.tar.gz
7150cf0a0ea43fd020509720693c4343c38ca8b9a66791edc984090efba359e5  bsc-2021.12.1-macos-11.tar.gz
b77477dd0dff1f53f5b924cc5ff634a894d10ddb096f28d94655be85ff528fc7  bsc-2021.12.1-ubuntu-18.04.tar.gz
4b09570e5d64b89e0f1ac8be1d939684157c2b18353a2b5a66d38c008a3da426  bsc-2021.12.1-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.

Version 2021.07

Welcome to the first release of open BSC! Thank you and congratulations to everyone involved!

We have decided on the convention YYYY.MM for naming releases. And we have decided on a release schedule of twice a year, in January and July. Therefore, this first release is 2021.07 and users can expect a next release, 2022.01, in six months. Patch releases, if needed, will be named 2021.07.1, etc.

This release has some incompatibilities with prior proprietary releases, but for the most part remains the same. Hopefully all projects using prior releases should find it accessible to migrate to this open release. But users should expect that more incompatible changes may be coming in future releases. See the release notes for more details.

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

a78503612fd9a0e1c792d6885cc9c72022f62a7ebc1429b6696a4012118eb8fc  bsc-2021.07-macos-10.13+.tar.gz
a2e5cce1571233012f810469bfeafcf9cd0b44f0ec740e1da482fdece26907c9  bsc-2021.07-ubuntu-18.04.tar.gz
830a563edd8aad2dbd00e78a6fd0723bf1f15b129639db1accb6885e42f7d7cb  bsc-2021.07-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.