Code

Feat: Implement JAL opcode#305

Code

Merged

kunxian-xia merged 16 commits intomasterscroll-tech/ceno:masterfrom feat/jal-opcodescroll-tech/ceno:feat/jal-opcodeCopy head branch name to clipboardOct 11, 2024

+258-8

Commits

Commits on Oct 4, 2024

• Initial implementation of J-type instructions and JAL opcode

  Show description for f8f76ce
  

  Bryan Gillespie

  committed
  f8f76ce

Commits on Oct 5, 2024

• Small fixes to JAL and J-type instructions, add mock prover test

  

  Bryan Gillespie

  committed
  b9c3462

• Add test file forgotten in previous commit

  

  Bryan Gillespie

  committed
  6328196

• Update names and structure of JAL circuit type definitions

  

  Bryan Gillespie

  committed
  3e1bdbd

• Incorporate JAL opcode into riscv_opcodes example program

  

  Bryan Gillespie

  committed
  1ab9496

• Fix comment in J-type instruction circuit

  

  Bryan Gillespie

  committed
  e785ebf

Commits on Oct 8, 2024

• Switch JAL pc representation to UInt

  Show description for 0bbffb8
  

  Bryan Gillespie

  committed
  0bbffb8

• Remove errant println statements from two opcode tests

  

  Bryan Gillespie

  committed
  2f338d1

Commits on Oct 9, 2024

• Merge branch 'master' into feat/jal-opcode

  

  Bryan Gillespie

  committed
  d9ba48c

Commits on Oct 10, 2024

• Revise JAL circuit gadget to use native WitIns for pc arithmetic

  

  Bryan Gillespie

  committed
  12555fc

• Small fix in riscv_opcodes.rs example program prover

  

  Bryan Gillespie

  committed
  b8209a6

• Merge branch 'master' into feat/jal-opcode

  

  Bryan Gillespie

  committed
  d2750ec

• Refactor JAL immediate into J-type instruction gadget

  

  Bryan Gillespie

  committed
  d4734c7

Commits on Oct 11, 2024

• Merge branch 'master' into feat/jal-opcode

  kunxian-xia

  authored
  639e7c6

• Wire JAL pc and next_pc directly into instruction table lookup

  Show description for 0e5d14b
  

  Bryan Gillespie

  committed
  0e5d14b

• Merge remote-tracking branch 'origin/feat/jal-opcode' into feat/jal-opcode

  

  Bryan Gillespie

  committed
  928f40a