Version 2023.01

[kenta2]

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 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". 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 2023.01.