← Back to repositories
diffblue

diffblue/cbmc

github.com/diffblue/cbmc ↗
C++

Stars

⭐ 1.2K

PRs Reviewed

64

Bot Comments

243

Primary Language

C++

Merge Rate

9.4%

Avg Time to Merge

4w

Avg Additions

+299

Avg Deletions

-78

Avg Files Changed

36

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
64 PRs71 events