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 master Dec 15 - Mar 15

No code coverage data

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

Commit statistics for master Nov 08 - Jul 13

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: 427 commits
  • Average per day: 0.7 commits
  • Authors: 3

Commits per day of month

No. of commitsDay of month051015202512345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday020406080100SundayMondayTuesdayWednesdayThursdayFridaySaturday

Commits per day hour (UTC)

No. of commitsHour (UTC)02040608001234567891011121314151617181920212223