mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-17 07:56:24 +00:00
Code Activity
Pulse Contributors Code frequency Recent commits

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

Excluding merges, 15 authors have pushed 279 commits to master and 748 commits to all branches. On master, 775 files have changed and there have been 36100 additions and 39506 deletions.