Current issue state, recent activity, and per-issue timelines from the indexed issue data.
| Date | Opened | Closed | Comments | Events | Open Backlog |
|---|---|---|---|---|---|
| 2026-09-21 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-20 | 0 | 0 | 0 | 0 | 14 |
| 2026-09-19 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-18 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-17 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-16 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-15 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-14 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-13 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-12 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-11 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-10 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-09 | 0 | 0 | 0 | 0 | 0 |
| 2026-09-08 | 0 | 0 | 0 | 0 | 0 |
Opened: 0
Closed: 0
Comments: 0
Events: 0
| Issue | Author | State | Labels | Comments | Reactions | Updated |
|---|---|---|---|---|---|---|
#273 Gemma 3 provable/quantized path diverges from float execution on upstream checkpoint Opened 28 days ago | advatar | open | No labels | 1 | 0 | 28 days ago |
#194 Refactor: provable/mod.rs should be dispatched Opened 1 year ago | nikkolasg | closed - not_planned | No labels | 1 | 0 | 8 months ago |
#178 Quantization trait: Directly give output scaling factors Opened 1 year ago | nikkolasg | open | deepprove Improvement | 1 | 0 | 1 year ago |
#147 Inference Trace: Duplicate storing of input and output of each layer Opened 1 year ago | nikkolasg | open | No labels | 0 | 0 | 1 year ago |
#143 Macro to automatically populate Layer trait implementations Opened 1 year ago | nikkolasg | open | No labels | 0 | 0 | 1 year ago |
#130 Lookup Proving randomly fails (related to clamping?) Opened 1 year ago | nikkolasg | closed - completed | No labels | 1 | 0 | 1 year ago |
#126 Bug: failing basefold benchmark Opened 1 year ago | huitseeker | open | No labels | 0 | 0 | 1 year ago |
#108 Batch Prove Convolution Sumchecks Opened 1 year ago | Zyouell | open | No labels | 0 | 0 | 1 year ago |
#107 Get rid of all convolution related elements in tensor.rs Opened 1 year ago | nikkolasg | open | No labels | 0 | 0 | 1 year ago |
#106 Ensure! instead of assert! Opened 1 year ago | nikkolasg | open | No labels | 0 | 0 | 1 year ago |
#87 Emit Proof Bytes Opened 1 year ago | vowalsh | open | No labels | 0 | 0 | 1 year ago |
#84 Some ideas on DeepProve Opened 1 year ago | Thiohitric | open | No labels | 0 | 0 | 1 year ago |
#82 zkevm Opened 2 years ago | Nvasukumar | closed - not_planned | No labels | 0 | 0 | 2 years ago |
#81 Greatness Opened 2 years ago | nftsrover | closed - completed | No labels | 0 | 0 | 2 years ago |
#76 Random model with convolution layer inside Opened 2 years ago | nikkolasg | open | No labels | 0 | 0 | 2 years ago |
#74 Support multiple consecutive downsampling layers Opened 2 years ago | sshravan | open | No labels | 0 | 0 | 2 years ago |
#68 Assert conv2d & maxpool stride, padding, dilation Opened 2 years ago | sshravan | closed - completed | No labels | 1 | 0 | 2 years ago |
#36 ```test_identity_eval``` fails sporadically Opened 2 years ago | sshravan | closed - completed | No labels | 2 | 0 | 2 years ago |
#70 Profile ```load_model``` Opened 2 years ago | sshravan | open | No labels | 0 | 0 | 2 years ago |
#62 Allow Different Transcripts Opened 2 years ago | Zyouell | open | No labels | 0 | 0 | 2 years ago |
#17 TODO list Opened 2 years ago | nikkolasg | closed - completed | No labels | 0 | 0 | 2 years ago |
#40 Todo and notes (06-March) Opened 2 years ago | sshravan | closed - completed | No labels | 1 | 0 | 2 years ago |
#11 [zkml] Seeded RNGs Opened 2 years ago | nikkolasg | closed - completed | No labels | 1 | 0 | 2 years ago |