Repository Analytics
Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Code coverage statistics for z3_int64_t_fix Jan 07 - Apr 07
Download raw data (.csv)Commit statistics for z3_int64_t_fix Sep 03 - Feb 01
Excluding merge commits. Limited to 2,000 commits.- Total: 2000 commits
- Average per day: 1.2 commits
- Authors: 18
Commits per day of month
Commits per weekday
Commits per day hour (UTC)