Skip to content

runtimeverification/proof-checker

View on GitHub ↗Related repositories →

active 2023-12-072024-01-26 (UTC)

Partial coverage18,484 / 23,746 hourly files (78%) · 2 absent upstream · 5,259 failed, retryable2023-11-272026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
1.1K
Pushes
336
Pull requests
103
Issues
58
Stars
2
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 51 days from 2023-12-07 to 2024-01-26. Pushes: 336 total, peak 33 in a day. Pull requests: 103 total, peak 11 in a day. Issues: 58 total, peak 8 in a day. Comments: 228 total, peak 32 in a day. Stars: 2 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

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

ContributorContributionsPushesPRsComments
fiedlr16738371
rv-jenkins15696540
yzhang90118421120
IljaZakharov10618341
Robertorosmaninho10232928
nishantjr8620333
malturki612386
MirceaS5526614
mcalancea341708
dwightguth181151
xc9316315
traiansf9900
bmmoore1001
dependabot[bot]1100
Stevengre1000

Recent activity

Latest issues, pull requests and releases

  • Pull request#795dwightguth2024-01-26 20:08
  • Pull request#770rv-jenkins2024-01-26 18:26
  • Issue comment#737fiedlr2024-01-26 18:09
    Support type injections and kore-inj symbol in particular
  • Issue#798mcalancea2024-01-26 12:24
    Research efficient instantiations within R1CS
  • Issue comment#782xc932024-01-26 08:53
    Describing the circom input format
  • Issue#796yzhang902024-01-26 06:16
    Add README for Lurk implementation
  • Pull request#794rv-jenkins2024-01-26 04:27
  • Pull request#795dwightguth2024-01-25 20:31
  • Issue comment#757fiedlr2024-01-24 11:58
    Kore Features To Eliminate/Simplify
  • Issue comment#737fiedlr2024-01-24 11:03
    Support type injections and kore-inj symbol in particular
  • Pull request#785yzhang902024-01-24 11:00
  • Issue#784yzhang902024-01-24 07:38
    Update Cairo implementation for issue#722
  • Issue comment#737nishantjr2024-01-24 07:28
    Support type injections and kore-inj symbol in particular
  • Pull request#783nishantjr2024-01-24 07:18
  • Issue#760yzhang902024-01-24 03:52
    Delete zkllvm inputs and use binary proofs as input
  • Pull request#765yzhang902024-01-24 03:52
  • Issue comment#741nishantjr2024-01-24 03:05
    Replace `Rc` with leaky pointers in RISC0 Rust code
  • Issue comment#741nishantjr2024-01-24 03:01
    Replace `Rc` with leaky pointers in RISC0 Rust code
  • Issue comment#770yzhang902024-01-24 02:28
    Introducing the `sdc` project
  • Issue comment#770Robertorosmaninho2024-01-24 01:55
    Introducing the `sdc` project
  • Issue#774xc932024-01-23 06:09
    Proposal: Zero-Knowledge SDC
  • Pull request#768rv-jenkins2024-01-23 04:43
  • Pull request#773malturki2024-01-23 04:27
  • Pull request#772malturki2024-01-23 02:25
  • Issue#771malturki2024-01-22 23:06
    Enable checking the positivity requirement when constructing notations

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