Commit Graph

3856 Commits (8c51e47a42d25d00379d3c883f4a876c62122315)
 

Author SHA1 Message Date
devtooligan 8c51e47a42
Update scripts/ci_test_printers.sh 1 year ago
devtooligan 2e99e498f0
chore: lint 1 year ago
devtooligan c787fb4fbe
chore: move Martin logic to utils 1 year ago
devtooligan 8d2e7c40ee
refactor: prefer custom classes to dicts 1 year ago
devtooligan ce76d62000
Merge branch 'halstead' into martin-printer 1 year ago
devtooligan 61e3076647
chore: lint 1 year ago
devtooligan 8f831ada95
fix: 'type' object is not subscriptable 1 year ago
devtooligan 46c6177611
Merge branch 'dev' into halstead 1 year ago
devtooligan 0fb6e42a9d
chore: lint 1 year ago
devtooligan db5ec712de
chore: move halstead utilities to utils folder 1 year ago
devtooligan 06e218c822
refactor: prefer custom classes to dicts 1 year ago
alpharush 3e390264a4
Merge pull request #2029 from crytic/fix/fp/unchecked-lowlevel 1 year ago
alpharush 512b393adc
Merge pull request #2019 from crytic/fix/issue-2017 1 year ago
alpharush 9ecc66ddf8 fix regression that caused retdata to be flagged 1 year ago
devtooligan c175d527ff
Merge branch 'dev' into halstead 1 year ago
alpharush 03efefeb2d
Merge pull request #2024 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.7 1 year ago
alpharush ee73cf32c7
Merge pull request #2023 from crytic/dependabot/github_actions/dev/actions/setup-python-4 1 year ago
dependabot[bot] f22836c5f0
Bump pypa/gh-action-pypi-publish from 1.8.6 to 1.8.7 1 year ago
dependabot[bot] e0233a70ef
Bump actions/setup-python from 3 to 4 1 year ago
alpharush 5c40c52ba1 fix(cache-array-length): handle when `HighLevelCall` is a `StateVariable` 1 year ago
alpharush 8f1a87523c
Merge pull request #1997 from crytic/dependabot/github_actions/dev/docker/build-push-action-4 1 year ago
alpharush 2626a97876
Merge pull request #1995 from crytic/dependabot/github_actions/dev/actions/deploy-pages-2 1 year ago
alpharush 7995d4755a
Merge pull request #1993 from crytic/dependabot/github_actions/dev/cachix/install-nix-action-22 1 year ago
alpharush 614cce2346
Merge pull request #1992 from crytic/dependabot/github_actions/dev/cachix/cachix-action-12 1 year ago
alpharush b12a167ef7
Merge pull request #2002 from crytic/dev-fix-dataclass 1 year ago
Emilio López 98480090db workflows: ci, tests: only run on 3.8 and 3.11 for PRs 1 year ago
Emilio López af5e801973 workflows: test: run on Python 3.8 ~ 3.11 1 year ago
Emilio López fa5963239e workflows: ci: run on Python 3.8 ~ 3.11 1 year ago
Emilio López cbe6716afd Fix execution in Python 3.11 1 year ago
alpharush 273cca4167
fix logo on pypi (#1999) 1 year ago
alpharush 365f6a9354
Merge pull request #1998 from crytic/readme/printer-typo 1 year ago
alpharush b6d1de43ca fix bullet point 1 year ago
alpharush 272c801827 update readme's 1 year ago
dependabot[bot] c73ac8932a
Bump docker/build-push-action from 3 to 4 1 year ago
dependabot[bot] 3ed6f283d0
Bump actions/deploy-pages from 1 to 2 1 year ago
dependabot[bot] eec0c7ddce
Bump cachix/install-nix-action from 20 to 22 1 year ago
dependabot[bot] 14824e8648
Bump cachix/cachix-action from 10 to 12 1 year ago
alpharush 04fad19ab1
Merge pull request #1990 from crytic/master 1 year ago
alpharush f0d5a3f67a
Merge pull request #1462 from elopez/dev-reworked-fail-on 1 year ago
alpharush 8b0fd32cbe use enum instead of value in config, lint 1 year ago
Feist Josselin 79579f9285
Merge pull request #1684 from crytic/dev-ud-operators 1 year ago
Feist Josselin 6c5b92604c
Merge pull request #1979 from crytic/fix-author-pr-1962 1 year ago
Feist Josselin 9f13bd8cdb
Merge pull request #1694 from bart1e/detector_for_array_len_caching 1 year ago
Feist Josselin 69bf3bb284
Merge pull request #1968 from Tiko7454/master 1 year ago
Feist Josselin 8dc416260d
Merge pull request #1986 from crytic/update-contributing 1 year ago
Simone e1fd6702f9 Minor 1 year ago
Simone 940a0a17d9 Update CONTRIBUTING.md 1 year ago
Simone ace672e27d Rename tests to run to ALL_TESTS 1 year ago
Simone f2accfd77d Add test 1 year ago
Simone 3f1db7af77 Look for library functions in the current scope 1 year ago