Code

chore: cleanup tasks for core#789

Code

Closed

kevjue wants to merge 21 commits intodevsuccinctlabs/sp1:devfrom kevjue/core_cleanupsuccinctlabs/sp1:kevjue/core_cleanupCopy head branch name to clipboard

+374-97

Commits

Commits on May 22, 2024

• cleanup

  kevjue

  committed
  3fb0b25

• cleanup of is_sequential_instr

  kevjue

  committed
  f359a84

• cleaned up lw and sw offset 0

  kevjue

  committed
  8eb80c1

Commits on May 23, 2024

• bool checks

  kevjue

  committed
  6f7d4e6

• addressed todo and added bool check

  kevjue

  committed
  b49ab24

• some poseidon changes

  kevjue

  committed
  b5792d4

• some fixes

  kevjue

  committed
  bbd6af2

• added a comment

  kevjue

  committed
  0861592

• Merge branch 'dev' into kevjue/core_cleanup

  kevjue

  authored
  34b413e

• added some bool checks

  kevjue

  committed
  a12f3e0

• send_syscall mult

  kevjue

  committed
  109cfe5

• fix

  kevjue

  committed
  9e84f27

• memory stuff

  kevjue

  committed
  331cdbe

Commits on May 24, 2024

• some jump changes

  kevjue

  committed
  ca222ee

• BNEINC fix

  kevjue

  committed
  7f88757

Commits on May 26, 2024

• addressed allen's comment

  kevjue

  committed
  f1ffbcc

• Merge branch 'dev' into kevjue/core_cleanup

  kevjue

  committed
  d9e2879

• remove unneeded constraint

  kevjue

  committed
  2eabf18

Commits on May 27, 2024

• check addr_aligned % 4

  kevjue

  committed
  29d7a70

• range check word form of pc, next_pc

  kevjue

  committed
  3a09f6c

Commits on May 28, 2024

• poseidon2 fixes

  kevjue

  committed
  16f9955