PLEASE NOTE! This release includes backward-incompatible changes! But it also introduces significant new features and performance improvements.
Incompatibilities: This release enables the -aggressive-conditions and -sched-conditions flags by default, each of which can be disabled by -no-aggressive-conditions and -no-sched-conditions respectively. Type inference for untyped let-statements has changed; code that relied on this will need an explicit type signature now, but if necessary, the -let-gen flag is available to revert to the previous behavior. There is a syntax change in the output of Bluetcl commands that report port lists for a method, as there may now be multiple ports (or no ports) for method arguments and results.
New features: Method arguments and results are no longer restricted to a single port in the generated Verilog. BSC can generate multiple ports, based on the type; see SplitPorts in the Libraries Reference Guide. Feedback on this experimental feature is welcomed. Another exciting new feature is that type classes can now contain associated type functions (ATF), that allow users to define their own type constructors for accessing the dependent types of the class — like SizeOf for the Bits class.
Among many improvements in run time and memory usage, some long-standing issues have been addressed in the elaboration of vector/array selection (GitHub PR#1008) and loops (GitHub PR#919) and in the scaling of large modules (GitHub PR#957).
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
04669a4b4af89c416bce32e8f1ab737ef671c1cec85e0fec30f70d3e29c7c903 *bsc-2026.07.1-centos-7.9.2009.tar.gz
dfbd36259398c65ee397eef2298c52ce0abeabd7ffff1d842ca0a8c05410caec *bsc-2026.07.1-debian-12.15.tar.gz
37923c0937cad742bf86c5bbec2f1eff781d8d2160cfb0259c90bab80f7d1001 *bsc-2026.07.1-debian-13.6.tar.gz
933b415dc2a3739173a1e4c92bc27bd167dca0da6fa55f28d8bf4000d7a333bd *bsc-2026.07.1-macos-14.tar.gz
6e7d3005f1d1278b6acd3eb4e86efdb7b5118ef3db6076ac115fc88140129f43 *bsc-2026.07.1-macos-15-intel.tar.gz
bf870c6e27295961b402f75dd335b3c31a687058f3a7c1f0aa6f8dec7a7b7c05 *bsc-2026.07.1-macos-15.tar.gz
13eaac92405958a367bf416eaccd7692cf852d82ea5844babf35f51360b58ca2 *bsc-2026.07.1-macos-26-intel.tar.gz
436069cf840af487ff52a9f166da3138441401e1c4fc7f7ae9e14a2b284b583f *bsc-2026.07.1-macos-26.tar.gz
a9c0cb033e2d02eefba34b2060250d833cbe03435cd69a5a646aec565509d94b *bsc-2026.07.1-rockylinux-10.2.tar.gz
775546a2ce3aef5672b7c7710144c4bcc4896e39e7a3a45be3dcbf20aad819fb *bsc-2026.07.1-rockylinux-8.10.tar.gz
37c30223714f7a391a9a2e8a7e29bd81074682743b6ecfaae9a50df2bdfa4af1 *bsc-2026.07.1-rockylinux-9.8.tar.gz
cb6aad55786a91d1c85ab0e3609e86c086e4147367e3c623676bade0e73bbd05 *bsc-2026.07.1-ubuntu-22.04.tar.gz
da1950453cce9b249e48556fd8c7f3fb6f28867e14e25b7b036ff87f7c1db0fb *bsc-2026.07.1-ubuntu-24.04-arm.tar.gz
4e69030f3a28cb819192a3780e20fd174ff7caf30cacf1cdbf2195cce913a933 *bsc-2026.07.1-ubuntu-24.04.tar.gz
13166b0af98deb5eb65f4b995ac4786f69a047e571d1721a3605066fa8bf4e14 *bsc-2026.07.1-ubuntu-26.04-arm.tar.gz
dc710dff6d2e91b3797f5add5bf4f66e6b77b9b79d1d5a00df58cd6966e3340a *bsc-2026.07.1-ubuntu-26.04.tar.gz
a5114c8f1e04a75a06598ac9763922f9186554b6f1326c1454b2e06deafd5575 *yices-src-for-bsc-2026.07.1.tar.gz
650298c06c8b01a17188135b57fe185ec01114b5ef7e70773bc1c01c4a77c7ee *BH_lang_ref_guide.pdf
1b60e54de1fc2aaf3e033ccebf6e30f78fd671f8f190d92ca4bbb0dd941b39d5 *BSV_lang_ref_guide.pdf
a17b7d6d2f9cbc5ac1e4f1b84d0e028a9205bfa4078a4be268ae90ace5621836 *bsc_libraries_ref_guide.pdf
b3eeda844369589ff534626408f4b163616e4a01786e7bdca4d8fc03fb592cce *bsc_user_guide.pdf
Debian 12 is "Bookworm" and Debian 13 is "Trixie", 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, and Rocky Linux 10 is compatible with RedHat Enterprise Linux (RHEL) 10. Ubuntu 22.04 is "Jammy Jellyfish", Ubuntu 24.04 is "Noble Numbat", and Ubuntu 26.04 is "Resolute Raccoon". MacOS 14 is "Sonoma", macOS 15 is "Sequoia", and macOS 26 is "Tahoe".
As of this release, we no longer provide a pre-built package for Debian 11 "Bullseye", as it has reached end of life.
All Linux releases are built for x86-64 unless otherwise specified. "ubuntu-*-arm" are built for ARM64.
In contrast, all macOS releases are built for ARM64 (Apple Silicon) unless otherwise specified. "macos-*-intel" 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.
