← Back to repositories

esbmc/esbmc

github.com/esbmc/esbmc ↗

C++

Stars

⭐ 517

PRs Reviewed

142

Bot Comments

656

Primary Language

C++

Merge Rate

62.7%

Avg Time to Merge

3d

Avg Additions

+607

Avg Deletions

-125

Avg Files Changed

47

AI Review Products#

AI code review products active on this repository.

137 PRs177 events