21316 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Kamil Śliwak	2d45099a87	Merge pull request #12118 from ethereum/separate-input-modes-for-help-license-version ... Separate input modes for `--help`, `--license` and `--version`	2021-11-03 12:52:47 +01:00
Kamil Śliwak	5ce85d7a90	Merge pull request #12187 from ethereum/external-tests-directly-on-upstream ... Run external tests directly on upstream repo where possible	2021-11-03 12:51:46 +01:00
Kamil Śliwak	0417db0f6a	Don't return an error from --help	2021-11-02 16:31:45 +01:00
Kamil Śliwak	a1c9c1e2b5	CommandLineInterface: Merge processInput() and actOnInput() ... - The distinction between them is not as clear-cut as it should be. For example processInput() prints output in assembly mode.	2021-11-02 16:31:45 +01:00
Kamil Śliwak	93c1fe6878	Treat --help, --license and --version as separate input modes	2021-11-02 16:31:43 +01:00
chriseth	a7b137829f	Merge pull request #12091 from ethereum/applyControlFlowSideEffectsUserDefined ... Use side effects of user-defined functions in other optimizer steps.	2021-11-02 15:50:37 +01:00
chriseth	be6fb5f3d6	Changelog entry.	2021-11-02 11:59:01 +01:00
chriseth	7f7c5ca171	New tests.	2021-11-02 11:59:01 +01:00
chriseth	3996d0a343	Update tests.	2021-11-02 11:59:01 +01:00
chriseth	d6c461ed61	Use side effects of user-defined functions in other optimizer steps.	2021-11-02 11:59:01 +01:00
chriseth	5eb97fa6ee	Merge pull request #12219 from ethereum/precompile-extcodesize-check-test ... Semantic test for high level call to precompiles.	2021-11-01 15:08:52 +01:00
chriseth	ced7db9501	Merge pull request #12212 from ethereum/fixmodiferparams ... Fix assignment of return variables from modifiers.	2021-11-01 14:56:30 +01:00
hrkrshnn	7683442ce2	Semantic test for high level call to precompiles. ... Because of the extcodesize check, the high level call will fail. Even though the low level call can succeed and return data.	2021-11-01 14:22:48 +01:00
chriseth	8e208f23cb	Fix assignment of return variables from modifiers.	2021-11-01 14:14:50 +01:00
chriseth	408bd5fa62	Merge pull request #12213 from ethereum/fix-typos ... Fix two typos and a misnamed test	2021-10-29 13:51:47 +02:00
Kamil Śliwak	fd66f13dc0	soltest.sh: Fix typo in a comment	2021-10-29 00:19:43 +02:00
Kamil Śliwak	60ba3b307f	isolate_tests: Fix typo in script description	2021-10-29 00:19:43 +02:00
Kamil Śliwak	464ac18a1f	Rename negation_bug.yul to negation_bug.sol	2021-10-29 00:19:43 +02:00
Kamil Śliwak	558d9d4556	Merge pull request #12177 from DavidRomanovizc/patch-4 ... Include actual contract size in the code size warning	2021-10-29 00:18:07 +02:00
chriseth	cede36930d	Merge pull request #12207 from ethereum/fix-isoltest-enforce-gas-default ... Fix defaults for `--enforce-gas-cost` in isoltest	2021-10-27 23:10:14 +02:00
David Dzhalaev	79ffa16a61	Improve error message for contract size limit error	2021-10-27 20:06:53 +02:00
Kamil Śliwak	f4421f1b69	Disable metadata in syntax tests	2021-10-27 20:06:53 +02:00
Kamil Śliwak	a039431627	isoltest: Do not try to enforce gas costs when ABIEncoderV1 is used	2021-10-27 18:56:45 +02:00
Kamil Śliwak	eb2425bd7c	isoltest: Fix gas tests always being enforced regardless of evm version	2021-10-27 18:56:45 +02:00
chriseth	7ebf71f315	Merge pull request #12203 from ethereum/fixuseafterfreeside ... Fix use-after-free bug.	2021-10-27 16:43:44 +02:00
chriseth	e4a94b69be	Merge pull request #12201 from ethereum/docs-path-fix ... Fix wrong path to isoltest in docs	2021-10-27 16:13:13 +02:00
chriseth	9be882c90d	Merge pull request #12186 from ethereum/fix-userdefined-ice ... Moved storage size assert to TypeChecker from DeclarationTypeChecker	2021-10-27 16:12:16 +02:00
chriseth	dce13fbb6a	Fix use-after-free bug.	2021-10-27 15:49:41 +02:00
Marenz	61519da4f0	Fix wrong path to isoltest in docs	2021-10-27 14:16:50 +02:00
hrkrshnn	8815d6f5f0	Moved a check related to constants to TypeChecker ... And added a proper error message when constant types containing (nested) mapping types are used.	2021-10-26 18:43:04 +02:00
hrkrshnn	51009c005d	Moved a canBeStored assert for struct members to TypeChecker ... This is to avoid a assert from failing for forward declared user defined value types.	2021-10-26 18:43:04 +02:00
hrkrshnn	9428dbc94f	Moved storage size assert to TypeChecker from DeclarationTypeChecker	2021-10-26 18:43:04 +02:00
chriseth	453f404f8f	Merge pull request #12194 from ethereum/sort-changelog ... [trivial] Sort bugfixes in changelog	2021-10-26 16:05:24 +02:00
Kamil Śliwak	14210825b1	externalTests/README: Recommend using upstream repository directly when possible	2021-10-26 16:04:08 +02:00
Kamil Śliwak	b8aed7ca86	Run external tests on latest upstream code where possible	2021-10-26 16:04:08 +02:00
Marenz	f588dd34a9	Sort bugfixes in changelog	2021-10-26 15:41:42 +02:00
Harikrishnan Mulackal	401dd4337a	Merge pull request #11451 from ethereum/smt_report_invariants ... [SMTChecker] Report contract invariants	2021-10-26 12:41:36 +02:00
Leo Alt	902a2e232b	Changelog	2021-10-26 11:30:30 +02:00
Leo Alt	d04ad57ee7	Docs	2021-10-26 11:30:30 +02:00
Leo Alt	4f823c6342	CLI and JSON tests	2021-10-26 11:30:30 +02:00
Leo Alt	38b0cf7f9c	SMTChecker tests	2021-10-26 11:30:30 +02:00
Leo Alt	2cbd496576	Adjust ModelCheckerSettings in tools tests	2021-10-26 11:30:30 +02:00
Leo Alt	a104443ac1	Adjust errors script to also look for infos	2021-10-26 11:30:30 +02:00
Leo Alt	37215ffcfd	Add SMTCheckerTest isoltest option to ignore invariants	2021-10-26 11:30:30 +02:00
Leo Alt	3118fb3666	Add invariants option to CLI and JSON	2021-10-26 11:30:30 +02:00
Leo Alt	d419c30ca6	Add errorCode list to invariants report	2021-10-26 11:30:30 +02:00
Leo Alt	49e7627bd3	Use invariants in CHC	2021-10-26 11:30:30 +02:00
Leo Alt	bc90533c93	Add invariants to ModelCheckerSettings	2021-10-26 11:30:30 +02:00
Leo Alt	d554824f70	Add Invariants which traverses the proof and collects invariants for the given predicates	2021-10-26 11:30:30 +02:00
Leo Alt	9bcd2c18e4	Add expression substitution to Predicate	2021-10-26 11:30:30 +02:00