TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
2192 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: 6c081fe277
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '6c081fe277'
${ noResults }
Commit Graph

2192 Commits (6c081fe2770ca441ef5cec1b1bc659853168df0c)
 

Author SHA1 Message Date
Natalie Chin 91cb3db445 Fixed linter formatting for test_detectors
4 years ago
Josselin a7d98ce7b0 Merge branch 'master' into dev
4 years ago
Natalie Chin 6c2427a9f1 Renamed test file and added json artifact
4 years ago
Josselin bddf143014 Merge branch 'dev' into dev-external-totalSupply
4 years ago
Feist Josselin 21c9279ecc
Merge pull request #718 from crytic/dev-deterministic-output
4 years ago
Josselin 999fd2994c Fix deterministic output for multiple detectors (fix #486)
4 years ago
Natalie Chin ab5f242505 Added boolean equality tests
4 years ago
Gustavo Grieco c7e83339eb
Allow totalSupply() to be an external method in the ERC20 properties
4 years ago
Feist Josselin 415619dfe9
Merge pull request #707 from crytic/dev-transitive-closure
4 years ago
Josselin 068d871dfe Optimize transitive_close_dependencies
4 years ago
Feist Josselin dae5ddeedd
Merge pull request #706 from crytic/dev-divive_before_multiply
4 years ago
Feist Josselin ac554bb0a1
Merge pull request #705 from crytic/dev-doms
4 years ago
Josselin d2bf6ce064 Remove recursion in divide-before-multiplity
4 years ago
Josselin 0442afe79b Optimize immediate dominator computation
4 years ago
Feist Josselin 59ace02822
Merge pull request #703 from crytic/dev-memoize
4 years ago
Feist Josselin 2efe23bb68
Merge pull request #704 from crytic/dev-fix-test-0.7.5
4 years ago
Feist Josselin 08514c753d
Update test_ast_parsing.py
4 years ago
Josselin 8d943dc764 black
4 years ago
Josselin 19ad2e9450 Additional memoization
4 years ago
Feist Josselin a30802f66e
Merge pull request #702 from crytic/dev-get_line_from_offset
4 years ago
Josselin 72c0a1b8d4 Minor
4 years ago
Josselin 3368b52a24 Minor
4 years ago
Josselin eabcc49b6a Memoize core.function/contract properties
4 years ago
Josselin 448374ee30 black
4 years ago
Josselin f4e9cd5fbf Use get_line_from_offset from crytic_compile
4 years ago
Feist Josselin 4bd9c19991
Merge pull request #701 from crytic/dev-perf
4 years ago
Josselin 76f240cec3 black
4 years ago
Josselin d3ee35900b Add --perf flag
4 years ago
Feist Josselin 62885d5fe9
Update README.md
4 years ago
Feist Josselin a0857c8ccb
Update README.md
4 years ago
Feist Josselin c7ddb1efa0
Merge pull request #693 from crytic/dev-prop-fixes
4 years ago
ggrieco-tob c10b68a125 improved ERC20 property descriptions
4 years ago
Feist Josselin 858677464c
Merge pull request #686 from crytic/dev-tests-instructions
4 years ago
Josselin 040955113c Fix markdown
4 years ago
Josselin 0152f00888 Improve testing instructions
4 years ago
Josselin 1b21401a36 Use crytic-compile@master
4 years ago
Josselin 740a11dd0c 0.6.14
4 years ago
Josselin 281233db22 Use crytic-compile 0.1.10
4 years ago
Feist Josselin cf65a10a1c
Merge pull request #655 from crytic/bugfix/for
4 years ago
Josselin 57567f0953 Merge branch 'dev' into bugfix/for
4 years ago
Josselin d40e79a4a6 Run black
4 years ago
Feist Josselin 32d993caba
Merge pull request #625 from crytic/bugfix/593
4 years ago
Josselin ce7688b98b Add push array test
4 years ago
Josselin 649966eb98 Merge branch 'dev' into bugfix/593
4 years ago
Josselin 840d4da165 Merge branch 'dev' into bugfix/for
4 years ago
Josselin 805998d272 Run black
4 years ago
Feist Josselin 42545568ae
Merge pull request #673 from crytic/dev-min-max
4 years ago
Josselin 4524bd958d Merge branch 'dev' into bugfix/593
4 years ago
Feist Josselin aa69b3ef9d
Merge pull request #660 from crytic/feature/yul-test
4 years ago
Josselin 91bfae97b8 Run black
4 years ago