aboutsummaryrefslogtreecommitdiff
path: root/verif/formal/simple_alu (unfollow)
AgeCommit message (Expand)AuthorFilesLines
2026-05-19Pass linterChat3-37/+44
2026-05-14Add simple_alu RTL and formal verificationChat9-0/+189
2026-05-14Tidy root directory [skip ci]Warrick Lo6-206/+0
2026-05-11Remove course resourceshamzah20-60/+0
2026-05-11Add RISCV reference cards and update READMEChat4-9/+40
2026-05-08Update READMEWarrick Lo1-1/+3
2026-05-08Migrate binaries to Git LFS [skip ci]Warrick Lo1-2/+4
2026-05-08Add CI linter rulesWarrick Lo2-0/+6
2026-05-08Add GitHub Actions for linting and formattingWarrick Lo3-0/+28
2026-05-08Add project scaffoldingWarrick Lo3-0/+219
2026-04-26Update resourcesChat28-1/+336