Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Code coverage statistics for ralf/coq-bug-13942 Jun 27 - Sep 25Download raw data (.csv)
Commit statistics for ralf/coq-bug-13942 Mar 20 - Mar 15Excluding merge commits. Limited to 2,000 commits.
- Total: 2000 commits
- Average per day: 1.8 commits
- Authors: 34
Commits per day of month
Commits per weekday
Commits per day hour (UTC)