Minimizes SystemVerilog code while preserving a user-defined property of that code.
active 2024-09-24 → 2026-07-16 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 661 days from 2024-09-24 to 2026-07-16. Pushes: 27 total, peak 3 in a day. Pull requests: 3 total, peak 1 in a day. Issues: 15 total, peak 3 in a day. Comments: 12 total, peak 2 in a day. Stars: 32 total, peak 4 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
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| antmicrobot | 15 | 15 | 0 | 0 |
| sgizler | 9 | 8 | 0 | 1 |
| kbieganski | 8 | 1 | 0 | 4 |
| wsnyder | 6 | 0 | 0 | 0 |
| RRozak | 5 | 1 | 1 | 2 |
| tgorochowik | 5 | 2 | 1 | 1 |
| FurryAcetylCoA | 2 | 0 | 0 | 2 |
| baigog | 1 | 0 | 0 | 0 |
| HU90m | 1 | 0 | 1 | 0 |
| solomatnikov | 1 | 0 | 0 | 0 |
| pointerliu | 1 | 0 | 0 | 0 |
| Kreijstal | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#16kbieganski2025-12-30 13:34Clarification in documentation
- Issue comment#14kbieganski2025-12-10 11:34Move class extern definitions to inside class
- Issue#14wsnyder2025-12-06 22:03Move class extern definitions to inside class
- Issue#12kbieganski2025-11-17 12:20Remove empty `case` and `if` replace with body
- Issue#11kbieganski2025-09-25 17:37Remove function arguments
- Issue#11wsnyder2025-09-18 02:50Remove function arguments
- Issue#9wsnyder2025-09-18 02:47Add removal of end labels
- Issue#10wsnyder2025-09-18 02:47Remove DPI import/exports
- Issue#10wsnyder2025-09-16 04:11Remove DPI import/exports
- Issue#9wsnyder2025-09-03 23:06Add removal of end labels
- Issue#6kbieganski2025-08-05 16:00debugging segfaults with sv-bugpoint
- Issue comment#8kbieganski2025-08-05 15:59option to disable type change
- Issue#8solomatnikov2025-07-28 16:49option to disable type change
- Issue comment#6kbieganski2025-07-23 16:39debugging segfaults with sv-bugpoint
- Issue comment#1mgielda2025-07-23 15:51Error in building slang
- Issue#7wsnyder2025-07-23 15:38Pass to remove lines
- Issue comment#4FurryAcetylCoA2025-06-17 07:11is there a way to pause and resume the minimization process
- Issue comment#4RRozak2025-06-16 12:09is there a way to pause and resume the minimization process
- Issue comment#5sgizler2025-06-16 09:52Execution time for example in caliptra_vcd
- Issue comment#4FurryAcetylCoA2025-05-12 08:04is there a way to pause and resume the minimization process
- Issue comment#4RRozak2025-04-29 09:17is there a way to pause and resume the minimization process
- Issue#4RRozak2025-04-29 09:17is there a way to pause and resume the minimization process
- Issue#5pointerliu2025-04-21 12:15Execution time for example in caliptra_vcd
- Issue#4Kreijstal2025-04-19 10:15is there a way to pause the intermediates
- Pull request#3RRozak2025-02-19 11:32
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 32 stars here means stars gained during the window, not the repo's star count.