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 language010203040506070CPythonRubyLuaC#

Code coverage statistics for 8de5fa59b9ee2d8cf419927d940e8ddacb3c88a1 Dec 31 - Mar 31

No code coverage data

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

Commit statistics for 8de5fa59b9ee2d8cf419927d940e8ddacb3c88a1 Apr 22 - Oct 09

Excluding merge commits. Limited to 2,000 commits.
Switch branch/tag
  • ACL2print
  • c++
  • cxx
  • llvm-backend
  • luajit-operator-overloading
  • master default protected
  • old-llvm-backend
  • old-valgrind-cleanup
  • packrat-iterative-WIP
  • pdf
  • refactor-build
  • windows-vs2013
  • 2020-04-27_RELEASE
  • 2020-06-27_RELEASE
  • 2020-08-27_RELEASE
  • 2020-10-27_RELEASE
  • 2020-12-23_RELEASE
  • 2021-02-27_RELEASE
  • 2021-04-27_RELEASE
  • 2021-06-27_RELEASE
  • 2021-08-27_RELEASE
  • 2021-10-28_RELEASE
  • 2021-12-30_RELEASE
  • 2022-02-28_RELEASE
  • 2022-03-17_RELEASE
  • 2022-03-31_merged
  • 2022-04-29_RELEASE
  • 2022-06-30_RELEASE
  • 2022-08-31_RELEASE
  • 2022-10-28_RELEASE
  • eval1_2020-03-09
  • evalThree
32 results
  • Total: 1070 commits
  • Average per day: 0.4 commits
  • Authors: 25

Commits per day of month

No. of commitsDay of month030609012015012345678910111213141516171819202122232425262728293031

Commits per weekday

No. of commitsWeekday050100150200250SundayMondayTuesdayWednesdayThursdayFridaySaturday

Commits per day hour (UTC)

No. of commitsHour (UTC)030609012015001234567891011121314151617181920212223