Commit Graph

54 Commits (6420a19c22a08781a7021b522b5e281634daeacc)

Author SHA1 Message Date
Josselin 7ac3ff8fe9 0.6.10 5 years ago
Josselin 18e971ef64 Fix CI (close #402) 5 years ago
Josselin 1b15a401c9 0.6.9 5 years ago
Josselin eaeaae965b Update to crytic-compile 0.1.6 5 years ago
Josselin 7fa8272b6e Add upper and lower bound detection for solc allowed versions. 5 years ago
Josselin 7832ac7a6c Update to crytic-compile b0a1b268e230320dea78c79ee7dd34cced37c0b0 5 years ago
Josselin 3e1f0d0a2f 0.6.8 5 years ago
Josselin 85ea17807d Update README 5 years ago
Josselin b872f70738 Create slither-check-kspec tool 5 years ago
Josselin ff59854e8a slither erc check: 5 years ago
Josselin ee3738cd51 Add slither-erc util. Check for most common ERC conformance 5 years ago
Josselin 60eb2f1c93 0.6.7 5 years ago
Josselin 3151cd0b99 Update crytic-compile dep to 0.1.4 5 years ago
Feist Josselin 2d82c6f0ea
Update setup.py 5 years ago
Josselin 805b341d53 Use crytic-compile#master 5 years ago
Josselin 1450d602bf Minor 5 years ago
Josselin b0a83b7ad4 Add slither-flat (WIP) 5 years ago
Josselin b43d4c9222 v0.6.6 5 years ago
Josselin c417c04bf0 v0.6.5 5 years ago
Josselin 48879668e1 Move .utils to slither.tools to allow use in external tools 5 years ago
Josselin e5175e79a4 Use dependency_links in setup.py 5 years ago
Josselin 8bac6f5d87 Use the master branch from crytic-compile 5 years ago
Josselin eaf1c99ffe Slither-format: 6 years ago
rajeevgopalakrishna f4b679a0f7 Adds slither-format to setup.py. 6 years ago
Josselin 7cadf980b8 v0.6.4 6 years ago
Josselin 29fb9371cd Update to crytic-compile 0.1.1 6 years ago
Josselin dd8dabeb02 v0.6.3 6 years ago
Josselin 0f7b75cea9 Use crytic-compile from pypi 6 years ago
Josselin e013338f81 Use crytic-compile from pip 6 years ago
ggrieco-tob 43fa9c73df first version of slither-simil 6 years ago
Josselin 8b20ba5ab1 0.6.2 6 years ago
Josselin f3d5f0d0e8 Rename slither-check-upgradability -> slither-check-upgradeability 6 years ago
Josselin bffa59f6c5 Rename slither-check-upgradability -> slither-check-upgradeability 6 years ago
Josselin 0891f9a8a5 v0.6.1 6 years ago
Josselin fe8114056d possible_paths.py: create a tool (instead of a adhoc script) 6 years ago
Josselin 7e75f7de11 v0.6.0 6 years ago
Josselin c2ff6585db v0.5.2 6 years ago
Josselin 3c792a51f0 Create a cli command for upgradability: slither-check-upgradability 6 years ago
Josselin 22e3e2fd40 v0.5.1 6 years ago
Josselin 917967399a Add function id printer 6 years ago
Josselin affe95813f v0.5.0 6 years ago
Josselin 8f91c801c0 v0.4.0 6 years ago
Josselin f3b82b4619 v0.3.1 6 years ago
Josselin edb537c236 Version 0.3.0 6 years ago
Josselin 39f560bf97 Version 0.2.0 6 years ago
Josselin 15845cb5e3 Add slither-analyzer to pypi (close #41) 6 years ago
disconnect3d 96e8da1411 Plugin architecture works 6 years ago
disconnect3d ad3f50d911 Rename slither package to slither-sol 6 years ago
disconnect3d 5fb14cadc4 Rename Slither package to slither 6 years ago
disconnect3d cfe8f89c39 Make a slither package 6 years ago