Commit Graph

3300 Commits (3861029145cf2b947f4918e8d6ba233b9ed3555a)
 

Author SHA1 Message Date
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 4e04eb5f80
remove as tests aren't thread safe 2 years ago
alpharush 537f11cf88 only run python linters when .py changed 2 years ago
alpharush 6b50684d61 use enum value 2 years ago
alpharush 00586142e3 run tests in parallel 2 years ago
alpharush fb964e7af7 use enum strings instead of impl. __str__ 2 years ago
Feist Josselin 38a46fa0b4 Fix pylint/black 2 years ago
Feist Josselin f16d0989ef More types 2 years ago
Feist Josselin 2caf510909
Merge pull request #1530 from bart1e/no_uppercase_for_public_vars 2 years ago
Feist Josselin b9ad502d82 Types improvements 2 years ago
Feist Josselin 8eec95be2a Types improvements 2 years ago
Feist Josselin faba84efc1 Black + pylint 2 years ago
Feist Josselin d4e2f3681c Monkeytype 2 years ago
Feist Josselin b57be52818 Add more types hints 2 years ago
alpharush 7466f89af6 move to discussions 2 years ago
alpharush 28b5bcd189 quotes, unique ids 2 years ago
alpharush 71f406465e add more info 2 years ago
alpharush e415501ce0 add issue template for trouble with installation 2 years ago
bart1e bb556ba4da Fix for 'Type not subscriptable' issue 2 years ago
bart1e a1f85c33d8 Requested changes added 2 years ago
bart1e a87c3bc2a2 High cyclomatic complexity detector added 2 years ago
Feist Josselin b6d6294148
Merge pull request #1617 from bart1e/strongly_connected_components_fix 2 years ago
Feist Josselin 818c4851f7
Merge pull request #1599 from CodeSandwich/patch-1 2 years ago
Feist Josselin e02b1f239d
Merge pull request #1603 from crytic/dev-fix-readme-badge 2 years ago
Feist Josselin 676901ad2f Black on test file 2 years ago
bart1e 9d510eccef Strongly connected components algorithm fix + cyclomatic complexity algorithm fix 2 years ago
Feist Josselin fb3c863dc8 Fix support for constant variable lookup in yul 2 years ago
Emilio López 60fd088f30
Fix CI badge in README.md 2 years ago
bart1e 339d6619d8 test_detectors updated 2 years ago
bart1e df912bea5a Old tests removed 2 years ago
bart1e 1af71e695b Tests fixed 2 years ago
Feist Josselin ea8d232f09 Minor API improvements 2 years ago
Feist Josselin 2102725241 Minor codex improvements 2 years ago
Igor Żuk a5f0485fd1
Clarify no need solc on supported platforms 2 years ago
Igor Żuk 2a5f05a626
Clarify requirement of installing solc 2 years ago
bart1e d400d19ffd Tests added 2 years ago
bart1e 62902d74b4 'No uppercase' warning for public vars removed 2 years ago
Feist Josselin 4c976d5af5 0.9.2 2 years ago
Feist Josselin da9736b28f
Merge pull request #1586 from crytic/dev 2 years ago
Feist Josselin 9642d02036
Merge pull request #1584 from crytic/README 2 years ago
Feist Josselin 7c3d8de101 Update README 2 years ago
Feist Josselin e7cbfa97e0 Use crytic-compile@master 2 years ago
Feist Josselin ac4742ff8d
Merge pull request #1576 from crytic/dev-improve-type-alias 2 years ago
Feist Josselin cacfefd1e6
Merge pull request #1579 from crytic/top-level-type-aliases 2 years ago
webthethird 19b3af3449 Merge remote-tracking branch 'crytic/slither/dev' into slither/dev-upgradeability-complex-datatype 2 years ago
Feist Josselin b8ee31421c
Merge pull request #1575 from crytic/dev-private-variable 2 years ago