mirror of
https://github.com/Z3Prover/z3
synced 2026-07-14 11:05:41 +00:00
2026-07-07 - 2026-07-14
Excluding merges,
6 authors
have pushed
50 commits
to master and
93 commits
to all branches.
On master,
143 files
have changed
and there have been
6969 additions
and
4157 deletions.