M-Labs/riscv-formal-nmigen
6
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Restructure insns directory contents #2

Merged
dsleung merged 109 commits from restructuring into master 2020-08-13 15:20:35 +08:00
Conversation 0 Commits 109 Files Changed 82 +3
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit eb56501727 - Show all commits

3
insns/README.md
View File

@ -79,6 +79,9 @@ Below is a list of instructions currently supported by this port of the riscv-fo
- `InsnBltu`: BLTU instruction - `InsnBltu`: BLTU instruction
- `InsnBgeu`: BGEU instruction - `InsnBgeu`: BGEU instruction
- `InsnJal`: JAL instruction - `InsnJal`: JAL instruction
- `InsnRV32IUType`: RV32I U-Type Instruction
- `InsnLui`: LUI instruction
- `InsnAuipc`: AUIPC instruction
## Parameters ## Parameters