Releases: model-checking/cbmc-starter-kit
starterkit-2.10
This is the CBMC Starter Kit version 2.10.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
What's Changed
- Only unwind loops without contracts in DFCC mode by @feliperodri in #195
Full Changelog: starterkit-2.9...starterkit-2.10
Contributors
Assets 5
starterkit-2.9
This is the CBMC Starter Kit version 2.9.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.8
This is the CBMC Starter Kit version 2.8.8.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.7
This is the CBMC Starter Kit version ${{ env.TAG_VERSION }}.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.6
This is the CBMC Starter Kit version 2.8.6.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.5
This is the CBMC Starter Kit version 2.8.5.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.4
This is the CBMC Starter Kit version 2.8.4.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.3
This is the CBMC Starter Kit version 2.8.3.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.2
This is the CBMC Starter Kit version 2.8.2.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit
starterkit-2.8.1
This is the CBMC Starter Kit version 2.8.1.
The CBMC starter kit makes it easy to add CBMC verification to a software project. See the starter kit tutorial for an example of how to use the starter kit.
On MacOS, you can install with brew. Install with
brew tap aws/tap
brew install cbmc-starter-kit
and upgrade to the latest version with
brew upgrade cbmc-starter-kit
On all machines, you can install with pip. Install with
python3 -m pip install cbmc-starter-kit
and upgrade to the latest version with
python3 -m pip install --upgrade cbmc-starter-kit