Skip to content
GitHub Explorer

gschandan/PySynthLab

View on GitHub ↗Related repositories →

Implementing a configurable CEGIS engine in python

active 2023-10-02 → 2024-08-19 (UTC)

Complete coverage26,590 / 26,590 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-26 (UTC)
Events
445
Pushes
383
Pull requests
28
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 323 days from 2023-10-02 to 2024-08-19. Pushes: 383 total, peak 25 in a day. Pull requests: 28 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
gschandan316288280
github-actions[bot]959500

Recent activity

Latest issues, pull requests and releases

  • Pull request#14gschandan2024-08-04 08:31
  • Pull request#14gschandan2024-08-03 16:24
  • Pull request#13gschandan2024-07-29 19:54
  • Pull request#13gschandan2024-07-29 19:53
  • Pull request#12gschandan2024-07-28 10:04
  • Pull request#12gschandan2024-07-28 10:04
  • Pull request#11gschandan2024-07-25 19:38
  • Pull request#11gschandan2024-07-25 19:38
  • Pull request#10gschandan2024-07-17 20:17
  • Pull request#10gschandan2024-07-17 20:17
  • Pull request#9gschandan2024-07-17 20:12
  • Pull request#9gschandan2024-07-17 20:11
  • Pull request#8gschandan2024-07-02 14:03
  • Pull request#8gschandan2024-07-02 14:03
  • Pull request#7gschandan2024-06-20 20:12
  • Pull request#7gschandan2024-06-20 20:12
  • Pull request#6gschandan2024-06-19 18:39
  • Pull request#6gschandan2024-06-19 18:39
  • Pull request#5gschandan2024-06-19 18:36
  • Pull request#5gschandan2024-06-19 18:36
  • Pull request#4gschandan2024-06-16 13:26
  • Pull request#4gschandan2024-06-16 13:24
  • Pull request#3gschandan2024-06-09 12:41
  • Pull request#3gschandan2024-06-09 12:41
  • Pull request#2gschandan2024-06-04 20:08

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.