Skip to content

viewer-2.2
Compare
Choose a tag to compare
@github-actions github-actions released this 04 Nov 01:03
· 207 commits to master since this release
viewer-2.2
4488a76

This is the CBMC Viewer version 2.2.

To install this release, download the "PIP installation package" as $PACKAGE and run

  sudo python3 -m pip install --upgrade $PACKAGE

To get the best results, install Exuberant Ctags with the following commands:

  On MacOS:   brew install ctags
  On Ubuntu:  sudo apt-get install ctags
  On Windows: Download from https://sourceforge.net/projects/ctags
Assets 3
Loading