| Project | Found | Outcome |
|---|---|---|
| LiteDRAM | AXI write responses lost under BREADY backpressure |  |
| LiteDRAM | DMA AXI byte addressing and WLAST |  |
| LiteEth | ARP cache returning the wrong MAC address |  |
| LitePCIe | MSI-X upper address and masked interrupts |  |
| Highway | f64 → f32 demotion overflowing on finite values |  |
| Z3 | FP subnormal rounded wrong by roundToIntegral |
 |
| fast_float | from_chars overwriting output on invalid input |
 |
| STP | Nested let scoping |
 |
| GTKWave | vcd2lxt2 storing wrong settled values |
 |
| tract | Signed division by a power of two rounding negatives |  |
| BaseJump STL | bsg_mul_add_unsigned output width |
 |
