·
16 commits
to main
since this release
This release is CBMC Proof Debugger version 1.0.1. For the latest release, go to the Marketplace for Visual Studio Code extensions.
To install this release, download the package proof-debugger-1.0.1.vsix below and install it with
code --install-extension proof-debugger-1.0.1.vsix