Releases: B-Lang-org/bsc
Version 2024.07
This version includes the BuildList library, syntactical improvements to included and generated C and C++ code, improvements to documentation, 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
d3a0d48fd10f138b5837a0aa9466ad296b257ea984a8a784856672dcc575d768 bsc-2024.07-debian-10.13.tar.gz
6cf22543c027af32e6c6ef7bcb25ceb3610b184be3b3c7132bf645d132ee208d bsc-2024.07-debian-11.11.tar.gz
e8f1787958185304f560c467f2226fa60e529bebea3841aa99503a9ec43b5ec4 bsc-2024.07-debian-12.7.tar.gz
96dab34d219ac002ec83eca10b501295e586a095f47f25a1e39eedd8bec6ece0 bsc-2024.07-macos-12.tar.gz
61d462aa9ca865edba1fff6de205b2b16c5b8ec1b4444862be01d6eb4321e1c3 bsc-2024.07-macos-13.tar.gz
a084a385fc4ffd03a4bc65d5d14064ccb2ecf537ca38dfc017f5267bd65d754b bsc-2024.07-macos-14.tar.gz
998ff092f360ecb8ede40ac001b844dd2b33d0bb36ec78b1d925e8ada4f24672 bsc-2024.07-rockylinux-8.10.tar.gz
7665848e11ac255dd02f5911d6cd7219efe7b2cf1bdc660c7cdaa201e2355604 bsc-2024.07-rockylinux-9.4.tar.gz
7a96fd7d7348b45820f2a253b3ffa6f00a175de6a959f0340e1b2b66ba5acbc7 bsc-2024.07-ubuntu-18.04.tar.gz
629af50d6e55715e3de72596e5518f2e03b2deb1cf1b32127aa2608cc82a24d6 bsc-2024.07-ubuntu-20.04.tar.gz
a5d48eb5242955ef1b8aad3cc4051e282ec8de4a1f9545413ab8fa2d064b6aa1 bsc-2024.07-ubuntu-22.04.tar.gz
0f35d54937cd776159d9e053aff57b9a5d2d642e0e751c06aac3028678ec7e37 bsc-2024.07-ubuntu-24.04.tar.gz
a7211d089be68303983cc644b70edaae8efab529ff63fd8670a4f20119888781 yices-src-for-bsc-2024.07.tar.gz
Debian 10 is "Buster", Debian 11 is "Bullseye", and Debian 12 is "Bookworm", the current Debian Stable. 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", Ubuntu 22.04 is "Jammy Jellyfish", and Ubuntu 24.04 is "Noble Numbat". MacOS 11 is "Big Sur", macOS 12 is "Monterey", macOS 13 is "Ventura", and macOS 14 is "Sonoma". All releases are built for x86_64, except macOS 14 "Sonoma" . The release for macOS 14 "Sonoma" was built for ARM64 (Apple Silicon).
As of this release, we no longer provide a pre-built package for Centos 7 (which has reached end of life). This release adds a pre-built package for macOS 14 "Sonoma".
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 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.