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.