โ† Back to repositories
runtimeverification

runtimeverification/llvm-backend

github.com/runtimeverification/llvm-backend โ†—
C++

Stars

โญ 42

PRs Reviewed

3

Bot Comments

64

Primary Language

C++

Merge Rate

100.0%

Avg Time to Merge

7d

Avg Additions

+2.9K

Avg Deletions

-2.8K

Avg Files Changed

43

AI Review Products#

AI code review products active on this repository.