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

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

Excluding merges, 11 authors have pushed 205 commits to master and 404 commits to all branches. On master, 763 files have changed and there have been 52782 additions and 15169 deletions.