mirror of
https://github.com/Z3Prover/z3
synced 2026-06-18 06:36:24 +00:00
2026-06-11 - 2026-06-18
Excluding merges,
9 authors
have pushed
25 commits
to master and
102 commits
to all branches.
On master,
87 files
have changed
and there have been
4717 additions
and
1551 deletions.