Luke Wren 9c56e669cd Standardise on a single ISA variant for default test builds, and align this with the lightweight toolchain config in the Readme ... (Automated test builds for multiple ISA variants still yet to be implemented)		2024-08-07 13:34:36 -07:00
..
bus_compliance_1port	Do not rely on environment variables for any intra-project paths	2024-05-27 16:53:06 +01:00
bus_compliance_2port	Do not rely on environment variables for any intra-project paths	2024-05-27 16:53:06 +01:00
common	Add SBA patch-through to 1-core wrapper.	2022-07-03 15:17:44 +01:00
frontend_fetch_match	Do not rely on environment variables for any intra-project paths	2024-05-27 16:53:06 +01:00
instruction_fetch_match	Standardise on a single ISA variant for default test builds, and align this with the lightweight toolchain config in the Readme	2024-08-07 13:34:36 -07:00
riscv-formal	Bump riscv-formal to head of hazard3 branch, not sure what happened there	2022-10-07 01:35:10 +01:00
.gitignore	Add simple formal bus properties check	2021-05-30 10:19:42 +01:00
project_paths.mk	Do not rely on environment variables for any intra-project paths	2024-05-27 16:53:06 +01:00