montreal - RV32E core for TinyTapeout, codename "Montréal". Mirror of https://github.com/ubc-asic/montreal.git.

Age	Commit message (Collapse)	Author	Files	Lines
10 days	Sync with 'master'feature/fu	Warrick Lo	2	-5/+0
	Signed-off-by: Warrick Lo <wlo@warricklo.net>
2026-06-24	Add CI pipeline for formal verification	Warrick Lo	2	-5/+0
	* 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-22	Clean up ALU before merge	MyDariell	1	-19/+2
	Co-authored-by: Warrick Lo <wlo@warricklo.net> Signed-off-by: Warrick Lo <wlo@warricklo.net>
2026-06-22	Implement XOR, OR, AND logical operations in sliced ALU	MyDariell	1	-0/+151
	Signed-off-by: MyDariell <Dari3llsugiaman@gmail.com>
2026-06-21	Implement ADD and SUB operations in sliced ALU	MyDariell	1	-0/+188
	Signed-off-by: Dariell Sugiaman <dari3llsugiaman@gmail.com>
2026-05-14	Tidy root directory [skip ci]	Warrick Lo	2	-0/+5
	Signed-off-by: Warrick Lo <wlo@warricklo.net>