dsleung

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

2020-08-12 13:53:36 +08:00

7c68ef175b Remove redundant parameter in InsnLbu instruction

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

2020-08-12 13:52:53 +08:00

1ab0c0c11d Remove redundant parameter in InsnLw instruction

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

2020-08-12 13:52:10 +08:00

95c0c07c83 Remove redundant parameter in InsnLh constructor

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

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

f7cada3535 Remove redundant parameter in InsnLb constructor

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

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

b12efc507a Remove redundant parameter in InsnRV32IITypeLoad constructor

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

2020-08-12 13:45:11 +08:00

4d55cce1b1 Fix JALR instruction

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

2020-08-12 13:38:47 +08:00

70c5a442d8 Remove redundant parameter in InsnSrai constructor

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

2020-08-12 13:38:01 +08:00

25dbc0e427 Remove redundant parameter in InsnSrli constructor

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

2020-08-12 13:37:11 +08:00

2da87d4686 Remove redundant parameter in InsnSlli constructor

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

2020-08-12 13:35:33 +08:00

05aafd7f22 Remove redundant parameter in InsnRV32IITypeShift constructor

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

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

f40f5e35e0 Remove redundant parameter in InsnAdd constructor

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

2020-08-12 13:30:21 +08:00

96fdc5a455 Remove redundant parameter in InsnOr constructor

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

2020-08-12 13:29:32 +08:00

72aeb3cf36 Remove redundant parameter in InsnSra constructor

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

2020-08-12 13:28:37 +08:00

92fdabad32 Remove redundant parameter in InsnSrl constructor

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

2020-08-12 13:27:36 +08:00

96acab72d7 Remove redundant parameter in InsnXor constructor

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

2020-08-12 13:26:39 +08:00

eddc863a29 Remove redundant parameter in InsnSltu constructor

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

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

6bbf227aaf Remove redundant parameter in InsnSlt construcotr

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

2020-08-12 13:24:33 +08:00

83b36c23b3 Remove redundant parameter from InsnSll constructor

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

2020-08-12 13:22:47 +08:00

4a8197e1f9 Remove redundant parameter in IsnnSub constructor

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

2020-08-12 13:21:08 +08:00

8483e2b318 Remove redundant parameter in InnAdd constructor