Skip to content
GitHub Explorer

AngeloFerrando/txscript-z3

View on GitHub ↗Related repositories →

active 2023-11-01 → 2024-03-28 (UTC)

Complete coverage27,376 / 27,376 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-28 (UTC)
Events
85
Pushes
61
Pull requests
23
Issues
0
Stars
0
Forks
1

Activity over time

Daily event counts in the loaded window

Line chart, 149 days from 2023-11-01 to 2024-03-28. Pushes: 61 total, peak 6 in a day. Pull requests: 23 total, peak 4 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 in a day. Stars: 0 total, peak 0 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
AngeloFerrando575340
bitbart248160
elipparini3030

Recent activity

Latest issues, pull requests and releases

  • Pull request#13bitbart2024-03-28 07:32
  • Pull request#13bitbart2024-03-28 07:32
  • Pull request#12AngeloFerrando2024-03-27 07:31
  • Pull request#12elipparini2024-03-27 06:40
  • Pull request#11bitbart2024-03-25 17:00
  • Pull request#11bitbart2024-03-25 16:55
  • Pull request#10bitbart2024-03-24 15:26
  • Pull request#10bitbart2024-03-24 15:26
  • Pull request#9bitbart2024-03-24 08:56
  • Pull request#9bitbart2024-03-24 08:56
  • Pull request#8AngeloFerrando2024-03-20 07:53
  • Pull request#8elipparini2024-03-20 07:19
  • Pull request#7AngeloFerrando2024-03-18 08:14
  • Pull request#7bitbart2024-03-15 18:36
  • Pull request#6bitbart2024-03-07 20:05
  • Pull request#6bitbart2024-03-07 20:05
  • Pull request#5bitbart2024-03-07 17:03
  • Pull request#5bitbart2024-03-07 17:03
  • Pull request#3bitbart2024-02-16 15:02
  • Pull request#2AngeloFerrando2024-02-12 07:59
  • Pull request#2elipparini2024-02-09 16:37
  • Pull request#1bitbart2023-12-21 14:54
  • Pull request#1bitbart2023-12-21 14:54

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