| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2026-06-24 | Add CI pipeline for formal verification | Warrick Lo | 7 | -418/+0 |
| 2026-06-20 | Minor refactor to regfile formal test modulefeature/core | Warrick Lo | 2 | -56/+83 |
| 2026-06-18 | Add formal verification for regfile | Warrick Lo | 2 | -0/+244 |
| 2026-05-19 | Pass linter | Chat | 3 | -37/+44 |
| 2026-05-14 | Add simple_alu RTL and formal verification | Chat | 5 | -0/+140 |
 |
index : montreal | |
| RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git. |
| aboutsummaryrefslogtreecommitdiff |