Code

Remove manticore integration#81

Code

Merged

anishnaik merged 10 commits intorc-1crytic/etheno:rc-1from dev-remove-manticorecrytic/etheno:dev-remove-manticoreCopy head branch name to clipboardJun 27, 2022

+60-769

Commits

Commits on Sep 3, 2021

• first step to remove manticore and avoid any logger issues

  ggrieco-tob

  committed
  dcc15e5

  Copy full SHA for dcc15e5

• more stuff removed

  ggrieco-tob

  committed
  7828352

  Copy full SHA for 7828352

Commits on May 27, 2022

• Merge branch 'master' into dev-remove-manticore

  anishnaik

  authored
  34770e6

  Copy full SHA for 34770e6

• removed manticore-based if statement in main.py

  anishnaik

  committed
  c41574f

  Copy full SHA for c41574f

• fix if statement bc master_client is also technically a client

  anishnaik

  committed
  7ebf117

  Copy full SHA for 7ebf117

• added small todo

  anishnaik

  committed
  8cf9e8a

  Copy full SHA for 8cf9e8a

Commits on Jun 17, 2022

• Add a pip-audit workflow

  woodruffw

  authored
  6fb7cca

  Copy full SHA for 6fb7cca

Commits on Jun 27, 2022

• final removal of manticore references

  anishnaik

  committed
  9d69e66

  Copy full SHA for 9d69e66

• Merge pull request #102 from crytic/woodruffw-patch-1

  Show description for 4cc9880
  anishnaik

  authored
  4cc9880

  Copy full SHA for 4cc9880

• Merge branch 'master' of github.com:crytic/etheno into dev-remove-manticore

  anishnaik

  committed
  e1f7d36

  Copy full SHA for e1f7d36