Commit Graph

3347 Commits (b78fa7f1a20ad2a69ed068fe8819eb6ec6ca6cfc)
 

Author SHA1 Message Date
webthethird b78fa7f1a2 Unwrap parameters as well 2 years ago
webthethird b0dcc57f03 Add test for interface code generation 2 years ago
webthethird dd1b2a84b9 Add test for interface code generation 2 years ago
webthethird 2c30d46192 Minor formatting 2 years ago
webthethird 1d35316d9b Use `convert_type_for_solidity_signature_to_string` 2 years ago
webthethird 4dfe45742a Update docstring 2 years ago
webthethird 4d8181ee0e Check `contract.functions_entry_points` instead of `function.visibility` 2 years ago
webthethird c536b7c0c8 Merge remote-tracking branch 'crytic/slither/dev' into dev-generate-interface-code 2 years ago
Feist Josselin 096769b8a1
Merge pull request #1743 from crytic/slr-deps 2 years ago
webthethird 631f124d32 Include custom errors in `generate_interface` 2 years ago
alpharush a31282b483 make web3>=6.0.0 a dependency 2 years ago
webthethird 6284e0ac44 Pylint and black 2 years ago
Feist Josselin 979f3070b0
Merge pull request #1753 from crytic/fn-fp-templates 2 years ago
Feist Josselin 5c52921e48
Merge pull request #1744 from crytic/dev-printer-slithir-tl-format 2 years ago
Feist Josselin 137bee1ada
Merge pull request #1749 from crytic/filter-paths-help 2 years ago
webthethird 67ece635f0 Revert unnecessary imports 2 years ago
webthethird c507b3b99f Move code generation to a new util 2 years ago
webthethird 0df2c23eee Include events in `Contract.generate_interface` 2 years ago
webthethird 5a25c81a52 Locally import Contract to resolve pylint 2 years ago
alpharush 4a69025afb
Update .github/ISSUE_TEMPLATE/false_negative.yml 2 years ago
alpharush 517d36e315 add issue template for false neg. and positive 2 years ago
alpharush f67c96b827
update filter-paths help 2 years ago
Simone 6236e54b3e Improve top level functions format 2 years ago
Feist Josselin cb376503b7
Merge pull request #1734 from crytic/dev-contract-comment 2 years ago
Feist Josselin 6ff17742da
Merge pull request #1724 from sidarth16/patch-4 2 years ago
Feist Josselin 462da768be
Merge pull request #1722 from sidarth16/patch-3 2 years ago
alpharush d9fda0b85c make dev install read-storage deps 2 years ago
alpharush 3861029145 inspect whether package is installed 2 years ago
alpharush 12682c3094 make slither-read-storage dependencies explicit 2 years ago
Feist Josselin 7aba140c3d Test with legacy AST too 2 years ago
Feist Josselin 829f7eb169
Merge pull request #1741 from crytic/fix-1625 2 years ago
Feist Josselin 295d128478
Merge pull request #1731 from crytic/restrict-variable-scope 2 years ago
alpharush 20ca59946d lint 2 years ago
Feist Josselin 2f155e764e Improve tests from 1625 2 years ago
Feist Josselin fc47bf234a
Merge pull request #1643 from crytic/revert-1082-ignored-findings 2 years ago
Feist Josselin af39ca940c
Merge pull request #1625 from crytic/using-for-global-lib-collision 2 years ago
Feist Josselin 6b1b4eda19
Merge pull request #1690 from crytic/dev-echidna-usertype 2 years ago
Feist Josselin ae5af4ee00 Print warning 2 years ago
Feist Josselin 76f86a1b34 Merge branch 'dev' into revert-1082-ignored-findings 2 years ago
Feist Josselin d4a7254f26
Merge pull request #1510 from crytic/local-shadowing-return-vars 2 years ago
Feist Josselin 8c58abe6ad Fix linters 2 years ago
Feist Josselin 528e2d2629 Merge branch 'dev' into dev-echidna-usertype 2 years ago
Feist Josselin ef2b707675 Merge branch 'master' into HEAD 2 years ago
Feist Josselin e11ae90fb1
Merge pull request #1691 from crytic/low-level-call-conversion-fix 2 years ago
Feist Josselin 2d6c4ee00b
Merge pull request #1740 from crytic/fix-stdout-capture 2 years ago
Feist Josselin 99cb0fb128
Merge pull request #1739 from crytic/dev 2 years ago
alpharush 5498e1b609
fix stdout capture 2 years ago
S.Sidarth 660ccb9751
rename to unregister_printer() 2 years ago
S.Sidarth 9b69da1cc8
isinstance() 2 years ago
S.Sidarth 275be58a55
isinstance() 2 years ago