Skip to content

Snapshot 2021.12.1

Pre-release
Pre-release
Compare
Choose a tag to compare
@quark17 quark17 released this 07 Dec 04:00
· 186 commits to main since this release
2021.12.1
fd50140
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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.

Assets 10