Commit Graph

204 Commits (e3dcf1ecd3e9de60da046de471c5663ab637993a)

Author SHA1 Message Date
Feist Josselin c04e860db3
Update README.md (#2177) 1 year ago
Feist Josselin 00f189f2c7 improve markdown 1 year ago
Feist Josselin 2e8e646cda Update readme 1 year ago
alpharush e5f2a86f09
0.9.6 (#2031) 1 year ago
sam bacha f3be9efad6
docs(readme): add new docs link (#2010) 1 year ago
alpharush 273cca4167
fix logo on pypi (#1999) 1 year ago
alpharush b6d1de43ca fix bullet point 1 year ago
alpharush 272c801827 update readme's 1 year ago
Feist Josselin efeea531db Update readme 2 years ago
Feist Josselin 400dfd6f08 Minor 2 years ago
Feist Josselin 3691be0e02
Update README.md 2 years ago
Feist Josselin a9d399ff02
Update README.md 2 years ago
alpharush a65ce56f5f
fix spelling 2 years ago
alpharush dc7eb7044c
update and reorganize README 2 years ago
Emilio López 60fd088f30
Fix CI badge in README.md 2 years ago
Igor Żuk a5f0485fd1
Clarify no need solc on supported platforms 2 years ago
Igor Żuk 2a5f05a626
Clarify requirement of installing solc 2 years ago
Feist Josselin 7c3d8de101 Update README 2 years ago
Josselin Feist 996712c26d Update readme 2 years ago
alpharush 033d18efae
add FAQ and useful info to contribution guidelines (#1047) 2 years ago
Jean Cvllr 89852f0c6f
fix: anchor links to Vulnerability report docs (#1257) 2 years ago
alpharush d3eea7b64e bump to python 3.8 2 years ago
Feist Josselin 33922541bb
Update README (#1207) 3 years ago
Feist Josselin 488dbaec1e
Update README.md 3 years ago
Feist Josselin c1b5a1ee50
Update README.md 3 years ago
Feist Josselin 562af10616
Update README.md 3 years ago
Feist Josselin 1414de08d8 Document --checklist flag (#1190) 3 years ago
Feist Josselin 8dfa8033a1
Document --checklist flag (#1190) 3 years ago
Feist Josselin bebee1a9a6
Add github action to the readme 3 years ago
JulissaDantes 4f3d990cc3 Update readme 3 years ago
Josselin 65d5922408 0.8.2 3 years ago
Josselin 5fff55579c Update readme with new detectors 3 years ago
alpharush 5de54f7089
Update wiki link to python API (#986) 3 years ago
Feist Josselin 701a6a7c51
Add more details on external publications 3 years ago
Feist Josselin e31487455c
Update README.md 3 years ago
Feist Josselin e12b9f14a6
Update README.md 3 years ago
Josselin 07d06f1f49 Open source write-after-write detector 4 years ago
Josselin 54251b096e Open source dead-code detector 4 years ago
Feist Josselin 5021f3e7a0
Add "Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts" paper 4 years ago
Franco Victorio d10fe9a0fe
Update README.md 4 years ago
Feist Josselin f5ca637c34
Update external publications 4 years ago
Feist Josselin e8f4f42886
Update README.md 4 years ago
Josselin e0fae81573 Fix incorrect confidence on assert state change detector 4 years ago
Josselin 2a66915f29 Update readme 4 years ago
Josselin e52a2aee0e Update README.md 4 years ago
Feist Josselin 62885d5fe9
Update README.md 4 years ago
Feist Josselin a0857c8ccb
Update README.md 4 years ago
Feist Josselin 1e32faa8bb
Update README.md 4 years ago
Samuel E. Moelius III 031465bb34 "slither-erc" -> "slither-check-erc" 4 years ago
Emilio López e9f4283323 linting: Solve Markdown linting errors 4 years ago