mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-10-09 12:45:47 +00:00
Code Activity
Pulse Contributors Code frequency Recent commits

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

Excluding merges, 51 authors have pushed 1664 commits to master and 4126 commits to all branches. On master, 2104 files have changed and there have been 284863 additions and 202316 deletions.