Code

Abstract contract property#1679

Code

Merged

montyly merged 7 commits intodevcrytic/slither:devfrom abstract-contractcrytic/slither:abstract-contractCopy head branch name to clipboardMar 17, 2023

+37

Commits

Commits on Mar 13, 2023

• add abstract contract property

  

  bsamuels453

  authored and

  0xalpharush

  committed
  fc20b43

  Copy full SHA for fc20b43

• change prop name to is_fully_implemented

  

  bsamuels453

  authored and

  0xalpharush

  committed
  94b42ee

  Copy full SHA for 94b42ee

• Add tests

  

  montyly

  authored and

  0xalpharush

  committed
  c08cbee

  Copy full SHA for c08cbee

• fmt

  0xalpharush

  committed
  5a37d30

  Copy full SHA for 5a37d30

• fix merge mistake

  0xalpharush

  committed
  dc28a1e

  Copy full SHA for dc28a1e

• select solc version for test_ternary_conversions

  0xalpharush

  committed
  9e79ec6

  Copy full SHA for 9e79ec6

• add import

  0xalpharush

  committed
  ba6ef45

  Copy full SHA for ba6ef45