6475 Commits

Author	SHA1	Message	Date
chriseth	fe6e58b0e4	Merge pull request #12259 from ethereum/external-tests-and-scripts-minor-reactors ... Tiny refactors in external tests and scripts	2021-11-08 17:21:23 +01:00
chriseth	1633e367c9	Merge pull request #12199 from ethereum/expose-parsingAndImporting ... Expose "parsingAndImporting" setting to user	2021-11-08 17:06:20 +01:00
Kamil Śliwak	44f7065fc9	Merge pull request #12074 from ethereum/output-selection-in-assembler-mode ... CLI output selection in assembler mode	2021-11-08 16:59:57 +01:00
Kamil Śliwak	7ccdbd5b08	Use consistent syntax for Bash function declarations	2021-11-08 16:34:07 +01:00
Marenz	fc224f74c7	Evaluate absolute paths for imports in 'parsing' stage	2021-11-08 16:34:02 +01:00
Kamil Śliwak	bc2402e76f	externalTests: Use named tmp dirs	2021-11-08 16:29:59 +01:00
Kamil Śliwak	ed907561eb	externalTests: Enable set -e in external tests	2021-11-08 16:29:52 +01:00
chriseth	080c7245ae	Update tests.	2021-11-08 14:59:00 +01:00
chriseth	31c504c5ba	Add test for extcodesize check.	2021-11-08 14:58:09 +01:00
chriseth	a1aa9d2d90	Skip extcodesize check if return data is expected.	2021-11-08 14:58:09 +01:00
chriseth	f9ba1bf3c8	Merge pull request #12227 from ethereum/smt_fix_gas ... Fix ICE in CHC when using gas in the function options	2021-11-08 11:54:20 +01:00
Kamil Śliwak	1a19d9a5cf	New CLI output in assembly mode: --ewasm-ir	2021-11-04 18:23:11 +01:00
Kamil Śliwak	affeff18f5	Don't ignore output selection in assembly mode	2021-11-04 18:23:11 +01:00
chriseth	766d10b848	Tests.	2021-11-04 16:38:07 +01:00
chriseth	776ae466bc	Control flow side effects on non-disambiguated source.	2021-11-04 16:32:11 +01:00
Daniel Kirchner	95c973d6c2	Refactoring of optimiser suite and yulopti.	2021-11-03 19:33:01 +01:00
Daniel Kirchner	0cbb297c7b	Non-interactive mode for yulopti.	2021-11-03 19:33:01 +01:00
Leo	58688bd9c1	Merge pull request #12167 from ethereum/smt_merge_query_entry_points ... [SMTChecker] Merge all entry points for a target	2021-11-03 16:43:16 +01:00
Leo Alt	dff280cadc	Fix ICE in CHC when using gas in the function options	2021-11-03 15:40:54 +01:00
chriseth	6b029c3349	Merge pull request #11974 from ethereum/newCodeTransformIROnly ... New code transform (IR codegen only).	2021-11-03 14:52:28 +01:00
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
Daniel Kirchner	28ae316556	Named function labels.	2021-11-03 12:42:07 +01:00
Daniel Kirchner	1a0605c594	Update tests.	2021-11-03 12:39:55 +01:00
Leo Alt	e40cf92b1d	[SMTChecker] Merge all entry points for a target	2021-11-03 11:12:58 +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	7f7c5ca171	New tests.	2021-11-02 11:59:01 +01:00
chriseth	3996d0a343	Update tests.	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
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
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
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
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
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
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	37215ffcfd	Add SMTCheckerTest isoltest option to ignore invariants	2021-10-26 11:30:30 +02:00
Kamil Śliwak	2162039c50	Merge pull request #12142 from ethereum/bash-assert-and-stack-traces ... Assert and stack traces for Bash scripts	2021-10-26 10:44:39 +02:00
chriseth	e6e30f82ca	Merge pull request #12139 from ethereum/nonamedlabelsifnotunique ... Do not use named function labels if function names are not unique.	2021-10-25 17:50:29 +02:00