Skip to content

Explore Compare Saved

DevHubBuilt for curious developers. Data from GitHub.

Back to repositories

Public repository / model-checking

cbmc-proof-debugger

The CBMC proof debugger is a Visual Studio Code extension contributing a trace debugger for findings by CBMC.

11Stars

4Forks

2Open issues

4Subscribers

Language distribution

Share of source bytes reported by GitHub

TypeScript100%

Makefile<1%

Recent activity

Latest commits on the default branch

build(deps-dev): bump @typescript-eslint/eslint-plugin (#211)dependabot[bot] · Oct 13, 2026 build(deps-dev): bump @typescript-eslint/parser from 8.71.0 to 8.71.1 (#212)dependabot[bot] · Oct 13, 2026 build(deps-dev): bump @types/node from 26.6.4 to 26.6.5 (#214)dependabot[bot] · Oct 13, 2026 build(deps-dev): bump eslint from 10.11.0 to 10.12.0 (#213)dependabot[bot] · Oct 13, 2026 Merge pull request #209 from model-checking/dependabot/npm_and_yarn/types/node-26.6.4tautschnig · Oct 5, 2026 Merge pull request #208 from model-checking/dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.71.0tautschnig · Oct 5, 2026 build(deps-dev): bump @typescript-eslint/eslint-plugindependabot[bot] · Oct 5, 2026 build(deps-dev): bump @types/node from 26.6.2 to 26.6.4dependabot[bot] · Oct 5, 2026 Merge pull request #207 from model-checking/dependabot/npm_and_yarn/typescript-eslint/parser-8.71.0tautschnig · Oct 5, 2026 Merge pull request #206 from model-checking/dependabot/npm_and_yarn/mocha-12.0.3tautschnig · Oct 5, 2026

Project details

Created Oct 2022 Updated Oct 2026 MIT No Attribution Project website

Contributors

7

dependabot[bot]201 commits

tautschnig121 commits

feliperodri81 commits

AdnaneKhan1 commits

markrtuttle1 commits

jaisnan

1 commits