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-04-04T12:24:26Z - 2025-04-04T12:24:26Z
Period: 1 year
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 32 authors have pushed 917 commits to master and 1182 commits to all branches. On master, 787 files have changed and there have been 74556 additions and 46780 deletions.