mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-14 11:05:41 +00:00
Code Activity
Pulse Contributors Code frequency Recent commits

2026-04-14 - 2026-07-14
Period: 3 months
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 27 authors have pushed 382 commits to master and 705 commits to all branches. On master, 846 files have changed and there have been 59261 additions and 26579 deletions.