RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git. https://git.warricklo.net/montreal/atom?h=feature%2Ffu 2026-06-24T07:58:06+00:00 2026-06-24T07:58:06+00:00 Warrick Lo wlo@warricklo.net 2026-06-24T07:58:06+00:00 urn:sha1:adce21a91f4b55cad1126fa4d453b4d6eef79f7f * 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>