3763 Commits

Author	SHA1	Message	Date
Harikrishnan Mulackal	215233d5c8	Merge pull request #10945 from ethereum/constructor-modifier-bugfix ... Fix IR bug about calling the wrong modifier during construction	2021-02-10 21:42:45 +01:00
hrkrshnn	2f30fdaa21	Fix IR bug about calling the wrong modifier during construction	2021-02-10 20:53:11 +01:00
Daniel Kirchner	cb74a45fd6	Add inlining for old optimizer.	2021-02-09 19:08:58 +01:00
chriseth	e777cad78a	Merge pull request #10924 from ethereum/exportDocs ... Export statement documentation.	2021-02-09 18:23:45 +01:00
chriseth	fcdb5e0b40	Export statement documentation.	2021-02-09 17:33:01 +01:00
hrkrshnn	8167029dc1	Updating tests after improving Yul error reporting	2021-02-09 16:55:33 +01:00
Djordje Mijovic	706f5d9874	[Sol2Yul] Fixing setLValue for calldata types.	2021-02-08 12:42:10 +01:00
chriseth	d4ce896582	Merge pull request #10886 from ethereum/issue-10874 ... OverrideSpecifier: Check for null before dereferencing	2021-02-04 14:12:07 +01:00
Mathias Baumann	3a8a74cbc7	OverrideSpecifier: Check for null before dereferencing	2021-02-04 13:17:28 +01:00
Daniel Kirchner	5faefdea65	Merge pull request #10893 from ethereum/string2BytesSol2Yul ... [Sol->Yul] Fixing string calldata to bytes calldata conversion.	2021-02-04 10:33:40 +01:00
Djordje Mijovic	530435439d	[Sol->Yul] Fixing string calldata to bytes calldata conversion.	2021-02-04 09:30:19 +01:00
Leonardo	7405dc5b7f	Merge pull request #10836 from ethereum/smt_fix_cex_inheritance ... Fix inheritance bug in CHC cex	2021-02-03 18:49:25 +01:00
Martin Blicha	4bcdac71df	[SMTChecker] updates to the tests	2021-02-03 15:53:58 +01:00
Leonardo Alt	665ce27c18	Fix inheritance bug in CHC cex	2021-02-02 18:06:32 +01:00
Martin Blicha	a49950cdf3	[SMTChecker] Added transaction constraints also for contract deployment	2021-02-01 16:46:34 +01:00
chriseth	c7d1e1911e	Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance ... [ewasm] Polyfill: balance, address.	2021-02-01 16:19:23 +01:00
Leonardo Alt	545305a31f	[SMTChecker] Fix super and virtual	2021-01-28 18:51:29 +01:00
Martin Blicha	deb90d84a6	[SMTChecker] added missing type constraints for Address	2021-01-27 20:39:24 +01:00
Martin Blicha	484e67815a	[SMTChecker] Basic support for inline assembly using over-approximating analysis	2021-01-26 16:20:50 +01:00
chriseth	4697beeab2	Merge pull request #10769 from ethereum/allocationCleanup ... Cleanup allocation.	2021-01-26 11:58:11 +01:00
Leonardo	22ad64a0fd	Merge pull request #10845 from ethereum/smt_z3_4-8-10 ... Update smtCheckerTests for z3 4.8.10	2021-01-26 11:37:03 +01:00
hrkrshnn	133bc72970	Tests and changelog for <address>.code.length shortcut	2021-01-26 11:08:39 +01:00
Leonardo Alt	40221a90c4	Update smtCheckerTests for z3 4.8.10	2021-01-26 10:18:52 +01:00
hrkrshnn	ec57c791ef	Fix infinite loop when accessing circular constants from inline assembly.	2021-01-26 09:22:05 +01:00
Mathias Baumann	07a1d230cd	Fix missing error when accessing unintialized variables.	2021-01-25 14:44:15 +01:00
Kamil Śliwak	4ad0b4338a	Fix the 'intheritance' typo in the name of the of the subdirectories in semanticTests/	2021-01-25 11:17:06 +01:00
Leonardo Alt	a612daa783	Add msgvalue to cex	2021-01-21 19:05:44 +01:00
Leonardo	a75b87c80e	Merge pull request #10813 from ethereum/smt_targets_option ... Add CLI and JSON option to select SMTChecker targets	2021-01-20 18:37:08 +01:00
chriseth	bbd29b24ab	Update tests.	2021-01-20 18:25:27 +01:00
chriseth	3cc07694ed	Cleanup allocation.	2021-01-20 18:25:27 +01:00
Leonardo Alt	3b23cadbdc	Add CLI and JSON option to select SMTChecker targets	2021-01-20 17:35:37 +01:00
chriseth	60cb8726f1	Enable test.	2021-01-20 14:02:35 +01:00
chriseth	aad7297b58	Merge pull request #10818 from ethereum/explainDisabled ... Enable via yul or explain why disabled.	2021-01-20 14:01:09 +01:00
Alexander Arlt	f928107181	[ewasm] Polyfill: balance & address: Update Tests.	2021-01-19 13:04:45 -05:00
Alexander Arlt	87e3fbee6c	[ewasm] Polyfill: balance & address.	2021-01-19 13:03:40 -05:00
Leonardo	0b023b893e	Merge pull request #10817 from ethereum/splitShiftBytesTest ... Split shift bytes test.	2021-01-19 16:16:45 +01:00
chriseth	06d19a9203	Enable via yul or explain why disabled.	2021-01-19 16:12:53 +01:00
chriseth	1fcc76a562	Fix empty packed encoder.	2021-01-19 15:50:04 +01:00
chriseth	52511a2163	Split shift bytes test.	2021-01-19 14:55:18 +01:00
chriseth	9caf671607	Merge pull request #10808 from ethereum/uninitializedInternal ... Update expectations for uninitialized internal function.	2021-01-19 13:02:33 +01:00
chriseth	c3d3415207	Update expectations for uninitialized internal function.	2021-01-19 12:37:30 +01:00
Leonardo	9bde92ca20	Merge pull request #10807 from ethereum/fixIRReasonStrings ... Properly omit require revert strings in IR code generator if requested.	2021-01-19 10:31:15 +01:00
Leonardo	957e9995a0	Merge pull request #10801 from blishko/issue-10793 ... [SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 22:37:16 +01:00
chriseth	185e129657	Merge pull request #10776 from ethereum/fixABIEncoderWithSignature ... Fix abi encode with signature shortcut.	2021-01-18 19:07:56 +01:00
chriseth	a3ee334b42	Omit require revert strings in IR code generator.	2021-01-18 18:47:55 +01:00
Martin Blicha	35d228d9b6	[SMTChecker] Gather local variables also from nested try/catch clauses	2021-01-18 18:30:18 +01:00
chriseth	87a68feea1	Merge pull request #10653 from ethereum/spdx-tests ... Add more tests for the SPDX-License-Identifier	2021-01-18 18:05:25 +01:00
Leonardo Alt	c7ca87c012	Fix static virtual resolution	2021-01-18 16:23:38 +01:00
Kamil Śliwak	f0cb181545	Even more license tests	2021-01-18 16:17:06 +01:00
Alex Beregszaszi	0a3084abc0	Add metadata tests for SPDX-License-Identifier	2021-01-18 16:17:06 +01:00