Skip to content

debugger-0.1.0
Compare
Choose a tag to compare
@github-actions github-actions released this 11 Nov 17:19
· 15 commits to main since this release
debugger-0.1.0
6a48f72

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
Assets 3
Loading