Hazard3/sourceme

export PATH="$PATH:$PWD/scripts"
export PROJ_ROOT=$PWD
export HDL=$PROJ_ROOT/hdl
export SCRIPTS=$PROJ_ROOT/scripts
Merge stages D and X, and bring all branch resolution into X. Passes RV32I compliance 2021-05-22 14:54:04 +08:00			`export PATH="$PATH:$PWD/scripts"`
Use .f for riscv-formal tb dependencies, small reshuffling of directories 2021-05-30 16:44:57 +08:00			`export PROJ_ROOT=$PWD`
			`export HDL=$PROJ_ROOT/hdl`
Add simple formal bus properties check 2021-05-30 17:19:42 +08:00			`export SCRIPTS=$PROJ_ROOT/scripts`