19089 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Alex Beregszaszi	d115c30dde	[CLI] Report error nicely if writing a file failed	2020-11-04 16:35:19 +00:00
Alex Beregszaszi	9ebd3da3ff	[CLI] Report error on missing file for --standard-json	2020-11-04 16:35:19 +00:00
Alex Beregszaszi	3c7f642227	Change readFile/readFileAsString to throw FileNotFound exception	2020-11-04 16:35:19 +00:00
chriseth	d1e1e961f2	Merge pull request #10085 from ethereum/yul-syntax-test-extractions ... Extracting inline assembly syntax tests.	2020-11-04 17:06:20 +01:00
Harikrishnan Mulackal	be74479517	Merge pull request #10197 from cakesoft-khushi/new_branch ... Update yul.rst	2020-11-04 12:37:39 +01:00
Christian Parpart	c00a825b10	error_codes.py: Remove IDs of tests that are now tested in yulSyntaxTests/	2020-11-04 12:03:33 +01:00
Christian Parpart	1a9a3b115c	Moving the surplus_input inline assembly test to yulSyntaxTests.	2020-11-04 12:03:33 +01:00
Christian Parpart	f55844e0f2	InlineAssembly: Extracting remaining tests.	2020-11-04 12:03:33 +01:00
Christian Parpart	3597c8343d	InlineAssembly: Extracting tests for name clashes.	2020-11-04 12:03:33 +01:00
Christian Parpart	55f9eab51f	InlineAssembly: Extracting tests for function definition and calls.	2020-11-04 12:03:33 +01:00
Christian Parpart	f2117b87f7	InlineAssembly: Extracting tests for for-statements.	2020-11-04 12:03:33 +01:00
Christian Parpart	671b1c950e	InlineAssembly: Extracting function expression tests	2020-11-04 12:03:33 +01:00
Christian Parpart	616f03f577	InlineAssembly: Extracting tests for variable declaration	2020-11-04 12:03:33 +01:00
Christian Parpart	cc230ddda3	InlineAssembly: Extracting tests for switch statement	2020-11-04 12:03:33 +01:00
Christian Parpart	6f872dbebf	InlineAssembly: Extracting tests for if statement	2020-11-04 12:03:33 +01:00
Christian Parpart	8270af8560	editorconfig: force same coding style on all .sol files	2020-11-04 12:03:33 +01:00
DELL	058721a0b7	Typo error	2020-11-04 16:31:12 +05:30
Leonardo	62535c2fd4	Merge pull request #10181 from ethereum/smt_user_timeout ... [SMTChecker] User timeout option	2020-11-04 10:55:28 +00:00
Leonardo	a8045ba5eb	Merge pull request #10177 from ethereum/smt_chc_fix_warnings ... [SMTChecker] Report SMTEncoder warnings also via CHC	2020-11-03 16:41:16 +00:00
Harikrishnan Mulackal	24cce56215	Merge pull request #10189 from ethereum/underscore-tests ... Add syntax and semantic tests for underscore	2020-11-03 17:06:31 +01:00
Leonardo Alt	daf859c15b	[SMTChecker] report SMTEncoder warnings also via CHC	2020-11-03 16:06:17 +00:00
chriseth	001eac546e	Merge pull request #10161 from ethereum/VirtualLookup-static ... Fix incorrectly set annotation.requiredLookup	2020-11-03 17:03:17 +01:00
Alex Beregszaszi	b0864a4af9	Add syntax and semantic tests for underscore	2020-11-03 15:22:57 +00:00
Đorđe Mijović	2f3b0bf9ef	Merge pull request #10182 from ethereum/storeExternalFunctions ... Store external functions	2020-11-03 15:09:42 +01:00
chriseth	7f1d8b9bf0	Merge pull request #10108 from ethereum/strict-literal-to-integer-conversion ... [BREAKING] Strict literal to integer conversion	2020-11-03 15:05:49 +01:00
chriseth	26cf6f189d	Test with storage struct containing external function.	2020-11-03 14:34:18 +01:00
chriseth	1f3239d097	Simplify split parameter.	2020-11-03 14:34:18 +01:00
chriseth	fea3f848f9	Prepare store for external function types.	2020-11-03 14:34:18 +01:00
hrkrshnn	29e23efc93	Tests/Docs after "stricter explicit conversion from Literals to Integers"	2020-11-03 14:31:44 +01:00
hrkrshnn	a555556559	Stricter explicit conversions from Literals to Integers. ... Explicit conversions from Literals to Integers will now be as strict as implicit conversions between the same.	2020-11-03 14:31:44 +01:00
chriseth	06d0459a72	Merge pull request #10187 from ethereum/validateExternal ... [SolYul] Properly validate external functions from calldata.	2020-11-03 14:29:28 +01:00
chriseth	5ffee049fa	Merge remote-tracking branch 'origin/develop' into breaking	2020-11-03 14:05:14 +01:00
chriseth	4e6ae00f89	Merge pull request #10096 from ethereum/pragmaabicoder ... Introduce abicoder pragma.	2020-11-03 13:53:59 +01:00
chriseth	9305ab987e	Merge pull request #10185 from ethereum/refatorMoveTests ... Move some tests to semanticTests	2020-11-03 13:50:30 +01:00
chriseth	e27a1b786b	Wording in error messages.	2020-11-03 13:31:51 +01:00
chriseth	631570c547	Documentation.	2020-11-03 13:31:51 +01:00
chriseth	834da7be90	Introduce abicoder pragma.	2020-11-03 13:31:50 +01:00
chriseth	c16b535804	Validate external functions from calldata.	2020-11-03 13:28:08 +01:00
Djordje Mijovic	3f60223c41	Moving enum test to semanticTests	2020-11-03 13:13:21 +01:00
Leonardo Alt	d03ddeb0fa	[SMTChecker] User timeout option	2020-11-03 10:46:11 +00:00
Djordje Mijovic	73fcd9b5f0	Moving some array tests to semanticTests	2020-11-03 11:34:22 +01:00
Djordje Mijovic	18a464f4f4	Moving some tests to semantic tests.	2020-11-03 11:00:52 +01:00
chriseth	22b31054b6	Merge pull request #10174 from ethereum/storeInternalFunctions ... Implement internal functions in storage.	2020-11-03 09:56:12 +01:00
Đorđe Mijović	e0529989da	Merge pull request #10180 from ethereum/convertDuringStoring ... [SolYul] Convert properly during storing.	2020-11-03 08:42:14 +01:00
chriseth	129b095b09	Implement internal functions in storage.	2020-11-02 23:10:03 +01:00
chriseth	da52313299	Merge pull request #10176 from ethereum/noMultiCallOpt ... [BREAKING] Disallow specifying call options multiple times.	2020-11-02 23:07:38 +01:00
chriseth	49bd3f2af4	Convert properly during storing.	2020-11-02 21:15:34 +01:00
chriseth	b287a6e995	Disallow specifying call options multiple times.	2020-11-02 20:07:23 +01:00
Leonardo	c83d8fae41	Merge pull request #10120 from ethereum/smt_fix_push_lvalue ... [SMTChecker] Fix internal error when array.push() is used as = LHS	2020-11-02 14:07:20 +00:00
Leonardo Alt	e38d0db683	[SMTChecker] Fix internal error when array.push() is used as LHS of assignment	2020-11-02 13:32:53 +00:00