Skip to content

viewer-2.10

Choose a tag to compare

View all tags
@github-actions github-actions released this 17 Feb 16:58
· 160 commits to master since this release
viewer-2.10
3049a34

This is CBMC Viewer version 2.10.

To install this release, download the "PIP installation package" below and run

  sudo python3 -m pip install --upgrade cbmc_viewer-*.whl

For best results, install universal ctags or exuberant ctags with

  • MacOS: brew install universal-ctags or brew install ctags
  • Ubuntu: sudo apt install universal-ctags or sudo apt install ctags
  • Windows: Follow the installation instructions in the universal-ctags or exuberant ctags repository.

Universal ctags gives the best results.

Assets 3
Loading