dsleung
1 Followers · 0 Following
  • Joined on 2020-05-28
Repositories Projects Packages Code Public Activity Starred Repositories
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 16:16:36 +08:00
ada2a09818 Add SRL instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 16:12:17 +08:00
192aec2347 Add XOR instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 16:08:19 +08:00
c6c18765f5 Add SLTU instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 16:04:56 +08:00
adcf7dc4ab Add SLT instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 16:01:13 +08:00
728e24b0df Add SLL instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 15:55:56 +08:00
6940574d73 Add SUB instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 15:52:53 +08:00
e80a9a2672 Add ADD instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 14:35:13 +08:00
5503b9327c Add SRAI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:58:11 +08:00
4c1acf5d16 Add SRLI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:52:59 +08:00
846b2ad4b8 Add SLLI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:44:18 +08:00
0349ebdbb2 Add ANDI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:42:12 +08:00
c97ba62a21 Add ORI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:39:38 +08:00
74eb0a9df5 Add XORI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:36:12 +08:00
4878d88d5b Add SLTIU instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:33:10 +08:00
7a767ed038 Add SLTI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:29:25 +08:00
94286cef74 Add ADDI instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:12:46 +08:00
13210f6002 Add SW instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:10:11 +08:00
d8285db0a1 Add SH instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:05:56 +08:00
efbc009559 Fix SB instruction for RV32I
dsleung pushed to master at M-Labs/riscv-formal-nmigen 2020-07-22 13:01:47 +08:00
9d8e230d70 Add SB instruction for RV32I