runtimeverification/llvm-backend

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