Commit Graph

3520 Commits (a4e953edbcfa83abfe35ce20856194f386edba6d)
 

Author SHA1 Message Date
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
Feist Josselin fcf93679ac
Merge pull request #1577 from crytic/dev-convert_type_of_high_and_internal_level_call 2 years ago
alpharush 4206739517 add test case 2 years ago
alpharush c2a397e307
Merge branch 'dev' into top-level-type-aliases 2 years ago
alpharush 3646ea4bb8 add tests 2 years ago
Feist Josselin b8ff0b0436
Merge pull request #1574 from crytic/contract-error-selector 2 years ago
Feist Josselin 20206a86aa Improve convert_type_of_high_and_internal_level_call 2 years ago
Feist Josselin 2cb498513e Add type to type_alias 2 years ago
Feist Josselin 33c1fd2c8f Add files 2 years ago
Feist Josselin 4ed2a6adf9 Improve lookup for state variables 2 years ago
Feist Josselin 1c63aa1607
Merge pull request #1573 from crytic/type-alias-using-for 2 years ago
alpharush e21d6eb17b add ast test 2 years ago
alpharush cf7c62bad1 add changes 2 years ago
alpharush b189951617 resolve error referenced as member of contract 2 years ago
alpharush 7569131faa fix type conversion of alias so library function can be found 2 years ago
Feist Josselin 53238600a1
Merge pull request #1571 from crytic/dev-add-no-fail 2 years ago
Feist Josselin fac905bdc5 Merge branch 'dev' into dev-add-no-fail 2 years ago
Feist Josselin aee2a786e3
Merge pull request #1559 from crytic/dev-fix-yul-parsing 2 years ago
Feist Josselin 45c5ed99f5
Merge pull request #1455 from crytic/detect/add-immutable-opti 2 years ago
Feist Josselin 2e4167947a
Merge pull request #1508 from crytic/binary-constant-folding 2 years ago
Feist Josselin b0b1c6aa77
Merge pull request #1569 from crytic/codeowner 2 years ago
Feist Josselin 811dd78b48
Update literal.py 2 years ago
Feist Josselin c5299d6bc8
Update CODEOWNERS 2 years ago
Feist Josselin 22635452e3
Update CODEOWNERS 2 years ago
Feist Josselin 0fd24c04f2
Merge pull request #1550 from crytic/dev-doctor-paths 2 years ago
Feist Josselin 17d3e8f470 Merge branch 'dev' into dev-fix-yul-parsing 2 years ago
Feist Josselin cee26bcccb Merge branch 'dev' of github.com:crytic/slither into dev 2 years ago
Feist Josselin a6ca165016
Merge pull request #1546 from Pavan-Nambi/dev-ci 2 years ago
Feist Josselin e492b295da
Merge pull request #1547 from crytic/handle-malformed-alias 2 years ago
Feist Josselin 5c375a819a
Merge pull request #1564 from crytic/dev-fix-docker-build 2 years ago
Feist Josselin 36bad7c23a
Merge pull request #1494 from crytic/dev-doc 2 years ago