Code

feat: merge#112

Code

Merged

ratankaliani merged 16 commits intoratan/update-revmsuccinctlabs/op-succinct:ratan/update-revmfrom ratan/debug-failed-proofssuccinctlabs/op-succinct:ratan/debug-failed-proofsCopy head branch name to clipboardSep 6, 2024

+265-170

Commits

Commits on Sep 5, 2024

• debug failed proofs

  ratankaliani

  committed
  06e901b

• got compilation, working, still issues

  ratankaliani

  committed
  580a9ea

• wip

  ratankaliani

  committed
  83ef772

• wip

  ratankaliani

  committed
  b348555

Commits on Sep 6, 2024

• wip

  ratankaliani

  committed
  da66235

• added, wip

  ratankaliani

  committed
  4c6bdd3

• add

  ratankaliani

  committed
  29af7a8

• merge

  ratankaliani

  committed
  8e8ef0d

• push

  

  Ubuntu

  committed
  0237126

• works

  ratankaliani

  committed
  8c7a366

• add

  ratankaliani

  committed
  4a62890

• merge

  ratankaliani

  committed
  15615d9

• add

  ratankaliani

  committed
  afc01c0

• fixes

  ratankaliani

  committed
  d8a3490

• add

  ratankaliani

  committed
  3979d5d

• add

  ratankaliani

  committed
  4b52e6f