Abstract Constraint Transformer
active 2025-10-15 → 2026-07-27 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 286 days from 2025-10-15 to 2026-07-27. Pushes: 72 total, peak 7 in a day. Pull requests: 41 total, peak 4 in a day. Issues: 1 total, peak 1 in a day. Comments: 246 total, peak 15 in a day. Stars: 5 total, peak 2 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 |
|---|---|---|---|---|
| yuleisui | 332 | 72 | 2 | 139 |
| guanqin-123 | 152 | 0 | 27 | 72 |
| Kaijie-liu | 62 | 0 | 8 | 34 |
| codecov[bot] | 3 | 0 | 0 | 3 |
| BUPTlkj | 2 | 0 | 2 | 0 |
| Copilot | 2 | 0 | 0 | 0 |
| jiachenhan | 2 | 0 | 2 | 0 |
| hanyuone | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#87yuleisui2026-07-05 00:52backend update with tf_s and constraints
- Issue comment#77yuleisui2026-06-22 03:17FEATURE: Add support for non-TorchVision datasets
- Issue comment#72guanqin-1232026-05-29 05:15#71 eps broadcast (B,)→(B,1,1,1) & add ci pipeline soundness check
- Issue comment#72hanyuone2026-05-29 04:54#71 eps broadcast (B,)→(B,1,1,1) & add ci pipeline soundness check
- Issue comment#71guanqin-1232026-05-29 01:40Batched `eps` results in size mismatch for `LINF_BALL` input specs
- Issue comment#71guanqin-1232026-05-25 08:04Batched `eps` results in size mismatch for `LINF_BALL` input specs
- Issue comment#70guanqin-1232026-05-24 06:44phase II dual solver: bab with alpha and eta
- Issue comment#67codecov[bot]2026-05-18 04:48feat(dual): TF/Solver split + DAG-aware dual-track forward + verify_o…
- Pull request#66guanqin-1232026-05-16 09:39
- Issue comment#66guanqin-1232026-05-16 09:25refactor+ci
- Issue comment#66yuleisui2026-05-13 04:55refactor+ci
- Issue comment#64codecov[bot]2026-05-11 23:58batch1: native [B, *shape] batched verifier
- Issue comment#65yuleisui2026-05-11 23:50ci: add codecov coverage upload
- Pull request#65guanqin-1232026-05-11 23:44
- Issue comment#65codecov[bot]2026-05-11 23:30ci: add codecov coverage upload
- Issue comment#64guanqin-1232026-05-11 01:18batch1: native [B, *shape] batched verifier
- Pull request#64guanqin-1232026-05-08 08:52
- Pull request#62guanqin-1232026-05-05 23:57
- Pull request#61guanqin-1232026-05-05 01:35
- Pull request#58Kaijie-liu2026-05-01 07:46
- Issue comment#58guanqin-1232026-05-01 04:38RNN for Netfactory
- Issue comment#58guanqin-1232026-04-28 00:49RNN for Netfactory
- Pull request#56guanqin-1232026-04-24 07:33
- Issue comment#56yuleisui2026-04-24 04:19refactor: graph-based VerifiableModel + DAG-aware act2torch
- Issue comment#56guanqin-1232026-04-24 04:14refactor: graph-based VerifiableModel + DAG-aware act2torch
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 5 stars here means stars gained during the window, not the repo's star count.