Skip to content

Pull requests: crytic/slither

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Bump actions/checkout from 5 to 6 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2826 opened Dec 2, 2025 by dependabot bot Loading…
Bump actions/download-artifact from 5 to 6 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2825 opened Dec 2, 2025 by dependabot bot Loading…
Bump super-linter/super-linter from 4.9.2 to 8.3.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2824 opened Dec 2, 2025 by dependabot bot Loading…
Update documentation and fix file formatting
#2821 opened Nov 28, 2025 by dguido Loading…
Modernize CI: uv package manager + updated runners
#2820 opened Nov 28, 2025 by dguido Loading…
Replace black/pylint/super-linter with ruff
#2819 opened Nov 28, 2025 by dguido Loading…
Migrate build system to pyproject.toml with hatchling
#2818 opened Nov 28, 2025 by dguido Loading…
Add data flow analysis engine enhancement New feature or request
#2801 opened Sep 19, 2025 by mathcelo Loading…
Modernize linting and configuration setup
#2786 opened Aug 29, 2025 by dguido Loading…
Fix signature of fixed size arrays
#2771 opened Aug 25, 2025 by smonicas Loading…
Mutation cleanup
#2761 opened Aug 5, 2025 by bohendo Loading…
Add TypeAliasTopLevel support to read_storage
#2746 opened Jul 3, 2025 by cabreraam Loading…
Add paths to inheritance printer
#2732 opened Jun 6, 2025 by shargon Loading…
Fix try-catch parsing
#2730 opened Jun 3, 2025 by smonicas Loading…
Fix cases of echidna printer crashing
#2727 opened May 26, 2025 by smonicas Loading…
chore: fix typos
#2723 opened May 19, 2025 by omahs Loading…
#2688 fix markdown linter
#2722 opened May 17, 2025 by nsiregar Loading…
Fix the dependency issue when using SSA variables
#2719 opened May 12, 2025 by IzaiahSun Loading…
fix Update TransparentUpgradeableProxy.sol
#2700 opened Apr 7, 2025 by MonkeyKing44 Loading…
ProTip! Filter pull requests by the default branch with base:master.