https://github.com/esbmc/vscode-esbmc
ESBMC Extension for Visual Studio Code
https://github.com/esbmc/vscode-esbmc
esbmc verifier vscode
Last synced: 3 months ago
JSON representation
ESBMC Extension for Visual Studio Code
- Host: GitHub
- URL: https://github.com/esbmc/vscode-esbmc
- Owner: esbmc
- Created: 2022-06-20T12:16:42.000Z (almost 4 years ago)
- Default Branch: master
- Last Pushed: 2025-12-05T20:08:52.000Z (6 months ago)
- Last Synced: 2025-12-09T09:26:24.159Z (6 months ago)
- Topics: esbmc, verifier, vscode
- Language: TypeScript
- Homepage: http://esbmc.org/
- Size: 547 KB
- Stars: 4
- Watchers: 3
- Forks: 0
- Open Issues: 5
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md