Code

Implement MUL* instructions#60

Code

Merged

automergerpr-permission-manager[bot] merged 10 commits intomasterruntimeverification/riscv-semantics:masterfrom

mul-instrruntimeverification/riscv-semantics:mul-instrCopy head branch name to clipboard

Mar 26, 2025

Commits

Commits on Mar 11, 2025

• Add disassembler support for the M extension

  tothtamas28

  committed
  86e38b4

  Copy full SHA for 86e38b4

Commits on Mar 12, 2025

• Implement `MUL`

  tothtamas28

  committed
  8350953

  Copy full SHA for 8350953

• Implement `MULH`, `MULHU`, `MULHSU`

  tothtamas28

  committed
  94dce1d

  Copy full SHA for 94dce1d

• Set Version: 0.1.49

  rv-auditor

  committed
  5f86a19

  Copy full SHA for 5f86a19

Commits on Mar 25, 2025

• Merge branch 'master' into mul-instr

  tothtamas28

  authored
  968e653

  Copy full SHA for 968e653

• Set Version: 0.1.50

  rv-auditor

  committed
  6a648b3

  Copy full SHA for 6a648b3

Commits on Mar 26, 2025

• Merge branch 'master' into mul-instr

  automergerpr-permission-manager[bot]

  authored
  c21f3c0

  Copy full SHA for c21f3c0

• Set Version: 0.1.51

  rv-auditor

  committed
  d9a1519

  Copy full SHA for d9a1519

• Merge branch 'master' into mul-instr

  automergerpr-permission-manager[bot]

  authored
  f5e9684

  Copy full SHA for f5e9684

• Set Version: 0.1.52

  rv-auditor

  committed
  1f042bf

  Copy full SHA for 1f042bf