mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-04-16 09:13:24 +00:00
Code Activity
Pulse Contributors Code frequency Recent commits

2025-10-16 - 2026-04-16
Period: 6 months
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 21 authors have pushed 662 commits to master and 2449 commits to all branches. On master, 1064 files have changed and there have been 107014 additions and 93400 deletions.