-
Notifications
You must be signed in to change notification settings - Fork 42
Pull requests: crytic/properties
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
chore: add SPDX license identifiers for files missing them
#59
opened Aug 1, 2024 by
0xteddybear
Loading…
ERC-20 transferFrom greater than allowance not allowed
#41
opened Aug 29, 2023 by
broccolirob
Loading…
fix: #13 add_test_range & sub_test_range false negatives
#14
opened Mar 15, 2023 by
beber89
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.