Skip to content
GitLab
Commit 0d794d57 authored by Jack Koenig's avatar Jack Koenig
Browse files

Refactor formal equivalence CI test 

Make the check script allow different designs
Add FPU, ICache, and RocketCore to regress and use instead of Rob for CI
equivalence check
parent e39609a2
Expand all Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment