Commit Graph

3444 Commits (a50588092e75833db614dea03b23e430f5f35983)
 

Author SHA1 Message Date
Feist Josselin af9bde06a2 Rename doctor 2 years ago
Feist Josselin 8aa6c2b15f Further CI improvements 2 years ago
Feist Josselin 8b6ac75905 Improve types in detectors 2 years ago
Feist Josselin 83d4d5030f Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin 9bd166fe43
Merge pull request #1662 from crytic/dev-ci-minor-improvements 2 years ago
Feist Josselin 90efe7adc1
Merge pull request #1660 from crytic/bart1e-detector_for_cc 2 years ago
Feist Josselin 209a07cd96 Improvements to GH actions 2 years ago
Feist Josselin 485bae9267
Merge pull request #1661 from crytic/dev-cancel-action-on-commit 2 years ago
Feist Josselin b7ecc01c45 Cancel action on new commits 2 years ago
Feist Josselin b0f904564b Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin d0c0a17823 Minor improvements 2 years ago
Feist Josselin 24df353955 Merge branch 'detector_for_cc' of github.com:bart1e/slither into bart1e-detector_for_cc 2 years ago
Feist Josselin 1d52aeaf5c
Merge pull request #1535 from webthethird/slither/dev-upgradeability-complex-datatype 2 years ago
Feist Josselin 82f761ca32 Remove unused import 2 years ago
alpharush 8bb4ffac62 move assertion to proper branch 2 years ago
Feist Josselin 28af1627ee Merge branch 'dev' into dev-add-types 2 years ago
Feist Josselin fa2889d26d
Merge pull request #1641 from crytic/divide-before-multiply-todo 2 years ago
Feist Josselin 023464e37b
Merge pull request #1638 from crytic/add-path-to-lint 2 years ago
Feist Josselin c2cb22d3ed
Merge pull request #1639 from crytic/no-warn-immut-string 2 years ago
Feist Josselin 9997808a6d
Merge pull request #1611 from crytic/dev-yul-constant-variable 2 years ago
Feist Josselin 04a6b0f8d6
Merge pull request #1604 from bart1e/missing_references_fix 2 years ago
Feist Josselin c8c7566841 Merge remote-tracking branch 'origin/dev-add-types' into HEAD 2 years ago
Feist Josselin 6a3435f479
Merge pull request #1637 from crytic/parallelize-tests 2 years ago
Feist Josselin 80528995b1
Merge pull request #1650 from crytic/ternary-func-arg 2 years ago
Feist Josselin f7e087d865
Merge pull request #1640 from crytic/dev-types-2 2 years ago
Feist Josselin 8548bed8e7
Merge pull request #1636 from crytic/simplify-enums 2 years ago
Feist Josselin 3383e39823
Merge pull request #1656 from crytic/gh-pages-2 2 years ago
Feist Josselin edc7804ffe Update lint rules 2 years ago
alpharush 8f7b3e0b99 black format 2 years ago
alpharush 63b419954c use static action 2 years ago
alpharush e65bab926c add pdoc to dev dependencies 2 years ago
alpharush 5136af6bb4 remove auto-generated docs 2 years ago
alpharush ead539792d add github pages docs 2 years ago
Feist Josselin 977d7bfeab
Create static.yml 2 years ago
Feist Josselin 540985d4bb
Merge pull request #1601 from crytic/dev-api-improvements 2 years ago
Feist Josselin 6b9fac361f
Merge pull request #1600 from crytic/dev-codex-improvements 2 years ago
alpharush 8475083800
fix 2 years ago
alpharush 9361a7bc8d
use dynamic property 2 years ago
alpharush 3bf8bfb61b fix ternary in nested expr with index access 2 years ago
Feist Josselin d1f17f94bf
Merge pull request #1623 from crytic/slither-doctor-issue-template 2 years ago
alpharush 47ce2733fc
Revert "show ignored findings by default for checklist" 2 years ago
bart1e 5b09336a3f Tests added 2 years ago
bart1e 63bd0dc1fb Unused imports removed 2 years ago
bart1e 1c81171d5a References of user defined aliases updated + references added when casting to user defined types 2 years ago
alpharush 4e8066c711
consider constants in divide-before-multiply 2 years ago
alpharush d6af2ea1f1
fix tuple 2 years ago
alpharush ce8e502b86 more types 2 years ago
alpharush 21a0ba882e do not consider string types as immut cand. 2 years ago
alpharush 0b20aca729 fix compilation unit missing in source API 2 years ago
alpharush 4e04eb5f80
remove as tests aren't thread safe 2 years ago