โ† Back to repositories
runtimeverification

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.