4 Commits

Author	SHA1	Message	Date
Luke Wren	6fcc74a043	Add some instructions to Readme	2021-07-24 11:53:08 +01:00
Luke Wren	16dc905dce	Add simple formal bus properties check	2021-05-30 10:19:42 +01:00
Luke Wren	2330b84b73	Use .f for riscv-formal tb dependencies, small reshuffling of directories	2021-05-30 09:44:57 +01:00
Luke Wren	692abbad8b	Merge stages D and X, and bring all branch resolution into X. Passes RV32I compliance	2021-05-22 07:55:13 +01:00