Code

Upstream KEVM hook code#115

Code

Merged

ehildenb merged 9 commits intomasterruntimeverification/blockchain-k-plugin:masterfrom upstream_kevm_hooksruntimeverification/blockchain-k-plugin:upstream_kevm_hooksCopy head branch name to clipboardSep 14, 2020

+127-2

Commits

Commits on Sep 14, 2020

• move protobuf files to plugin-c dir

  Show description for e15f5e9
  sskeirik

  committed
  e15f5e9

  Copy full SHA for e15f5e9

• initial import of krypto.md file

  sskeirik

  committed
  52910d9

  Copy full SHA for 52910d9

• krypto.md: update documentation, add hooked hash functions

  sskeirik

  committed
  f6daddf

  Copy full SHA for f6daddf

• krypto.md: add hash funcs that depend on custom libcrypto++

  sskeirik

  committed
  eab8e6f

  Copy full SHA for eab8e6f

• krypto.md: fix syntax error in markdown

  sskeirik

  committed
  3d755b0

  Copy full SHA for 3d755b0

• krypto.md: fix hook names

  sskeirik

  committed
  eef300e

  Copy full SHA for eef300e

• Makefile: add install target to copy K files

  sskeirik

  committed
  d81e760

  Copy full SHA for d81e760

• Makefile: update install target to copy to prefix subdir

  sskeirik

  committed
  82da622

  Copy full SHA for 82da622

• Update Makefile install logic

  Show description for d393510
  

  sskeirik

  and

  ehildenb

  committed
  d393510

  Copy full SHA for d393510