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

2025-01-04T12:25:47Z - 2025-04-04T12:25:47Z
Period: 3 months
1 day 3 days 1 week 1 month 3 months 6 months 1 year

Excluding merges, 13 authors have pushed 464 commits to master and 477 commits to all branches. On master, 272 files have changed and there have been 30377 additions and 22800 deletions.