dsleung
1 Followers · 0 Following
  • Joined on 2020-05-28
Repositories Projects Packages Code Public Activity Starred Repositories
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 11:34:05 +08:00
62ae797737 Add BGEU instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 11:30:24 +08:00
596d7fcf6d Add BLTU instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 10:43:08 +08:00
f6008f3096 Add BGE instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 10:39:03 +08:00
8d1b070a02 Add BLT instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 10:33:52 +08:00
680042b9ee ADD BNE instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 10:29:23 +08:00
486c77a108 Fix BEQ instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 10:28:11 +08:00
c17ccdf897 Add BEQ instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-08-03 10:19:12 +08:00
33ecb317b2 Add SB-type instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:52:06 +08:00
663b0b3b48 Add ANDI instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:50:07 +08:00
912580dda8 Add ORI instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:48:10 +08:00
bf80a13d55 Add XORI instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:45:22 +08:00
e49476746e Add SLTIU instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:42:36 +08:00
305d2195be Add SLTI instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:39:40 +08:00
a9bc0629bd Add ADDI instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:35:15 +08:00
cf8033a8bb Add LHU instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:31:35 +08:00
e3f0727e9c Add LBU instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:27:43 +08:00
dc31087f73 Add LW instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:19:11 +08:00
96015ee5d9 Add LH instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:15:26 +08:00
ecfe8b11c4 Fix JALR instruction
dsleung pushed to feature/refactor-insns at M-Labs/riscv-formal-nmigen 2020-07-31 16:14:57 +08:00
d525a89ccb Add LB instruction