Commit Graph

2067 Commits (e44387a9be2ae37e6012b1bcbd073260789ef96c)
 

Author SHA1 Message Date
Josselin 693b2987a3 Improve the support of using_for for libraries functions (fix #589) 4 years ago
Feist Josselin 3daf109e55
Merge pull request #623 from crytic/dev-fix-this-call 4 years ago
Josselin 3e58cfed55 Fix incorrect conversion for this.call() 4 years ago
Feist Josselin c0b2c12465
Merge pull request #604 from crytic/incorrect-solc-fixes 4 years ago
Josselin 690d487166 Update test 4 years ago
Josselin c746e59685 Merge branch 'dev' into incorrect-solc-fixes 4 years ago
Feist Josselin 9f64778a85
Merge pull request #621 from crytic/dev-update-contributor 4 years ago
Josselin 4e086f84d5 Add pylint and black commands to CONTRIBUTING.md 4 years ago
Feist Josselin 604aee86be
Merge pull request #620 from crytic/dev-add-black-to-ci 4 years ago
Josselin cfc98baf7a Run black 20.08b1 4 years ago
Josselin fed26b69b6 Add black to the CI 4 years ago
Feist Josselin 990f5870a2
Merge pull request #616 from crytic/dev-fix-all-pylint 4 years ago
Josselin 03b7c34000 Minor fix 4 years ago
Josselin 1bdafde904 Remove import issue from pylint (see https://github.com/github/super-linter/issues/157) 4 years ago
Josselin 962b7ae10d Run black 4 years ago
Josselin 557d869b17 Fix additional pylint issues 4 years ago
Josselin 70e609ec28 Fix all pylint issues 4 years ago
Feist Josselin 683ebb924d
Try github super linter (#614) 4 years ago
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