pub fn riscv_alu_properties(config: &RiscvConfig) -> Vec<ProtocolProperty>
Generate ALU instruction properties.