Commit Graph

1404 Commits (f81ff8f196b40ac4655d1c260990dda46d3987d3)
 

Author SHA1 Message Date
Josselin f81ff8f196 Check upgradeability: fix typo in unit test 5 years ago
Josselin 7ed597baf6 Merge branch 'dev' into dev-slither-check-upgradability-json 5 years ago
Feist Josselin c8fb67f2a6
Merge pull request #351 from crytic/dev-fix-node-version 5 years ago
Josselin 5c793c75ba Use node 10.17.0 for embark and etherlime 5 years ago
Josselin 6f2c8e713f Upgradeability check: 5 years ago
rajeevgopalakrishna eb580f1ad9 Adds upgradeability-check key to the results JSON format. 5 years ago
rajeevgopalakrishna e98a6dd8c7 Adds SlitherException instead of tracking error in dict. 5 years ago
rajeevgopalakrishna 1af9e02716 Adds SlitherException instead of tracking error in dict. 5 years ago
rajeevgopalakrishna 0907fb5006 Completes first iteration of adding json txt log support. 5 years ago
rajeevgopalakrishna 10b2da948f Adds json command-line option and code similar to Slither json handling. 5 years ago
rajeevgopalakrishna 7b3a307cd2 Starts adding json formatting of results. 5 years ago
Josselin 60eb2f1c93 0.6.7 5 years ago
Josselin 010c159242 Update documentation 5 years ago
Josselin 3151cd0b99 Update crytic-compile dep to 0.1.4 5 years ago
Feist Josselin 7a89fc5cef
Merge pull request #340 from crytic/dev-fix-c3 5 years ago
Josselin c723e28980 Add function.shadows property 5 years ago
Feist Josselin 07ea324a1a
Merge pull request #321 from crytic/dev-echidna 5 years ago
Feist Josselin 2a66f5786e
Merge pull request #328 from crytic/dev-flattening 5 years ago
Josselin 2658a6b58d Merge branch 'dev' into dev-flattening 5 years ago
Josselin 0d0a77a740 Add node_initalization to state variable 5 years ago
Josselin 9db6f4396e Fix incorrect flattening 5 years ago
Feist Josselin 5992ba1dea
Merge pull request #238 from crytic/dev-slither-format-tool-only-new 5 years ago
Josselin b9ec9b1e8d Remove unused visitor 5 years ago
Feist Josselin 2d82c6f0ea
Update setup.py 5 years ago
Josselin f916ee544d Clean slither-format directory 5 years ago
Josselin f4e2505c07 slither-flat: Add support for --contract 5 years ago
Josselin 6df3274852 Merge branch 'dev' into dev-echidna 5 years ago
Josselin 0c264374cf Merge branch 'dev' into dev-flattening 5 years ago
Josselin 1774c66eb6 Merge branch 'dev' into dev-slither-format-tool-only-new 5 years ago
Feist Josselin 1ed272b372
Merge pull request #334 from crytic/dev-external-functions 5 years ago
Josselin 28b7bb35ef Update dapp test 5 years ago
Josselin 9602f7e0ef Merge branch 'dev' into dev-slither-format-tool-only-new 5 years ago
Josselin 704ca81a0b Merge branch 'dev' into dev-external-functions 5 years ago
Feist Josselin be6fd2d20f
Merge pull request #339 from crytic/dev-dapp-speedup 5 years ago
Josselin 30e8e88a3c Use cache to speed up dapp travis test 5 years ago
Josselin 256fb1ec0b Update etherscan test 5 years ago
Josselin ca2f271dd5 Merge branch 'dev' into dev-external-functions 5 years ago
Feist Josselin 6fd8d76d71
Merge pull request #338 from crytic/dev-fix-unused-states 5 years ago
Josselin 0c91571295 Fix unused state: #333 lead to miss some results 5 years ago
Josselin 1dc5f496b6 Refactor formatter dir achitecture: 5 years ago
Josselin fe6dac61b5 Merge branch 'dev' into dev-slither-format-tool-only-new 5 years ago
Josselin 59691a8fdb Merge branch 'master' into dev 5 years ago
Josselin 805b341d53 Use crytic-compile#master 5 years ago
Josselin 790d4edbf0 Naming convetion formatter: improve function comparison 5 years ago
Josselin a2cdc67c28 Add missing set_expression 5 years ago
Josselin b38ce905bd Generate correct patch if 'var ' is used 5 years ago
Josselin a1b4c31d91 Create one directory per result (might contain multiple patches) 5 years ago
Feist Josselin 6a7c9a1709
Merge pull request #333 from crytic/dev-constructorconstantvariable 5 years ago
Josselin c679a2a4e4 Use signture to get function + improve naming convention to use canonical name comparison 5 years ago
Josselin 9d7870ac83 Minor 5 years ago