3932 Commits (838680bed7720df3800eb167835fb9b80ee16a04)

 

All Branches   

Search

Author	SHA1	Message	Date
dependabot[bot]	838680bed7	Bump sigstore/gh-action-sigstore-python from 2.0.1 to 2.1.0 (#2154) ... Bumps [sigstore/gh-action-sigstore-python](https://github.com/sigstore/gh-action-sigstore-python) from 2.0.1 to 2.1.0. - [Release notes](https://github.com/sigstore/gh-action-sigstore-python/releases) - [Commits](https://github.com/sigstore/gh-action-sigstore-python/compare/v2.0.1...v2.1.0) --- updated-dependencies: - dependency-name: sigstore/gh-action-sigstore-python dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
dependabot[bot]	0501fefa45	Bump docker/login-action from 2 to 3 (#2135) ... Bumps [docker/login-action](https://github.com/docker/login-action) from 2 to 3. - [Release notes](https://github.com/docker/login-action/releases) - [Commits](https://github.com/docker/login-action/compare/v2...v3) --- updated-dependencies: - dependency-name: docker/login-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
dependabot[bot]	1f6b7bfded	Bump docker/setup-qemu-action from 2 to 3 (#2134) ... Bumps [docker/setup-qemu-action](https://github.com/docker/setup-qemu-action) from 2 to 3. - [Release notes](https://github.com/docker/setup-qemu-action/releases) - [Commits](https://github.com/docker/setup-qemu-action/compare/v2...v3) --- updated-dependencies: - dependency-name: docker/setup-qemu-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
dependabot[bot]	a234e34858	Bump docker/build-push-action from 4 to 5 (#2133) ... Bumps [docker/build-push-action](https://github.com/docker/build-push-action) from 4 to 5. - [Release notes](https://github.com/docker/build-push-action/releases) - [Commits](https://github.com/docker/build-push-action/compare/v4...v5) --- updated-dependencies: - dependency-name: docker/build-push-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
dependabot[bot]	72f0837ef0	Bump docker/setup-buildx-action from 2 to 3 (#2132) ... Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action) from 2 to 3. - [Release notes](https://github.com/docker/setup-buildx-action/releases) - [Commits](https://github.com/docker/setup-buildx-action/compare/v2...v3) --- updated-dependencies: - dependency-name: docker/setup-buildx-action dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
Feist Josselin	1db0d017c0	Merge pull request #1895 from crytic/ck-printer ... feat: ck printer	1 year ago
Feist Josselin	bcbe4ffe93	Update ci_test_printers.sh	1 year ago
Feist Josselin	46630b7f60	Merge pull request #2051 from crytic/dev-fix-enum-max-min ... Fix enum.max/min when enum in other contract	1 year ago
Feist Josselin	c8bd72ed9f	Fix circular dep	1 year ago
Feist Josselin	4053c9b9e3	minor improvements	1 year ago
Feist Josselin	628f723ce0	Merge branch 'dev' into ck-printer	1 year ago
Kevin Clancy	cc9e65fe13	fix: reorder named arguments to match declaration order (#1949) ... Store names list in call operations and expressions. Reorder named arguments to match declaration order. A function call with explicitly named parameters, of the form f({argName1: arg1, ...}), may list the parameters in an order different from that of the function's declaration. In this case, the IR should reorder the arguments to match the function declaration order before generating IR. This PR implements named argument reordering for the following forms of function calls: - struct constructors (most important) - static internal calls For the following forms of function calls, the order of the declaration arguments is not directly available during IR generation, so the PR did not implement reordering for them: - external calls (HighLevelCall) - library calls - event calls The get_declared_param_names function returns None for these unimplemented call forms.	1 year ago
Feist Josselin	f1f4e5b4a5	Add detailed assert info for echidna (#2105) ... Add assert span info to echidna printer	1 year ago
Simone	f50a126f2c	Improve custom error parsing with constants (#2115) ... * Improve custom error parsing with constants	1 year ago
alpharush	3147396cbf	fix(convert): do not convert array type to elementary for `InitArray` (#2018) ... fix(convert): do not convert array type to elementary for `InitArray`	1 year ago
dependabot[bot]	7d50891e9e	Bump cachix/install-nix-action from 22 to 23 (#2111) ... Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action) from 22 to 23. Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
dependabot[bot]	324cbe5a5c	Bump actions/checkout from 3 to 4 (#2112) ... Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	1 year ago
judowoodo	d4950f7212	Change return type to UnaryType instead of UnaryOperationType (#2124) ... * fix: return UnaryType instead of UnaryOperationType for Unary IR operation (issue #2085)	1 year ago
Simone	8d5c033fbe	Improve mapping-deletion detector for nested mappings (#2084) ... * Fix for nested mappings * Add test	1 year ago
Simone	d128b6d705	Merge branch 'dev' into dev-fix-enum-max-min	1 year ago
Simone	8b33694a81	Merge branch 'dev' into dev-fix-enum-max-min	1 year ago
Simone	ddd9d6561f	Add IR test	1 year ago
Simone	8b07fe59d5	improve name resolution of type aliases (#2061) ... * BREAKING CHANGE: Renamed user_defined_types to type_aliases so it's less confusing with what we call UserDefinedType. * Added type aliased at the Contract level so now at the file scope there are only top level aliasing and fully qualified contract aliasing like C.myAlias. * Fix #1809	1 year ago
alpharush	53c97f9f48	fix: preserve None tuple components in the left and right liftings of ternary expressions (#2120) ... * preserve None tuple components in the left and right liftings of ternary expressions * added a test for ternary lifting over tuples --------- Co-authored-by: Kevin Clancy <kevin.clancy@certik.com>	1 year ago
Emilio López	9da51fff3b	detectors: cache_array_length: include source mapping in finding (#2076) ... * detectors: cache_array_length: include source mapping in finding The detector was manually string-interpolating the code and line information, which left the finding without source mapping metadata and broke filtering. Include the node directly on the finding info so that the metadata is preserved. --------- Co-authored-by: alpharush <0xalpharush@protonmail.com>	1 year ago
alpharush	75ef277cbf	Merge pull request #2119 from crytic/master ... sync master <> dev	1 year ago
Simone	65cc68ddf0	Make the results deterministic (#2114)	1 year ago
joodiewoodo	ff52901e6d	Allow underscore in variable naming convention for internal state variables (#2110) ... * fix: allow underscore in variable naming convention for internal state variables and update test_detector tests snapshot * change set visibility of _myPublic to public, update test snapshots	1 year ago
alpharush	0de7a251eb	Merge pull request #2086 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.10 ... Bump pypa/gh-action-pypi-publish from 1.8.8 to 1.8.10	1 year ago
alpharush	8f5259527e	Merge pull request #2087 from crytic/dependabot/github_actions/dev/sigstore/gh-action-sigstore-python-2.0.1 ... Bump sigstore/gh-action-sigstore-python from 2.0.0 to 2.0.1	1 year ago
dependabot[bot]	81c0c8cd88	Bump sigstore/gh-action-sigstore-python from 2.0.0 to 2.0.1 ... Bumps [sigstore/gh-action-sigstore-python](https://github.com/sigstore/gh-action-sigstore-python) from 2.0.0 to 2.0.1. - [Release notes](https://github.com/sigstore/gh-action-sigstore-python/releases) - [Commits](https://github.com/sigstore/gh-action-sigstore-python/compare/v2.0.0...v2.0.1) --- updated-dependencies: - dependency-name: sigstore/gh-action-sigstore-python dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
dependabot[bot]	2bc6a0f1a4	Bump pypa/gh-action-pypi-publish from 1.8.8 to 1.8.10 ... Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.8.8 to 1.8.10. - [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases) - [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.8.8...v1.8.10) --- updated-dependencies: - dependency-name: pypa/gh-action-pypi-publish dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
alpharush	4b0482014d	chore: bump sigstore to 2.0.0 (#2081)	1 year ago
yisun92	3f90e86bad	fix: get_state_variable_from_canonical_name() filter by canonical_name (#1983)	1 year ago
SheldonHolmgren	d86bd4109d	UnaryOperation: -variable and +variable doesn't make variable an lvalue (#2027)	1 year ago
Simone	e0098907c9	Add CustomError as printable output (#2063)	1 year ago
alpharush	d90505826f	fix ternary rewrite test and make assertion more strict (#2067)	1 year ago
alpharush	ac203ee8ec	Merge pull request #2070 from crytic/ci/problem-matchers ... ci: add problem matchers for yamllint and pylint	1 year ago
alpharush	c47fa62b71	ci: add problem matchers for yamllint and pylint	1 year ago
alpharush	43888ef284	Merge pull request #2052 from crytic/dev-contributing ... Fix CONTRIBUTING.md	1 year ago
alpharush	34e1a2407e	Merge pull request #2044 from crytic/dependabot/github_actions/dev/actions/upload-pages-artifact-2 ... Bump actions/upload-pages-artifact from 1 to 2	1 year ago
alpharush	cb4c5b89ce	Merge pull request #2049 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.8 ... Bump pypa/gh-action-pypi-publish from 1.8.7 to 1.8.8	1 year ago
Simone	60a67680b0	Compile after the test was added	1 year ago
Simone	b4add6eb05	Fix enum.max/min when enum in other contract	1 year ago
dependabot[bot]	65aaafa0c6	Bump pypa/gh-action-pypi-publish from 1.8.7 to 1.8.8 ... Bumps [pypa/gh-action-pypi-publish](https://github.com/pypa/gh-action-pypi-publish) from 1.8.7 to 1.8.8. - [Release notes](https://github.com/pypa/gh-action-pypi-publish/releases) - [Commits](https://github.com/pypa/gh-action-pypi-publish/compare/v1.8.7...v1.8.8) --- updated-dependencies: - dependency-name: pypa/gh-action-pypi-publish dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
dependabot[bot]	97f817712f	Bump actions/upload-pages-artifact from 1 to 2 ... Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 1 to 2. - [Release notes](https://github.com/actions/upload-pages-artifact/releases) - [Commits](https://github.com/actions/upload-pages-artifact/compare/v1...v2) --- updated-dependencies: - dependency-name: actions/upload-pages-artifact dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>	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