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-07-07T06:01:17+00:00 2026-07-07T06:01:17+00:00 Warrick Lo wlo@warricklo.net 2026-07-07T06:01:17+00:00 urn:sha1:6c24f49f3239c79173fd180d065f8f03cfaeabfd Signed-off-by: Warrick Lo <wlo@warricklo.net> 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> 2026-06-23T02:55:02+00:00 MyDariell Dari3llsugiaman@gmail.com 2026-06-23T02:55:02+00:00 urn:sha1:7643e8f7afc960429dac33471dbcd56f1416a85f Co-authored-by: Warrick Lo <wlo@warricklo.net> Signed-off-by: Warrick Lo <wlo@warricklo.net> 2026-06-23T02:52:30+00:00 MyDariell Dari3llsugiaman@gmail.com 2026-06-23T02:52:30+00:00 urn:sha1:4381dbcfccee329aed76158ea62a62a9b221bdd8 Signed-off-by: MyDariell <Dari3llsugiaman@gmail.com> 2026-06-22T01:55:45+00:00 MyDariell Dari3llsugiaman@gmail.com 2026-06-22T01:55:45+00:00 urn:sha1:80d07e4115cd15720471b4e89da65209aed8a76b Signed-off-by: Dariell Sugiaman <dari3llsugiaman@gmail.com> 2026-05-14T17:10:33+00:00 Warrick Lo wlo@warricklo.net 2026-05-14T17:10:33+00:00 urn:sha1:f86d0ecc94c071b8856f967f77b305a8d1a9c5f8 Signed-off-by: Warrick Lo <wlo@warricklo.net>