Project 'dev/why3find' was moved to 'pub/why3find'. Please update any links and bookmarks that may still have the old path.
Repository analytics
Programming languages used in this repository
Measured in bytes of code. Excludes generated and vendored code.
Commit statistics for master Oct 15 - Feb 24
Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
- Total: 322 commits
- Average per day: 0.2 commits
- Authors: 16
Commits per day of month
Commits per weekday
Commits per day hour (UTC)