Skip to content
GitHub Explorer

Certora/cvldoc_parser

View on GitHub ↗Related repositories →

CVLDoc parser backend

active 2023-08-17 → 2024-05-16 (UTC)

Complete coverage27,865 / 27,865 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-19 (UTC)
Events
130
Pushes
61
Pull requests
17
Issues
0
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 274 days from 2023-08-17 to 2024-05-16. Pushes: 61 total, peak 15 in a day. Pull requests: 17 total, peak 3 in a day. Issues: 0 total, peak 0 in a day. Comments: 17 total, peak 11 in a day. Stars: 1 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
pickx664496
H00N24311783
ozcodes12008
orpistiner1000

Recent activity

Latest issues, pull requests and releases

  • Releasev2.0.4H00N242024-05-16 11:16
    Release v2.0.4
  • Pull request#37H00N242024-05-16 08:52
  • Pull request#37H00N242024-05-13 15:02
  • Releasev2.0.3H00N242024-05-13 06:25
    Release v2.0.3
  • Pull request#35H00N242024-05-13 06:07
  • Pull request#36H00N242024-05-10 06:38
  • Pull request#36H00N242024-05-10 06:37
  • Pull request#34H00N242024-05-10 06:26
  • Pull request#35H00N242024-05-09 08:54
  • Pull request#34H00N242024-05-08 16:03
  • Pull request#33pickx2024-03-13 13:04
  • Pull request#32pickx2024-03-07 05:18
  • Pull request#32pickx2024-03-06 13:36
  • Pull request#31pickx2024-02-26 08:58
  • Pull request#31pickx2024-02-25 21:42
  • Pull request#30pickx2024-01-02 17:00
  • Pull request#30pickx2024-01-02 16:37
  • Pull request#29pickx2023-09-19 16:56
  • Pull request#28pickx2023-09-14 14:20

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