Commit Graph

2897 Commits (44a45e75a4036fa51c076f20d7fd2c04168156f3)
 

Author SHA1 Message Date
Feist Josselin b6e1a53cb7
Merge pull request #1386 from crytic/usage-msg-fix 2 years ago
Feist Josselin 840d0b8ba4
Merge pull request #1389 from crytic/dev-solc-version 2 years ago
Feist Josselin 9764c54eff
Merge pull request #1388 from crytic/dev-types 2 years ago
Paladin - Team Account 2f7e4ac6a9
cleanup: tidied up if statement 2 years ago
Paladin - Team Account 2ea2f0a3f7
fix: self.is_valid_type requires 2 years ago
Josselin Feist d8f0b99a15 black 2 years ago
Josselin Feist 104a4790e5 Minor 2 years ago
Josselin Feist fd7edd6545 Update solc version recommendations 2 years ago
Josselin Feist bad83348b0 Merge branch 'dev' into dev-types 2 years ago
Emilio López 58c37ea785 Version check 2 years ago
Feist Josselin 8c01f9597c
Merge pull request #1387 from crytic/dev-modifier-virtual 2 years ago
Josselin Feist 7951ec1c4e Minor 2 years ago
Josselin Feist 7261715b0c Improve support for virtual modifier 2 years ago
bohendo f0c87149f7 fix test 2 years ago
bohendo d7396ec62e run black code reformatter 2 years ago
bohendo 4d3e5f6cc7 update readme & usage message to reference up-to-date flags 2 years ago
bohendo 531b75572f add block arg to slither-read-storage 2 years ago
Emilio López a97085e8ad Compilation check 2 years ago
Emilio López de1b7618b7 Platform detection check 2 years ago
Emilio López 7e6ccbb58d Initial slither-doctor structure 2 years ago
Pascal Marco Caversaccio b1ed6b3ad8
use solc 0.8.0 for path filtering test 2 years ago
Pascal Marco Caversaccio f787982922
Update scripts/ci_test_path_filtering.sh 2 years ago
Pascal Marco Caversaccio f6de01afb1
Update tests/test_path_filtering/slither.config.json 2 years ago
Feist Josselin 6ee3adf0a4
Merge pull request #1369 from crytic/dev-improve-m1-docker 2 years ago
Feist Josselin f6fa0e1064
Merge pull request #1377 from crytic/dev-fix-storage-size 2 years ago
Pascal Marco Caversaccio 94159fab12
Merge pull request #1 from pcaversaccio/dev 2 years ago
Emilio López c09aa50c18 Fix early truncation 2 years ago
Emilio López d47dd66579 Fix linting errors 2 years ago
Emilio López 3112f157ca Fix test reference in CI 2 years ago
Emilio López e7e411ba0e Fix detector output 2 years ago
Emilio López 237bb53591 Fix non-numeric literals 2 years ago
Emilio López 2879514f23 Add tests for large and negative constants 2 years ago
Emilio López ce801942ab Unify parsing of integers with convert_string_to_int/fraction 2 years ago
Emilio López 036f7d62f4 Replace Decimal with Fraction 2 years ago
Emilio López 98611e3ae7 Fix parsing of constants 2 years ago
Emilio López 01baf01860 Configure decimal precision to a value able to represent 2**256 2 years ago
Emilio López b563be7af9 Add tests for rational and scientific notation constants 2 years ago
JorgeAtPaladin efe103c79c Constants detector: Also detect Contract types 2 years ago
Emilio López f5f4cb11e9 Dockerfile: add x86_64 libc on non-intel containers 2 years ago
alpharush 0e264b3b84 consider state variable collisions and incorrect return type 2 years ago
Josselin Feist aa4a57d050 Add more types 2 years ago
Feist Josselin 719e4e98d8
Merge pull request #1359 from crytic/boyan/no-fail-pedantic 2 years ago
Boyan-MILANOV 082dd94e67 Improve help messages 2 years ago
Boyan-MILANOV 994c4438f6 Remove custom argparse action 2 years ago
Boyan-MILANOV 32599e0d2c Fix cli CI test 2 years ago
Boyan-MILANOV 1127eb5c49 Force --no-fail-pedantic on some CI tests 2 years ago
Boyan-MILANOV 40534e1a30 Fix --no-fail-pedantic option parsing 2 years ago
Boyan-MILANOV 0ab3d50fa3 Add --no-fail-pedantic flag and make failing the default behavior 2 years ago
alpharush 0d04e17f8c remove pragmas and make syntax compatible 2 years ago
alpharush a17a938a90 use standard test convention, match on sig instead of name 2 years ago