4349 Commits

Author	SHA1	Message	Date
chriseth	dfa0bcf760	More strict override check for data locations.	2022-05-17 13:02:12 +02:00
Daniel Kirchner	12ee9aed50	Merge pull request #13013 from ethereum/revert-disallow-returndatacopy-in-pure-functions ... Revert "Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions"	2022-05-13 18:52:37 +02:00
Leo Alt	6a126f6ccb	Update tests and hashes for z3 4.8.17	2022-05-13 15:25:10 +02:00
Matheus Aguiar	35661479b6	Revert "Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions" ... This reverts commit f567eb1fb2. Correcting Bugfixes section of Changelog.	2022-05-13 08:35:21 -03:00
Daniel Kirchner	aafda389ea	Merge pull request #12907 from ethereum/calldataReencodeValidationBug ... Calldatasize-check during ABI encoding from calldata values with nested dynamic arrays.	2022-05-12 17:56:44 +02:00
Daniel Kirchner	352a3c5f4b	Bug list entry, changelog entry and tests.	2022-05-12 13:08:30 +02:00
Leo Alt	cbaba6f913	update tests	2022-05-11 20:02:31 +02:00
Daniel Kirchner	d3a837b340	Bugfix.	2022-05-11 18:17:47 +02:00
Daniel Kirchner	d92ed3fd29	Test case for the buggy behaviour.	2022-05-11 18:17:47 +02:00
Kamil Śliwak	0e0d1972f9	Disable non-deterministic counterexamples in some SMT tests ... - The counterexamples sometimes do appear and the tests fail.	2022-05-10 12:48:01 +02:00
Marenz	893122eb89	lsp.py: Support subdirectories	2022-05-09 14:54:55 +02:00
Leo Alt	201c6c6819	fix smt flaky test	2022-05-05 11:38:16 +02:00
Leo Alt	cba3d18f66	adjust for osx nondeterminism	2022-05-04 19:04:54 +02:00
Leo Alt	4fd7de36f1	update smt tests z3 4.8.16	2022-05-03 14:23:27 +02:00
chriseth	df29ea72f0	Merge pull request #12836 from ethereum/fixUsingGlobal ... Fix using global with libraries.	2022-05-02 12:41:34 +02:00
chriseth	505fa7763f	Fix checks for "using for ... global" for libraries.	2022-05-02 12:40:56 +02:00
Alexey Shekhirin	cb24e5d545	fix(parser): error for unexpected token	2022-04-29 16:13:04 +04:00
chriseth	d55b84ff63	Merge pull request #12861 from ethereum/disallow-returndatacopy-in-pure-functions ... Disallow RETURNDATACOPY and RETURNDATASIZE in inline assembly in pure functions	2022-04-28 13:15:04 +02:00
Marenz	afd9feead4	LSP.py: Implement simple send/respond framework	2022-04-13 13:22:05 +02:00
Leo Alt	f9fa76c9d3	smt encode call	2022-04-11 12:19:41 +02:00
Joshua Quinones	e1a59397c6	Renamed AssemblyStack to YulStack ... All files, references, variables, comments, etc. were renamed to YulStack.	2022-04-08 20:28:55 +02:00
Kamil Śliwak	f567eb1fb2	Disallow RETURNDATASIZE and RETURNDATACOPY in inline assembly blocks in pure functions	2022-04-08 14:48:35 +02:00
Kamil Śliwak	fb7c969ce8	Tests for assembly instructions allowed with mutable/view/pure functions	2022-04-08 14:47:32 +02:00
Kamil Śliwak	0bb885dab2	Bring soltestAssert() up to date with solAssert() ... - Allow omitting description. - Provide a default description. - Use a custom exception type derived from util::Exception rather than std::exception.	2022-04-06 22:26:10 +02:00
Ryan	3a17274691	Improve error message for static array with size too large	2022-04-05 17:36:37 +02:00
Aisultan Kali	96376264e8	Set handlers use unified jsonPrint with prettifier if needed	2022-04-04 20:17:11 +02:00
chriseth	755e043a6d	Use error message for unary operators.	2022-04-04 16:53:36 +05:30
nishant-sachdeva	4c6066bfad	typeCheckAbiEncodeCallFunction should type check the arguments on functionPointerType->asExternallyCallableFunction instead of teh plain function type	2022-03-24 18:53:46 +05:30
Marenz	0bf674b442	LSP test: Minor refactoring and better exception reporting	2022-03-21 13:23:02 +01:00
Daniel Kirchner	4b9c01752d	Test updates.	2022-03-16 15:34:38 +01:00
Daniel Kirchner	5cd98006d4	Fill in junk in stack layouts on terminating control flow paths.	2022-03-15 18:36:55 +01:00
Daniel Kirchner	8cb01a9953	Fix and updated test.	2022-03-15 10:23:09 +01:00
Daniel Kirchner	db27051024	Test for old behaviour.	2022-03-15 10:23:09 +01:00
chriseth	9188519f11	Using for with global binding.	2022-03-14 17:39:14 +01:00
chriseth	7f360e61fc	Merge pull request #12781 from ethereum/fixImportDirectiveVisits ... Fix import directive visits in type checker and view pure checker.	2022-03-14 15:35:37 +01:00
chriseth	3d8fc6b126	Merge pull request #12760 from ethereum/viaIRNonExperimental ... Mark viaIR code generation as non-experimental.	2022-03-14 15:30:15 +01:00
Daniel Kirchner	0f1a63c3fa	Fix import directive visits in type checker and view pure checker.	2022-03-14 14:53:06 +01:00
Daniel Kirchner	e58c0b561d	Mark viaIR code generation as non-experimental.	2022-03-14 14:48:00 +01:00
wechman	8a254b7a7f	Use sol file to validate test variants	2022-03-14 14:21:30 +01:00
wechman	4c1224e3bf	Generate ASTJSONTest variants only if a file with expected result exists	2022-03-14 14:21:30 +01:00
wechman	371a531381	Add "fail after parsing" scenario to ASTJSON tests	2022-03-14 14:21:30 +01:00
wechman	f431c6f058	Support compilation fail scenarios in ASTJSON tests	2022-03-14 14:21:06 +01:00
wechman	38639417e1	Non-fatal erros do not stop ASTJSON test execution	2022-03-14 14:21:06 +01:00
wechman	5f7ff667b9	Fix syntax errors in ASTJSON tests	2022-03-14 14:21:06 +01:00
wechman	d609409624	Add not_existing_import.json to ASTJSON tests	2022-03-14 14:21:06 +01:00
chriseth	3f6beaa0ad	Merge pull request #12121 from ethereum/extend-using-statement ... Extend using statement	2022-03-14 14:10:16 +01:00
hrkrshnn	672951ccc7	Extend using-for.	2022-03-14 12:33:44 +01:00
Christian Parpart	2b2f8acc12	LSP: Implements goto-definition.	2022-03-14 11:59:41 +01:00
nishant-sachdeva	b7a9daa2f8	Generate warning when rational numbers are converted to their mobile type without explicit requests	2022-03-14 14:04:46 +05:30
Daniel Kirchner	09f667948b	Merge pull request #12746 from tfire/fix/remove-namespace-ast-annotations ... Remove use of `using namespace` in header file	2022-03-11 12:49:13 +01:00