3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-01-17 16:06:24 +00:00

2025-07-17 - 2026-01-17

Excluding merges, 24 authors have pushed 520 commits to master and 1297 commits to all branches. On master, 894 files have changed and there have been 63592 additions and 60266 deletions.