mirror of
https://github.com/Z3Prover/z3
synced 2026-03-21 20:18:50 +00:00
2026-02-22 - 2026-03-22
Excluding merges,
7 authors
have pushed
63 commits
to master and
525 commits
to all branches.
On master,
114 files
have changed
and there have been
18293 additions
and
9663 deletions.