Skip to content

runtimeverification/mir-semantics

View on GitHub ↗Related repositories →

active 2023-08-15 → 2026-07-27 (UTC)

Complete coverage27,328 / 27,328 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-26 (UTC)
Events
8K
Pushes
3.7K
Pull requests
894
Issues
220
Stars
24
Forks
2

Activity over time

Daily event counts in the loaded window

Line chart, 1078 days from 2023-08-15 to 2026-07-27. Pushes: 3,718 total, peak 45 in a day. Pull requests: 894 total, peak 17 in a day. Issues: 220 total, peak 41 in a day. Comments: 868 total, peak 21 in a day. Stars: 24 total, peak 3 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
rv-jenkins1.9K1.7K2150
dkcumming1.3K446209218
jberthold1.2K499165262
Stevengre6433868780
ehildenb285993565
yanliu18247961270
automergerpr-permission-manager[bot]185123620
mariaKt1801041933
tothtamas28151452340
gtrepta112421922
sskeirik10744718
Baltoli9120827
F-WRunTime735763
geo2a32315
ACassimiro3018120
nwatson22292252
juliankuners14443
virgil-serbanuta10008
deosa-arch101000
goodlyrottenapple9302

Recent activity

Latest issues, pull requests and releases

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 24 stars here means stars gained during the window, not the repo's star count.