mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-04 08:39:57 +00:00
Code Activity
Pulse Contributors Code frequency Recent commits

2024-10-04T12:25:42Z - 2025-04-04T12:25:42Z
Period: 6 months
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 24 authors have pushed 676 commits to master and 776 commits to all branches. On master, 486 files have changed and there have been 50980 additions and 30378 deletions.