Skip to content
Snippets Groups Projects

Repository analytics

Programming languages used in this repository

Measured in bytes of code. Excludes generated and vendored code.

PercentageUsed programming language020406080100CoqHaskellC++CMakefile

Code coverage statistics for 32701650148eb1b5c293c4d0a2ebd4e5a7d21eae Dec 21 - Mar 21

No code coverage data

Code coverage results are not yet available. Try again later.
Bi-weekly code coverage020406080100
data

Commit statistics for 32701650148eb1b5c293c4d0a2ebd4e5a7d21eae Jan 27 - May 06

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • _frozen_version_ default
  • finaldev
  • master protected
  • newimpl
  • newimpl_14_12_23
5 results
  • Total: 33 commits
  • Average per day: 0.3 commits
  • Authors: 3

Commits per day of month

No. of commitsDay of month024681012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday0369121518MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)012345601234567891011121314151617181920212223