Commit Graph

2799 Commits (e7e411ba0edaa342ad2dbc6618ed96ad6e78c309)
 

Author SHA1 Message Date
Feist Josselin fb5b4e9d51
Merge pull request #612 from crytic/dev-black 4 years ago
Josselin 023b332690 Add pyproject.toml 4 years ago
Josselin 3f706061e4 Run Black 4 years ago
Josselin 88954ac6d9 Run black 4 years ago
Feist Josselin d2655802d9
Merge pull request #610 from crytic/dev-refactor-tests 4 years ago
Josselin e77ec257c4 load bashrc in workflow 4 years ago
Josselin 93eb08e1ba Update solc-select installation 4 years ago
Josselin 351de6bd31 Refactor regression tests: 4 years ago
Josselin 2452037f8e Merge branch 'laudiacay-fix-exponent-dos' into dev 4 years ago
Josselin fbccffc745 Improve exponent handling on large value 4 years ago
Claudia Richoux 66b98dafea fixing 587 while im at it 4 years ago
Claudia Richoux d06c397a5c fixing it and supporting base of zero 4 years ago
Claudia Richoux 246a4baa0e fixing exponent dos by adding limits on size of exponent 4 years ago
Feist Josselin eb9c01cc27
Merge pull request #605 from crytic/typos 4 years ago
Evan Sultanik 8a36f83a06 Removes the pragma mapping and adds a TODO for implementing this the right way 4 years ago
Samuel E. Moelius III 031465bb34 "slither-erc" -> "slither-check-erc" 4 years ago
Evan Sultanik 4bca161bce Include associated pragmas as source mapping elements for old versions of solc 4 years ago
Evan Sultanik fd085c3e6c More typo fixes 4 years ago
Evan Sultanik cc4b2ed319 Fixes a typo 4 years ago
Feist Josselin 573fa9629b
Merge pull request #601 from crytic/dev-support-return-func-pointer 4 years ago
Feist Josselin f979ea80a1
Merge pull request #600 from crytic/dev-add-support-for-this-function 4 years ago
Josselin 8871dd7e0f IR: Add support for function pointer in RETURN operator (fix #590) 4 years ago
Feist Josselin c6e04896a3
Merge pull request #599 from crytic/dev-rec-limit 4 years ago
Josselin de53bc53ff Add type propgation for this.function usage (fix #592) 4 years ago
Josselin b022b39da0 Increase default stack depth limit 4 years ago
Feist Josselin 8133041d91
Merge pull request #598 from crytic/dev-abidecode 4 years ago
Josselin ee1d9ce85b Improve abi-decode support 4 years ago
Feist Josselin 4793cb1393
Merge pull request #577 from crytic/dev-update-solc-versions 4 years ago
Feist Josselin 2d615314fd
Update travis_test_etherlime.sh 4 years ago
Josselin 8f5658042d solc-version: update embark test 4 years ago
Josselin 0caada35dc solc-version: minor 4 years ago
Josselin ff0d820da6 solc-version: 4 years ago
Josselin 799fe16c21 Update solc-version recommended versions (fix #570) 4 years ago
Feist Josselin 1ebf43ce72
Merge pull request #576 from crytic/dev-fix-structure-to-list-conversion 4 years ago
Josselin 5af174946a Fix incorrect types to list conversion 4 years ago
Feist Josselin b9e0e0f7d9
Merge pull request #575 from crytic/bugfix/yul-state-variable 4 years ago
samczsun 0f68331a41 resolve state variables properly 4 years ago
Feist Josselin 18a9843ec5
Merge pull request #573 from crytic/dev-solc-version-set 4 years ago
Josselin 66e08ea195 Fix incorrect solc version for json-only 4 years ago
Feist Josselin 6845a9c43b
Merge pull request #572 from crytic/dev-copy-editing 4 years ago
Josselin cd592e2923 Copy editing on all public detectors 4 years ago
Feist Josselin f90eb65104
Merge pull request #569 from crytic/dev-type 4 years ago
Josselin c70f202138 Improve support for type() (fix #547) 4 years ago
Feist Josselin 97b775ed72
Merge pull request #567 from crytic/dev-abi-decode-complex-types 4 years ago
Josselin d791d105ec Add temporary support for abi.decode on complex type (temporary solution 4 years ago
Feist Josselin 6aab6bd951
Merge pull request #565 from crytic/dev-constant-total-ordering 4 years ago
Josselin bfaaf742f0 Add ending line to variables/constant.py 4 years ago
Josselin de7b81fee4 Add total ordering to Constant 4 years ago
Feist Josselin b742d222d0
Merge pull request #564 from crytic/dev-fix-tuple-index 4 years ago
Josselin 37d2967e9d Improve test on tuple_index existence 4 years ago