crytic / slither

2 Pull requests opened by 2 people

• Simplify Contract code

  #678 opened Nov 4, 2020

• Fix github super linter

  #680 opened Nov 9, 2020

1 Issue closed by 1 person

• Community call - Walkthrough Slither's codebase

  #677 closed Nov 5, 2020

1 Issue opened by 1 person

• map slither to solidity

  #679 opened Nov 9, 2020

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Add support for type(X).min/max

  #673 commented on Nov 9, 2020 • 2 new comments

• 0.6.14 checklist

  #676 commented on Nov 6, 2020 • 0 new comments