Code

Update to match master branch#945

Code

Merged

ACassimiro merged 3 commits intobn128-operationsruntimeverification/kontrol:bn128-operationsfrom masterruntimeverification/kontrol:masterCopy head branch name to clipboardJan 24, 2025

+1,709-50

Commits

Commits on Jan 23, 2025

• Implement kevm.forgetBranch cheatcode (#899)

  Show description for 7d496d3
  

  3 peopleauthored
  7d496d3

  Copy full SHA for 7d496d3

• Update dependency: deps/kevm_release (#940)

  Show description for 8cfd6be
  

  rv-jenkins

  and

  devops

  authored
  8cfd6be

  Copy full SHA for 8cfd6be

Commits on Jan 24, 2025

• Build Custom Kontrol Versions using a workflow (#941)

  Show description for 8d7b584
  

  3 peopleauthored
  8d7b584

  Copy full SHA for 8d7b584