Code

Make kevm-dist extensible#2114

Code

Merged

rv-jenkins merged 8 commits intomasterruntimeverification/evm-semantics:masterfrom refactor-kevm-distruntimeverification/evm-semantics:refactor-kevm-distCopy head branch name to clipboardOct 18, 2023

+449-377

Commits

Commits on Oct 13, 2023

• Extract class Target and KEVMTarget

  tothtamas28

  committed
  81e2ede

  Copy full SHA for 81e2ede

• Use Target for building

  tothtamas28

  committed
  3aba3ea

  Copy full SHA for 3aba3ea

• Separate CLI, framework and targets

  tothtamas28

  committed
  2d4236d

  Copy full SHA for 2d4236d

Commits on Oct 16, 2023

• Load targets from plugins

  tothtamas28

  committed
  c5d61ea

  Copy full SHA for c5d61ea

• Fix error message

  tothtamas28

  committed
  1f5ae97

  Copy full SHA for 1f5ae97

• Rename plugin group

  tothtamas28

  committed
  7b6de14

  Copy full SHA for 7b6de14

• Write directly to output_dir

  tothtamas28

  committed
  83b339d

  Copy full SHA for 83b339d

• Set Version: 1.0.317

  

  devops

  committed
  6a76e05

  Copy full SHA for 6a76e05