Skip to content

runtimeverification/mir-semantics

View on GitHub ↗Related repositories →

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

Complete coverage28,422 / 28,422 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-11 (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.3K449211217
jberthold1.2K502166262
Stevengre6433868780
ehildenb284993465
yanliu18247961270
automergerpr-permission-manager[bot]185123620
mariaKt1801041933
tothtamas28151452340
gtrepta112421922
sskeirik10744718
Baltoli9120827
F-WRunTime735763
geo2a32315
ACassimiro3018120
nwatson22292252
juliankuners14443
deosa-arch101000
virgil-serbanuta10008
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.