mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-05-16 23:25:36 +00:00
Code Activity
Pulse Contributors Code frequency Recent commits

2025-05-17 - 2026-05-17
Period: 1 year
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 38 authors have pushed 1099 commits to master and 3255 commits to all branches. On master, 1405 files have changed and there have been 171480 additions and 136865 deletions.