dsleung
1 Followers · 0 Following
  • Joined on 2020-05-28
Repositories Projects Packages Code Public Activity Starred Repositories
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-12 13:19:24 +08:00
3f6021bbb6 Remove redundant parameter in InsRV32IRType constructor
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-12 13:16:46 +08:00
186c8659db Remove redundant parameter in Insn constructor
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 17:33:57 +08:00
eb56501727 Update README.md
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 17:33:02 +08:00
28ed0c8656 Add AUIPC instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 17:30:55 +08:00
35b515e53b Add LUI instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 17:26:03 +08:00
371fcc81c1 Add RV32I U-Type Instruction Format
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 17:12:34 +08:00
32526017d0 Update README.md
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 17:11:48 +08:00
bae0f5e7bc Add JAL instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:59:09 +08:00
2ab62a6f79 Update README.md
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:57:42 +08:00
a515938780 Add BGEU instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:56:05 +08:00
504d6e1984 Add BLTU instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:54:23 +08:00
c82dcfb570 Add BGE instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:52:42 +08:00
17816f9464 Add BLT instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:49:37 +08:00
1cff0134fe Add BNE instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:46:13 +08:00
6461f455d6 Add BEQ instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 16:37:52 +08:00
edadb8da47 Add RV32I SB-Type Instruction Format
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 14:54:35 +08:00
507675b59f Update README.md
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 14:53:07 +08:00
a78309d997 Add SW instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 14:51:42 +08:00
ec86b3a76a Add SH instruction
dsleung pushed to restructuring at M-Labs/riscv-formal-nmigen 2020-08-11 14:50:14 +08:00
c368060315 Add SB instruction