← Back to repositories

runtimeverification/mir-semantics

github.com/runtimeverification/mir-semantics ↗

Python

Stars

⭐ 43

PRs Reviewed

6

Bot Comments

15

Primary Language

Python

Merge Rate

16.7%

Avg Time to Merge

6h

Avg Additions

+782

Avg Deletions

-134

Avg Files Changed

19

AI Review Products#

AI code review products active on this repository.