Commit Graph

4290 Commits (66ae9d21862370f44ba5b68282c49ad07150a736)
 

Author SHA1 Message Date
Tigran Avagyan 185680db8a
Merge branch 'dev' into dominator-deadcode-problem-fix 1 year ago
devtooligan a35dff3a15
refactor: ck 1 year ago
devtooligan 8a34cd4e15
Merge branch 'martin-printer' into ck-printer 1 year ago
devtooligan 6843d03da4
fix: external calls 1 year ago
devtooligan 5c6cfb828d
Merge branch 'martin-printer' into ck-printer 1 year ago
devtooligan 8d483ed471
fix: external calls 1 year ago
devtooligan 6552ba0300
Merge branch 'martin-printer' into ck-printer 1 year ago
devtooligan 251dee0c98
Merge branch 'halstead' into martin-printer 1 year ago
devtooligan 42cd6e0ecf
fix: account for case w no functions 1 year ago
devtooligan 524b755214
Merge branch 'martin-printer' into ck-printer 1 year ago
devtooligan 4a3ab0a653
fix: add martin printer to testing printer list 1 year ago
devtooligan 961a678453
Merge branch 'halstead' into martin-printer 1 year ago
devtooligan 56993490dd
fix: typo 1 year ago
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 fb25cbb26e
refactor: initial 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 e5f2a86f09
0.9.6 (#2031) 1 year ago
alpharush e91529ef02
Merge pull request #2030 from crytic/dev 1 year ago
sam bacha f3be9efad6
docs(readme): add new docs link (#2010) 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
Tigran Avagyan d05cefff12
Merge branch 'dev' into dominator-deadcode-problem-fix 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 3d4f934d32
Merge pull request #2004 from crytic/bump-version 1 year ago
alpharush 1f40e9269b
0.9.5 1 year ago
alpharush 39ca9631ae
Merge pull request #2003 from crytic/dev 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