← Back to repositories
runtimeverification

runtimeverification/stable-mir-json

github.com/runtimeverification/stable-mir-json ↗
Rust

Stars

⭐ 10

PRs Reviewed

2

Bot Comments

12

Primary Language

Rust

Merge Rate

50.0%

Avg Time to Merge

9d

Avg Additions

+1.0K

Avg Deletions

-870

Avg Files Changed

7

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
2 PRs3 events
runtimeverification/stable-mir-json — AI Code Review Activity — Code Review Trends