Code

Add support for nonpayable contract#20

Code

Merged

montyly merged 12 commits intodevcrytic/evm_cfg_builder:devfrom dev-fix-nonpayable-contractcrytic/evm_cfg_builder:dev-fix-nonpayable-contractCopy head branch name to clipboardJun 3, 2019

+122-49

Commits

Commits on Apr 9, 2019

• Fix incorrect dot generation

  montyly

  committed
  98a38c7

  Copy full SHA for 98a38c7

• CFG:

  Show description for b5208e7
  montyly

  committed
  b5208e7

  Copy full SHA for b5208e7

• Add crytic-compile support

  montyly

  committed
  d92ff39

  Copy full SHA for d92ff39

• Add crytic-compile to travis install

  montyly

  committed
  f47ca58

  Copy full SHA for f47ca58

Commits on Apr 18, 2019

• Update to crytic-compile 4ff24b811095a8d64a16a54e666b59aec2d924da

  montyly

  committed
  c51128e

  Copy full SHA for c51128e

Commits on Apr 22, 2019

• Update to crytic-compile 2eb8c46d324dc0d9188bcd922c1e8fd4194035a0

  montyly

  committed
  edd01b8

  Copy full SHA for edd01b8

• Update to crytic-compile 6e39d46b93eb743316148d8ff80ec1d2a2045616

  montyly

  committed
  ed544d6

  Copy full SHA for ed544d6

• Skip empty bytecode

  montyly

  committed
  176bf8e

  Copy full SHA for 176bf8e

Commits on May 20, 2019

• Improve heuristic in case of non payable contract

  montyly

  committed
  e152bfe

  Copy full SHA for e152bfe

• Use crytic_compile.is_supported function

  montyly

  committed
  a19c327

  Copy full SHA for a19c327

• Add crytic-compile to setup.py

  Show description for f6c7b36
  montyly

  committed
  f6c7b36

  Copy full SHA for f6c7b36

Commits on May 27, 2019

• Merge branch 'dev-crytic-compile' into dev-fix-nonpayable-contract

  montyly

  committed
  a92fe18

  Copy full SHA for a92fe18