debugger-1.0.1

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

debugger-1.0.0

This release is CBMC Proof Debugger version 1.0.0. For the latest release, go to the Marketplace for Visual Studio Code extensions.

To install this release, download the package proof-debugger-1.0.0.vsix below and install it with

code --install-extension proof-debugger-1.0.0.vsix

debugger-0.1.0

This release is CBMC Proof Debugger version 0.1.0. For the latest release, go to the Marketplace for Visual Studio Code extensions.

To install this release, download the package proof-debugger-0.1.0.vsix below and install it with

code --install-extension proof-debugger-0.1.0.vsix