Skip to content

viewer-2.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 09 Oct 00:57
· 226 commits to master since this release
viewer-2.1
9911451

This is the CBMC Viewer version 2.1.

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