Code

Improve push ir conversion#625

Code

Merged

montyly merged 5 commits intodevcrytic/slither:devfrom bugfix/593crytic/slither:bugfix/593Copy head branch name to clipboardNov 10, 2020

+81-81

Commits

Commits on Sep 21, 2020

• improve push ir conversion

  samczsun

  committed
  84aa0bd

• even more improved push ir parshing

  samczsun

  committed
  d51a6f3

• make pylint and black happy

  samczsun

  committed
  23346cb

Commits on Nov 10, 2020

• Merge branch 'dev' into bugfix/593

  montyly

  committed
  4524bd9

• Merge branch 'dev' into bugfix/593

  montyly

  committed
  649966e