Add PIET to the list of Solidity tools#7541
Add PIET to the list of Solidity tools#7541hellraiserinchief wants to merge 1 commit intoargotorg:developfrom hellraiserinchief:develop
Conversation
docs/resources.rst
Outdated
|
|
||
| * `Universal Mutator <https://github.com/agroce/universalmutator>`_ | ||
| A tool for mutation generation, with configurable rules and support for Solidity and Vyper. | ||
|
|
There was a problem hiding this comment.
Our tests are complaining about trailing whitespace here - can you please check?
|
All checks seem to pass now |
|
Could you please squash it into a single commit? |
|
@hellraiserinchief Could you please rebase? We just fixed the broken MacOS build on Circle which led to the failing test on this PR. |
erak
left a comment
There was a problem hiding this comment.
I'm sorry, but the commits are bit messed up and do appear twice. Did you rebase onto develop? Do you need help with this?
Yeah, help would be welcome, I am new to contributing to OSS |
I have tried combined the commits into a single commit, please have a look and advice. |
|
Sorry, I fear you have to rebase again, the macos version change should be part of a different PR. |
|
As @chriseth already mentioned, this needs to be rebased again, such that the changes to |
erak
left a comment
There was a problem hiding this comment.
@hellraiserinchief Could you also remove the change to .circleci/config.yml? Otherwise this PR looks good!
|
@erak, I will follow your advice and create a new branch to submit a new PR, instead of using the develop branch directly |
Description
Checklist