TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
3621 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: 92c06c4f4a
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '92c06c4f4a'
${ noResults }
Commit Graph

3621 Commits (92c06c4f4a0299ed6a374e91aab3a5ef71b71af2)
 

Author SHA1 Message Date
Simone 8135a23704 improve TypeAlias support for echidna
2 years ago
Feist Josselin 9779380b80
Merge pull request #1665 from samalws/echidna-enum
2 years ago
Feist Josselin bd2d572f48 More types
2 years ago
Feist Josselin 060f550b0d Fix more types
2 years ago
Feist Josselin cf1f74c30d Merge branch 'dev-visitors' into dev-more-types
2 years ago
Feist Josselin 561148408e Improve expression visitors
2 years ago
Feist Josselin 79921b3096 More types
2 years ago
Feist Josselin c3ce0a8874 Merge branch 'dev-remove-core-children' into dev-more-types
2 years ago
Feist Josselin 43a27fb09e Black
2 years ago
Feist Josselin 947c18f5c9 Merge branch 'dev-unused-visitors' into dev-more-types
2 years ago
Feist Josselin 8582f9c47b Remove unused visitors
2 years ago
Feist Josselin e8bf225f32 Improvements post merge
2 years ago
Feist Josselin 3f1a415011 Merge branch 'dev-remove-core-children' into dev-more-types
2 years ago
Feist Josselin 94c0211d43 Merge branch 'dev-expression-typed' into dev-more-types
2 years ago
Feist Josselin 10109fc553 Remove core.children
2 years ago
Feist Josselin 9259d53cd9 Remove ExpressionTyped
2 years ago
Feist Josselin efed98327a Add more types
2 years ago
Feist Josselin 371e3cbe47 Add more types hints
2 years ago
Sam Alws 3ad263319a add enums to echidna list of constants
2 years ago
Feist Josselin 20a79519f3
Merge pull request #1624 from crytic/dev-add-types
2 years ago
Feist Josselin 18e094c168 Minor
2 years ago
Feist Josselin abf931289a Minor
2 years ago
Feist Josselin 4e5e1849e4 Fix last 0xalpharush comments
2 years ago
Feist Josselin 486c9ec1a9 Merge branch 'dev' into dev-add-types
2 years ago
Feist Josselin 797735c36c
Merge pull request #1663 from crytic/dev-further-ci-improvements
2 years ago
Feist Josselin d42a74874d Use base ref branch for pylint
2 years ago
Feist Josselin a58fa3df5b Run pylint only on new files
2 years ago
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