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 language0102030405060Jupyter NotebookC++PythonCYacc

Code coverage statistics for master Mar 14 - Jun 12

No code coverage data

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

Commit statistics for master Jun 30 - Sep 15

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • CAV_artifact
  • CAV_artifact_othertools
  • CAV_artifact_vm
  • DynamicSafetyWorking
  • Evie_branch
  • NN_verif
  • NN_verif_dfs
  • New_models
  • New_models_TACAS
  • TACAS_artifact
  • auto_agent
  • master default protected
  • cav_artifact
13 results
  • Total: 182 commits
  • Average per day: 0.4 commits
  • Authors: 4

Commits per day of month

No. of commitsDay of month051015202512345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday01020304050SundayMondayTuesdayWednesdayThursdayFridaySaturday

Commits per day hour (UTC)

No. of commitsHour (UTC)03691215182101234567891011121314151617181920212223