5959 Commits

Author	SHA1	Message	Date
Alexander Arlt	ed27c77def	[isoltest] Ignore gas checks on isoltest builtins.	2021-04-27 16:28:37 -05:00
Alexander Arlt	1f2711b0aa	[isoltest] Replace storage command with 'storage_empty' builtin.	2021-04-27 16:28:37 -05:00
Alex Beregszaszi	5852972ec1	Merge pull request #11309 from ethereum/test-stringutils ... Add some semantic tests using stringutils	2021-04-27 18:12:37 +01:00
Alex Beregszaszi	5331bc679a	Fix some issues regarding checked arithmethics in stringutils	2021-04-27 17:05:40 +01:00
Alex Beregszaszi	6b3357be50	Add semantic tests using stringutils	2021-04-27 17:02:54 +01:00
chriseth	3548049c61	Merge pull request #10356 from ethereum/isoltest-add-enforce-ewasm ... [test] Add support for --enforce-compile-to-ewasm.	2021-04-27 17:51:33 +02:00
Kamil Śliwak	43de99dee5	Use 'optimizationPreset: none' for objectCompiler tests that rely on things that could get optimized out	2021-04-27 14:07:04 +02:00
Kamil Śliwak	a51d72fb89	ObjectCompilerTest: Replace 'optimize' setting with 'optimizationPreset'	2021-04-27 14:06:56 +02:00
Kamil Śliwak	9c6f8c011f	TestCaseReader: Add enumSetting()	2021-04-27 14:06:56 +02:00
Kamil Śliwak	28b9d27fae	SoltestErrors: Qualify runtime_error with std:: to make it possible to use in in headers	2021-04-27 13:43:07 +02:00
Alex Beregszaszi	1a556aaa7f	Move compilationTests/stringutils to semanticTests/externalContracts	2021-04-27 11:21:14 +01:00
chriseth	f72592549b	Merge pull request #11110 from ethereum/issue_10475_isoltest_external_sources ... [isoltest] Add support for external sources.	2021-04-27 10:54:39 +02:00
Alexander Arlt	da38149f57	[test] Add support for --enforce-compile-to-ewasm.	2021-04-26 20:31:03 -05:00
chriseth	2b5a24e82e	Add function side effects test.	2021-04-26 19:56:44 +02:00
chriseth	cb1af8b88a	Make verbatim compatible with KnownState.	2021-04-26 19:56:44 +02:00
chriseth	e2d8005737	Add verbatim builtin.	2021-04-26 19:56:44 +02:00
Alexander Arlt	481971cbcf	[isoltest] Add support for external sources.	2021-04-26 08:27:30 -05:00
chriseth	2969bc0f3e	Merge pull request #11302 from ethereum/drop-u160 ... Drop the util::u160 type	2021-04-26 15:12:20 +02:00
Alexander Arlt	8239eaa1b8	Fix test builtins & add simple smoke test.	2021-04-26 07:51:43 -05:00
chriseth	d9df3d50e2	Merge pull request #11311 from anurag-git/issue_10738-3 ... Use range-v3 loops(remove_erase, remove_erase_if)	2021-04-26 14:18:15 +02:00
chriseth	659da4bdc7	Merge pull request #11047 from ethereum/bytesToBytesNNConversion ... Bytes to bytesNN conversion	2021-04-26 11:51:41 +02:00
anurag4u80	c4cf412fed	Replaced boost remove_erase and remove_erase_if	2021-04-24 08:10:41 +05:30
Alex Beregszaszi	60189b4f61	Remove obsolete Error constructor	2021-04-23 23:55:22 +01:00
Kamil Śliwak	173a511809	Merge pull request #11303 from ethereum/noncopyable ... Remove the usage of boost::noncopyable	2021-04-23 22:38:49 +02:00
Alex Beregszaszi	f952f851b7	Enable more semantic tests for Ewasm	2021-04-23 17:00:01 +01:00
Alex Beregszaszi	73b804aff4	Update tests	2021-04-23 15:54:10 +01:00
Alex Beregszaszi	e39433198d	Remove the usage of boost::noncopyable ... Prior to this half of the codebase used explicit deleted copy constructors, the others used boost::noncopyable.	2021-04-23 14:57:01 +01:00
Alex Beregszaszi	ac192ff4c1	Drop the util::u160 type	2021-04-23 14:35:06 +01:00
Alex Beregszaszi	37be1b3ed9	Remove dependency on util::160 in yulInterpreter ... Instead apply explicit truncation or masking for readability.	2021-04-23 14:35:05 +01:00
Djordje Mijovic	eb457064b1	Adding semantic tests for bytes to bytesNN conversion.	2021-04-23 13:30:19 +02:00
Djordje Mijovic	ece42c07df	Adding syntax test for bytes to bytesNN conversion.	2021-04-23 13:19:19 +02:00
Harikrishnan Mulackal	f162c484ca	Merge pull request #11026 from ethereum/resolve-keccak ... Evaluate ``keccak256(a, const)``, when the value at memory location ``a`` is known at compile time and ``const <= 32``	2021-04-22 19:18:19 +02:00
hrkrshnn	b599235b8d	Skip resolving Keccak if AST contains msize. ... Also a refactoring changing `m_optimizeMLoad` to `m_containsMSize`.	2021-04-22 18:19:47 +02:00
hrkrshnn	3d29ae73e7	Isoltest: updated the gas tests.	2021-04-22 18:19:47 +02:00
hrkrshnn	b636ef881e	Added command line tests for keccak optimization with low runs ... The value of keccak256(0, 32) should not be replaced by the big constant	2021-04-22 18:19:47 +02:00
hrkrshnn	221292c278	Tests and changelog	2021-04-22 18:19:47 +02:00
hrkrshnn	1f5b874eaf	Optimizer context has parameter expectedExecutionsPerDeployment	2021-04-22 17:27:57 +02:00
chriseth	a6a3af58a0	Add test.	2021-04-22 17:23:56 +02:00
chriseth	ec4558a245	Update gas costs.	2021-04-22 16:54:02 +02:00
chriseth	314f361d07	Update commandline tests.	2021-04-22 16:54:02 +02:00
chriseth	00fb2d390b	Do not replace zeros by return variable.	2021-04-22 16:54:02 +02:00
Đorđe Mijović	8840fb6ffd	Merge pull request #11270 from ethereum/addingBoundsByteArraySolYul	2021-04-22 15:41:32 +02:00
chriseth	e408b708ac	Use "for objects" dialect for function side effects test.	2021-04-22 14:37:51 +02:00
Djordje Mijovic	3a4233f3ad	[Sol->Yul] Adding bounds check when increasing size of byte array.	2021-04-22 11:42:46 +02:00
chriseth	35b651103d	Adjust cost of literal zero.	2021-04-22 11:42:42 +02:00
Alex Beregszaszi	8fb7a18800	Small refactorings for isoltest	2021-04-22 01:04:34 +01:00
Alex Beregszaszi	f1aaae36ee	Upgrade to EVMC 7.5.0 ... One important change: MockedAccount.storage is a map and not unordered_map	2021-04-21 21:05:40 +01:00
Leonardo	7bbf3a694b	Merge pull request #11261 from ethereum/smt_choose_target ... [SMTChecker] Add option to choose contracts to be analyzed	2021-04-21 13:11:33 +02:00
chriseth	c3d73982ea	Merge pull request #11268 from ethereum/refactorByteArrayPopSol2Yul ... [Sol->Yul] Refactor ByteArrayPop to use unchecked index access	2021-04-21 13:05:00 +02:00
chriseth	e2120f1f2f	Merge pull request #11272 from ethereum/replace-boost-with-rangev3-solgen ... Remove most boost usages in Yul proto converter	2021-04-21 12:21:57 +02:00