3157 Commits

Author	SHA1	Message	Date
Erik Kundt	38285b33d7	[isoltest] Prints bytes result if expectations mismatch.	2019-08-05 15:11:43 +02:00
Erik Kundt	07051f41d2	[isoltest] Reworks (default) ABI Type construction.	2019-08-05 15:00:04 +02:00
Erik Kundt	d9b98bf7af	[isoltest] Cleans up BytesUtils.	2019-08-05 15:00:04 +02:00
Erik Kundt	a7a8ba73f9	[isoltest] Moves error types to dedicated file.	2019-08-05 15:00:04 +02:00
chriseth	9b375edfe3	Merge pull request #6787 from ethereum/sol2yul-ctor-code ... Improve constructor-code codegen (wrt. state variable initialization)	2019-08-05 11:50:34 +02:00
Christian Parpart	235638b3fc	Implements constructor code for state variables.	2019-08-05 11:23:01 +02:00
Leonardo Alt	7b5863e583	Do not erase knowledge about storage pointers when another pointer is assigned	2019-08-02 13:09:06 +02:00
Bhargava Shastry	e018d62a67	Dynamically sized array dimensions can be zero sized	2019-08-01 16:33:57 +02:00
chriseth	7421d85346	Merge pull request #7094 from ethereum/isoltest-arrow-optional ... [isoltest] Introduce shorthand declaration: make `->` optional.	2019-08-01 15:42:42 +02:00
chriseth	742b4271fd	Merge pull request #7159 from ethereum/always_demand_tests ... Make sure a semantic test file always contains function calls	2019-08-01 15:12:13 +02:00
chriseth	2a25d7461f	Merge pull request #7123 from rocky/tolerate-pragma-mismatch ... A pragma version mismatch is not fatal if ...	2019-08-01 14:48:24 +02:00
chriseth	6730a59f74	Merge pull request #7157 from ethereum/fix-7155 ... FunctionType: Return correct stacksize for transfer/send	2019-08-01 14:40:35 +02:00
Mathias Baumann	c920b50ebe	Make sure a semantic test file always contains function calls ... Because if not, the code isn't even compiled.	2019-08-01 14:02:33 +02:00
Mathias Baumann	e887c06f6b	FunctionType: Return correct stacksize for transfer/send	2019-08-01 13:56:09 +02:00
Leonardo Alt	44d7c6976a	Erase pointer knowledge properly inside loops	2019-07-30 12:47:50 +02:00
Leonardo	00accd9daa	Merge pull request #7141 from ethereum/smt_fix_json ... [SMTChecker] Reset SSA index to 0 instead of increasing in context reset	2019-07-29 10:20:06 +02:00
Leonardo Alt	847f574e22	[SMTChecker] Fix ICE when inlining function with tuple expression	2019-07-26 16:29:29 +02:00
Leonardo Alt	6bcbeb1d23	[SMTChecker] Reset SSA index to 0 instead of increasing in context reset	2019-07-25 14:16:34 +02:00
Christian Parpart	b6446aa615	Extracting more end-to-end tests.	2019-07-22 16:31:46 +02:00
Erik Kundt	41fb6f4ff8	isoltest: Removes additional whitespaces from output.	2019-07-22 13:43:20 +02:00
Erik Kundt	8c51a089d7	isoltest: Makes -> declaration optional.	2019-07-22 13:25:11 +02:00
Christian Parpart	58d8243921	isoltest: Fixes parsing and printing strings with *basic* escape sequences in it. ... We explicitly did not implement a fully conformant ANSI escape sequence parser but only what is needed for now.	2019-07-22 11:32:17 +02:00
Leonardo	508cf66da2	Merge pull request #7062 from ethereum/smt_chc_checker ... [SMTChecker] Add skeleton for CHC	2019-07-19 15:41:43 +02:00
Leonardo Alt	03cc124f32	Add CHC skeleton	2019-07-19 11:52:05 +02:00
chriseth	8ba00cd7dd	Merge pull request #7126 from ethereum/addComprMSizeTest ... Add another test related to stack compressor and msize.	2019-07-18 20:12:11 +02:00
chriseth	a30be56c27	Additional type info for ABI.	2019-07-18 16:54:11 +02:00
chriseth	0c0b5a09cd	Add another test related to stack compressor and msize.	2019-07-18 16:40:46 +02:00
rocky	f9b631f410	A pragma version mismatch is not fatal if ... ... error recovery is desired. Fixes #7085	2019-07-17 19:01:01 -04:00
chriseth	15cba9163e	Merge pull request #7106 from ethereum/fixMSizeOpt ... Do not overwrite allowMSizeOptimization	2019-07-17 18:17:40 +02:00
Bhargava Shastry	90d421352a	Add bool type and array of bool and dynamic byte types	2019-07-17 14:24:43 +02:00
Bhargava Shastry	00bca77cca	Updated evmc to version tracked by evmone v0.1.0	2019-07-17 14:24:27 +02:00
Christian Parpart	810a0de1aa	Add evmc and host interface implementation. Modify fuzzer harness to make use of evmc host/vm.	2019-07-17 10:55:33 +02:00
chriseth	4fa7800458	Merge pull request #7109 from ethereum/ossfuzz-ci-update ... Update fuzzing deps in docker image and ossfuzz CMakeLists.txt	2019-07-17 10:51:28 +02:00
chriseth	35ca6ef5ed	Merge pull request #7079 from ethereum/moreWorkOnEWasmExternals ... Add eWasm externals.	2019-07-16 14:51:43 +02:00
chriseth	a0a0a34a21	Do not overwrite allowMSizeOptimization	2019-07-16 10:13:18 +02:00
chriseth	147f736f10	Merge pull request #7092 from ethereum/isoltest-parser-linenumbers ... [isoltest] Add source location to parser errors	2019-07-16 10:09:15 +02:00
Bhargava Shastry	5aa571e56f	Update fuzzing deps in docker image and ossfuzz CMakeLists.txt	2019-07-16 09:10:02 +02:00
Erik Kundt	2a1473fd30	Adds line numbers to parser errors in isoltest.	2019-07-15 14:16:07 +02:00
Erik Kundt	e269a0ff70	Adds constructor calls with ether value to isoltest.	2019-07-13 12:42:25 +02:00
chriseth	6c31a5f3dd	Improve formatting.	2019-07-11 17:37:23 +02:00
chriseth	e3433aa4eb	Add eWasm externals.	2019-07-11 17:37:23 +02:00
chriseth	869d69d293	Supply full object to stack compressor and Optimizer Suite.	2019-07-10 18:49:42 +02:00
chriseth	2a5280faa0	Check availability of data objects already in analysis phase.	2019-07-10 18:49:42 +02:00
chriseth	f3bdc79187	Merge pull request #7075 from ethereum/sol-yul-getter ... [Sol->Yul] Implement keccak & getter functions	2019-07-10 14:11:27 +02:00
Mathias Baumann	d264e3e0ba	[Sol->Yul] Implement getter functions	2019-07-10 13:42:39 +02:00
Mathias Baumann	37f04976a2	[Sol->Yul] Implement keccak256	2019-07-09 18:25:07 +02:00
Bhargava Shastry	3b33ff1454	Adjust call to suffixedVariableNameList post refactoring in ABIv2 proto fuzzer and slim down dependencies.	2019-07-09 18:18:40 +02:00
chriseth	15eb8fec50	Merge pull request #7015 from ethereum/sol-yul-arrays ... [Sol->Yul] Implement uint256[] memory arrays	2019-07-09 17:34:46 +02:00
Mathias Baumann	0f24fcea17	[Sol->Yul] Implement uint256[] memory arrays	2019-07-09 15:36:02 +02:00
chriseth	859dbaa2a3	Merge pull request #7053 from djudjuu/moveSuffixHelper ... move SuffixHelper to StringUtils	2019-07-09 14:32:05 +02:00