| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2026-06-24 | Add CI pipeline for formal verification | Warrick Lo | 1 | -8/+8 | |
| * Add formal verification tests with sby to CI * Fix reviewdog having insufficient API permissions See-also: #15 Signed-off-by: Warrick Lo <wlo@warricklo.net> | |||||
| 2026-05-08 | Add CI linter rules | Warrick Lo | 1 | -0/+4 | |
| Signed-off-by: Warrick Lo <wlo@warricklo.net> | |||||
| 2026-05-08 | Add GitHub Actions for linting and formatting | Warrick Lo | 1 | -0/+12 | |
| Signed-off-by: Warrick Lo <wlo@warricklo.net> | |||||
 |
index : montreal | |
| RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git. |
| aboutsummaryrefslogtreecommitdiff |