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 language010203040506070CoqOCamlC++CShell

Code coverage statistics for 077f1b407b12009cc1416fde4d35b5a0e73f1102 Dec 16 - Mar 16

No code coverage data

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

Commit statistics for 077f1b407b12009cc1416fde4d35b5a0e73f1102 Nov 08 - May 24

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • cpp-2023
  • dev
  • env_with_trace
  • formalise-2023
  • full-ssr
  • improve-env-8
  • internship
  • internship-verify-exception
  • intership-thomas
  • master default protected
  • paparazzi-vfpg
  • sefm-2022
  • test-determinate
  • thesis
14 results
  • Total: 366 commits
  • Average per day: 0.7 commits
  • Authors: 3

Commits per day of month

No. of commitsDay of month03691215182112345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday020406080SundayMondayTuesdayWednesdayThursdayFridaySaturday

Commits per day hour (UTC)

No. of commitsHour (UTC)01020304050607001234567891011121314151617181920212223