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-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.