Version 2024.01

[kenta2]

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.

---

This discussion was created from the release Version 2024.01.