| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2026-05-27 | Update README and WaveDrom diagrams [skip ci] | Warrick Lo | 49 | -93/+295 |
| 2026-05-23 | Add WaveDrom diagrams for instructions to README | Warrick Lo | 1 | -22/+28 |
| 2026-05-19 | Pass linter | Chat | 4 | -62/+83 |
| 2026-05-14 | Add simple_alu RTL and formal verification | Chat | 9 | -0/+189 |