Skip to content

Pull requests: crytic/slither

New pull request New
55 Open 1,255 Closed
55 Open 1,255 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add assert information for echidna
#2560 opened Sep 18, 2024 by smonicas Loading…
Bump cachix/install-nix-action from V27 to 28 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2559 opened Sep 16, 2024 by dependabot bot Loading…
fixed consistency
#2556 opened Sep 13, 2024 by shushaaniik Loading…
1
Revisit *Calls API
#2555 opened Sep 13, 2024 by smonicas Loading…
Bump pypa/gh-action-pypi-publish from 1.9.0 to 1.10.1 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2551 opened Sep 9, 2024 by dependabot bot Loading…
Add support custom errors in require
#2550 opened Sep 9, 2024 by smonicas Loading…
Add node to CallType
#2547 opened Sep 3, 2024 by smonicas • Draft
2
chore: fix some comments
#2518 opened Jul 28, 2024 by withbest Loading…
1
fix(command line): markdown_root url
#2513 opened Jul 25, 2024 by sambacha Loading…
2
Must depend on Analysis
#2502 opened Jul 3, 2024 by priyankabose • Draft
21
Add instruction in README for how to upgrade slither
#2498 opened Jun 26, 2024 by CJ42 Loading…
3
Improve performances of offsets references.
#2481 opened Jun 11, 2024 by DarkaMaul Loading…
3
Bump super-linter/super-linter from 4.9.2 to 6.6.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#2480 opened Jun 10, 2024 by dependabot bot Loading…
4
Unused-imports bug fix
#2479 opened Jun 10, 2024 by DarkaMaul Loading…
4
WIP: Migrate from argparse to Typer
#2452 opened May 3, 2024 by DarkaMaul • Draft
4 tasks
3
Spot Price detector
#2448 opened Apr 27, 2024 by talfao Loading…
16
Filtering
#2428 opened Apr 17, 2024 by DarkaMaul • Draft
6
Exclude location for printer output
#2427 opened Apr 16, 2024 by DarkaMaul Loading…
3
Rename father/son to predecessor/successor
#2423 opened Apr 12, 2024 by DarkaMaul Loading…
14
Adds a new printer for external calls.
#2420 opened Apr 11, 2024 by DarkaMaul Loading…
8
Use snapshot based tests for printers
#2416 opened Apr 9, 2024 by DarkaMaul Loading…
4 tasks done
4
Printer cheatcode
#2413 opened Apr 8, 2024 by DarkaMaul Loading…
2 tasks
12
Fix #2266
#2412 opened Apr 8, 2024 by DarkaMaul Loading…
5
slither: implement shell completions with shtab
#2317 opened Feb 19, 2024 by elopez • Draft
4
Add detectors for incorrect use of Oracle API
#2289 opened Feb 4, 2024 by talfao Loading…
49
ProTip! no:milestone will show everything without a milestone.