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-04-09 - 2026-10-09
Period: 6 months
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 40 authors have pushed 1012 commits to master and 1765 commits to all branches. On master, 1634 files have changed and there have been 184158 additions and 114204 deletions.