Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove echidna integration #99

Merged
merged 5 commits into from Jun 28, 2022
Merged

Remove echidna integration #99

merged 5 commits into from Jun 28, 2022

Conversation

anishnaik
Copy link
Contributor

No description provided.

@anishnaik anishnaik self-assigned this May 27, 2022
@anishnaik anishnaik changed the title Remove echidna features Remove echidna integration May 27, 2022
@anishnaik
Copy link
Contributor Author

supports #95

@anishnaik anishnaik changed the base branch from master to rc-1 June 27, 2022 21:53
@anishnaik anishnaik merged commit 3a7e121 into rc-1 Jun 28, 2022
@anishnaik
Copy link
Contributor Author

  1. Echidna command line arguments were removed.
  2. Constantinople example was removed because it will no longer work
  3. The primary echidna plugin and associated code is kept in just in case we change our mind later

@anishnaik anishnaik deleted the dev-remove-echidna branch June 28, 2022 16:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@anishnaik anishnaik

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@anishnaik