← Back to repositories

mCRL2org/mCRL2

github.com/mCRL2org/mCRL2 ↗

C++

Stars

⭐ 111

PRs Reviewed

5

Bot Comments

7

Primary Language

C++

Merge Rate

80.0%

Avg Time to Merge

5w

Avg Additions

+5.3K

Avg Deletions

-4.4K

Avg Files Changed

76

AI Review Products#

AI code review products active on this repository.