← Back to repositories

esbmc/esbmc

github.com/esbmc/esbmc ↗

C++

Stars

⭐ 492

PRs Reviewed

135

Bot Comments

632

Primary Language

C++

Merge Rate

65.9%

Avg Time to Merge

3d

Avg Additions

+603

Avg Deletions

-128

Avg Files Changed

47

AI Review Products#

AI code review products active on this repository.

131 PRs169 events