Releases: model-checking/cbmc-viewer
viewer-3.9
This is CBMC Viewer version 3.9.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.
viewer-3.8
This is CBMC Viewer version 3.8.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.
viewer-3.7
This is CBMC Viewer version 3.7.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.
viewer-3.6
This is CBMC Viewer version 3.6.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.
viewer-3.5
This is CBMC Viewer version 3.5.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.
viewer-3.4
This is CBMC Viewer version 3.4.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags, cbmc-viewer will fail to link some symbols appearing in error traces to their definitions in the source code. The ctags tool has a long history. The original ctags was replaced by exhuberant ctags which was replaced by universal ctags. They all claim to be backwards compatible. We recommend universal ctags.
viewer-3.3
This is CBMC Viewer version 3.3.
On MacOS, you can install with brew:
brew install aws/tap/cbmc-viewer
The prefix aws/tap refers to the AWS repository with the brew package.
On all machines, you can install with pip:
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
The installation of ctags is optional, but without ctags,
cbmc-viewer will fail to link some symbols appearing in
error traces to their definitions in the source code. The
ctags tool has a long history. The original ctags was
replaced by exhuberant ctags which was replaced by
universal ctags. They all claim to be backwards
compatible. We recommend universal ctags.
viewer-3.2
This is CBMC Viewer version 3.2.
On MacOS, you can install with brew: Run
brew install aws/tap/cbmc-viewer
On all machines, you can install with pip: Run
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
Universal ctags gives the best results.
viewer-3.1
This is CBMC Viewer version 3.1.
On MacOS, you can install with brew: Run
brew install aws/tap/cbmc-viewer
On all machines, you can install with pip: Run
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
Universal ctags gives the best results.
viewer-3.0.1
This is CBMC Viewer version 3.0.1.
On MacOS, you can install with brew: Run
brew install aws/tap/cbmc-viewer
On all machines, you can install with pip: Run
python3 -m pip install cbmc-viewer
For best results, install universal ctags or exuberant ctags with
- MacOS:
brew install universal-ctagsorbrew install ctags - Ubuntu:
sudo apt install universal-ctagsorsudo apt install ctags - Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.
Universal ctags gives the best results.