dsleung

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-13 13:46:23 +08:00

28949f36f4 Fix typo in InsnSw.py

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-13 12:19:48 +08:00

9f6c634f4a Update README.md

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 17:26:46 +08:00

6868e0d742 Prepare RV32I Base ISA

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:23:17 +08:00

75d1133125 Remove redundant parameter in InsnAuipc constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:22:16 +08:00

8b92b1cbed Remove redundant parameter in InsnLui constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:20:23 +08:00

23daacc619 Remove redundant parameter in InsnRV32IUType constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:17:59 +08:00

7e8ca12e5f Fix JAL instruction

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:13:06 +08:00

a09df9c7c4 Remove redundant parameter in InsnRV32ISBType constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:09:48 +08:00

3c82069a4d Remove redundant parameter in InsnSw constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:07:59 +08:00

47fa70b389 Remove redundant parameter in InsnSh constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:07:02 +08:00

8dbc8ebd8c Remove redundant parameter in InsnSb constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:06:09 +08:00

2943a307ef Remove redundant parameter in InsnRV32ISType constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:03:35 +08:00

35ba759c30 Remove redundant parameter in InsnAndi constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:02:50 +08:00

801bf08549 Remove redundant parameter in InsnOri constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:02:04 +08:00

3e08d4f26e Remove redundant parameter in InsnXori constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:01:16 +08:00

fda097c52e Remove redundant prameter in InsnSltui instruction

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 14:00:23 +08:00

c60203ce81 Remove redundant prameter in InsnSlti instruction

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 13:59:23 +08:00

0720d1fa07 Remove redundant parameter in InsnAddi constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 13:56:50 +08:00

8ef50fa0cf Remove redundant parameter in InsnRV32IITypeArith constructor

dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen

2020-08-12 13:54:20 +08:00

5d083339ab Remove redundant parameter in InsnLhu constructor