sail-riscv
sail-riscv copied to clipboard
Published
20 hours ago •
riscv
riscv
Test against riscv-arch-test
We should support testing against riscv-arch-test (AKA ACTs), and run these tests in CI.
This was previously discounted because they test against Sail, but that only happens after PRs have been merged and we would like to detect issues before that (see e.g. #1132).
Another benefit would be for testing new extension, e.g. see here - I would like to be able to easily run the Zacas tests in riscv-arch-test.
Unfortunately setting up riscv-arch-test involves a lot of very messy Python and YAML nonsense, so it is a lot of work.
We should have some kind of script that users and CI can run that does that hard work for us.
