Commit Graph

2810 Commits (4bafbf9f5777cf6dd43768887e113535d0216398)
 

Author SHA1 Message Date
Josselin Feist 8c8e54b007 Add printer for dominator tree 2 years ago
Aranya Dan d1321a4212 Fixed linting error 2 years ago
Feist Josselin 9d6734c6bc
Merge pull request #1188 from crytic/top-level-yul-identifier 2 years ago
Josselin Feist dd99ba4236 Merge branch 'dev' into top-level-yul-identifier 2 years ago
Aranya Dan f7295533d6 Fixed Pypi Markdown render 2 years ago
Emilio López cc8c3b87f0 Enable Docker workflow for `dev` branch 2 years ago
Emilio López b90531e75d Dockerfile: clean apt state after installing packages 2 years ago
Emilio López ddb8ee2769 Add Docker build and push workflow 2 years ago
Emilio López 9a3b21bb71 Dockerfile: add solc-select 2 years ago
Emilio López b82a082ac7 Dockerfile: upgrade to jammy, separate building from installation 2 years ago
Josselin Feist 475de74d9b Minor 2 years ago
Josselin Feist a5b326f37d Minor 2 years ago
Josselin Feist 0381589cfd Fix CI 2 years ago
Josselin Feist c32b3e16b7 Simplify CI 2 years ago
Josselin Feist 1c9b05b117 Merge branch 'dev' into exit-code 2 years ago
Feist Josselin 5a6b6309c5
Merge pull request #1134 from crytic/add-oz-sourcehash-checking 2 years ago
Feist Josselin c96e890ad3
Merge pull request #1318 from crytic/htadashi-dev 2 years ago
Josselin Feist 8a8ade792d Fix OZ name 2 years ago
Josselin Feist c3411bee0b Merge branch 'dev' into add-oz-sourcehash-checking 2 years ago
Josselin Feist 36879c057d Improve python types 2 years ago
Josselin Feist 1576e00cc9 Add 0.6.12 2 years ago
Josselin Feist fb0403a730 Merge branch 'dev' into htadashi-dev 2 years ago
Feist Josselin ce9dbf650d
Merge pull request #1311 from crytic/dev-fix-read-storage 2 years ago
Josselin Feist 5287b0aebf Minor 2 years ago
Josselin Feist eaa1ddfb90 Merge branch 'dev-fix-read-storage' of github.com:crytic/slither into dev-fix-read-storage 2 years ago
Josselin Feist 1be96ec97f Merge branch 'dev' into dev-fix-read-storage 2 years ago
Feist Josselin e34fcfab99
Merge pull request #877 from crytic/dev-source-mapping-refactor 2 years ago
Josselin Feist 48b5202551 Minor 2 years ago
Josselin Feist 091fe7ac13 Fix pytest 2 years ago
Josselin Feist 633e4adf5a regenerate tests 2 years ago
Josselin Feist 5fd7440166 black 2 years ago
Josselin Feist 5802174562 Merge branch 'dev' into dev-source-mapping-refactor 2 years ago
Feist Josselin 3a934a997b
Merge pull request #1323 from crytic/dev-functions-sig 2 years ago
Josselin Feist 350b26596d Minor 2 years ago
Feist Josselin 5b65b8aae6
Merge pull request #886 from crytic/dev-function-id-printer-improvements 2 years ago
Josselin Feist ce1fc4f60a Fix type on variable.name 2 years ago
Josselin Feist 4b7541f8e3 Improve generation of solidity signature 2 years ago
alpharush e170df0450 fix test 2 years ago
alpharush 479835b40e revert output back to dict 2 years ago
alpharush cd9a13727f read from stdout 2 years ago
alpharush 7e95c0d82f import typing_extensions for python < 3.8 2 years ago
alpharush 77d097bf88 update ci tests 2 years ago
alpharush f01be2e4da implement fail for each severity level 2 years ago
alpharush 7ec42127cc more pylint and black warnings 2 years ago
alpharush d11ed3608d fix json output and update with new fields (name and elems) 2 years ago
alpharush a5a8df6a79 implement table for MyPrettyTable and remove tabulate dep. 2 years ago
alpharush 28b4b84ef8 add NestedElem type hint and fix get_slot_values for nested type 2 years ago
alpharush adace8ecc4 fix isinstance check in _all_array_slots 2 years ago
Josselin Feist fc6178ff86 Minor 2 years ago
Josselin Feist e0a0679ff7 Fix spellcheck error 2 years ago