This release fixes a four-year-old regression that, in rare cases, would prevent a design from compiling. The release also includes the beginnings of new documentation for developers, with links to information on the internals of BSC. For a complete 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
086d1a6ab83b44262cc6ac7035150849262610922794ab20fde6e9c27b0738e1 *bsc-2025.01.1-centos-7.9.tar.gz
ee513c1afbecc8322fc3da31a26035af28a0c0a351462729abcfd453ef84a96b *bsc-2025.01.1-debian-10.13.tar.gz
055fa21cb12602c96d9410f1ace37c939db1e7b8cea253536e5d0798332e0cc2 *bsc-2025.01.1-debian-11.11.tar.gz
c54138def5a76deb387d80cb40d6e571fe1aa65864a19c2ba0b0c8631bea1404 *bsc-2025.01.1-debian-12.9.tar.gz
1ea1f984e516c22621c8e5e03c58d2f22b2a4d7bec0540fd38416607a311f73b *bsc-2025.01.1-macos-13.tar.gz
bd66be58d77bdf03aebbb002391ce506c932054348c2c7e812ca7ec406a7b289 *bsc-2025.01.1-macos-14.tar.gz
65316af3bfe2742125494004a45e034ef8b179db84fd9566d44ad5814cbdc6f0 *bsc-2025.01.1-macos-15.tar.gz
fb669a8903e4e50e96a24631ecc936e446d1344b528cf96f9e616c0c1bb3e8d8 *bsc-2025.01.1-rockylinux-8.10.tar.gz
2c8dc3877d80b571865cb31b9d57c2aab0dbc789dabb248b31f12ace772397bb *bsc-2025.01.1-rockylinux-9.5.tar.gz
d8ded7791073076c3b7f22da5e6daf691a994f761e2e5922670058ff20e273f3 *bsc-2025.01.1-ubuntu-20.04.tar.gz
e9aa269b07bf9faba11aa1a5b95d0d7007039a4e7e345ee0dff3fa6503ab0f67 *bsc-2025.01.1-ubuntu-22.04.tar.gz
a85bf49adf1ed6c3d0dd80e619b83e8477d520612d6dd3045eabd95e8ceb28d3 *bsc-2025.01.1-ubuntu-24.04.tar.gz
a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781 *yices-src-for-bsc-2025.01.1.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 RedHat Enterprise Linux (RHEL) 8. Rocky Linux 9 is compatible with RedHat Enterprise Linux (RHEL) 9. Ubuntu 20.04 is "Focal Fossa", Ubuntu 22.04 is "Jammy Jellyfish", and Ubuntu 24.04 is "Noble Numbat". MacOS 13 is "Ventura", macOS 14 is "Sonoma", and macOS 15 is "Sequoia". All releases are built for x86_64, except macOS 14 "Sonoma" and macOS 15 "Sequoia". The releases for macOS 14 "Sonoma" and macOS 15 "Sequoia" are built for ARM64 (Apple Silicon).
As of this release, we no longer provide a pre-built package for Ubuntu 18.04 which has reached end of life. There is no Rocky Linux 9 (compatible with RHEL 9) pending issue #767. Update: #767 is resolved, and there is a Rocky Linux 9 release.
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.