Closed marcfedorow closed 3 years ago
Consider splitting encodings of rv32 and rv64 cases. Specify both encodings explicitly.
Have taken the suggestion in b0e9ca2.
Consider splitting encodings of rv32 and rv64 cases. Specify both encodings explicitly.