aboutsummaryrefslogtreecommitdiff
path: root/dv/formal/regfile (follow)
AgeCommit message (Collapse)AuthorFilesLines
2026-06-24Add CI pipeline for formal verificationWarrick Lo2-0/+274
* 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>
generated by cgit v1.2.3 (git 2.39.1) at 2026-07-17 11:27:30 +0000