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 language010203040506070CC++ShellCMakeMakefile

Code coverage statistics for improvement_acceleration Dec 14 - Mar 14

No code coverage data

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

Commit statistics for improvement_acceleration May 25 - Sep 11

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • StochasticGames
  • cleaning_fixpoint
  • improvement_acceleration
  • master default protected
  • old_master_1.2
  • parity_fixpoint
  • recreation_of_previous_results
  • unifying_approximations
  • 2.0
  • 1.2
  • POPL_22_submission_#1
11 results
  • Total: 229 commits
  • Average per day: 2.1 commits
  • Authors: 7

Commits per day of month

No. of commitsDay of month0102030405012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday0102030405060MondayTuesdayWednesdayThursdayFridaySaturdaySunday

Commits per day hour (UTC)

No. of commitsHour (UTC)051015202501234567891011121314151617181920212223