3406 Commits

Author	SHA1	Message	Date
Erik Kundt	26ab2d4c06	Splits out compilation only phase for external tests.	2019-11-21 00:00:27 +01:00
chriseth	8f2595957b	Merge pull request #7719 from ethereum/librarySignatuŕes ... Add selector member to public and external library functions.	2019-11-20 18:43:14 +01:00
chriseth	5deaac0849	Merge pull request #7740 from ethereum/istanbul ... Enable support for Istanbul	2019-11-20 10:49:27 +01:00
Alex Beregszaszi	4d3aa6e99f	Update to EVMC7 ... This file was missed in 92745c7bfc	2019-11-20 00:18:32 +01:00
Alex Beregszaszi	978fccd133	Remove obsolete file from test/evmc	2019-11-20 00:18:32 +01:00
chriseth	32f321e416	Merge pull request #7751 from ethereum/replace_boost_variant_std ... Replace boost::variant by std::variant in libyul	2019-11-19 19:40:39 +01:00
chriseth	d696b3c92b	Merge pull request #7743 from ethereum/fixice-7558 ... Disallow conversion from ``super``	2019-11-19 18:52:33 +01:00
Alex Beregszaszi	2241c9181e	Add README into the test/evmc directory	2019-11-19 17:42:26 +01:00
Leonardo Alt	be849b3c47	Replace boost::variant by std::variant in libyul	2019-11-19 17:23:18 +01:00
Mathias Baumann	23cad71c88	Disallow conversion from `super`	2019-11-19 17:14:11 +01:00
Alex Beregszaszi	17ed0f0898	Set costs to 0 for unreachable cases in GasCosts tests	2019-11-19 17:09:18 +01:00
Alex Beregszaszi	17f6a5a060	Update test expectations in GasCosts for ABIEncoderV2	2019-11-19 17:09:18 +01:00
Alex Beregszaszi	da50285ae3	Update test expectations in GasCostsTests	2019-11-19 17:09:18 +01:00
Alex Beregszaszi	cbb08ae3db	Add semantic test for SELFBALANCE in inline assembly	2019-11-19 17:09:18 +01:00
Alex Beregszaszi	fc2af72a3d	Add semantic test for CHAINID in inline assembly	2019-11-19 17:09:18 +01:00
chriseth	0033d63522	Run more tests on istanbul.	2019-11-19 17:09:18 +01:00
Alex Beregszaszi	840aba8929	Add new gas price for deployed bytecode (EIP2028)	2019-11-19 17:09:18 +01:00
Alex Beregszaszi	71a310a2ea	Run fuzzer for istanbul	2019-11-19 17:09:18 +01:00
Mathias Baumann	eec1998a89	Update evmone version to v0.3.0 in docs and scripts	2019-11-19 16:49:43 +01:00
Alex Beregszaszi	9a124101ba	Set chain_id in EVMHost	2019-11-19 12:28:18 +01:00
Alex Beregszaszi	6b198a261b	Support Istanbul in EVMHost	2019-11-19 12:21:06 +01:00
Alex Beregszaszi	1432f0ad28	Adapt EVMHost for EVMC7	2019-11-19 12:21:03 +01:00
Alex Beregszaszi	92745c7bfc	Update EVMC to 7	2019-11-18 23:22:21 +01:00
Bhargava Shastry	62ae015552	docker: Add versioning and edit naming scheme	2019-11-18 15:16:53 +01:00
Bhargava Shastry	a8a50c4e0e	Upgrade evmone to v0.2.0 and adapt fuzzer build	2019-11-18 15:16:53 +01:00
Leonardo Alt	d818746e0c	[SMTChecker] Fix ICE in abi.decode	2019-11-18 13:15:10 +01:00
Bhargava Shastry	505b5deaf9	Add chainid and selfbalance opcodes to yul proto converter and enable it ... in the yul proto differential fuzzer.	2019-11-18 09:26:00 +01:00
Daniel Kirchner	a0ae36ba70	Add selector member to public and external library functions.	2019-11-15 16:12:29 +01:00
chriseth	766309b6e4	Merge pull request #7713 from ethereum/no-lib-instance-7625 ... Disallow variables of library types	2019-11-14 13:39:56 +01:00
Mathias Baumann	0891b9451b	Disallow variables of library types	2019-11-14 13:20:31 +01:00
chriseth	a667384517	Merge pull request #7712 from ethereum/fixIstanbulAsmParsing ... Fix assembly parsing by passing evm version.	2019-11-14 13:20:15 +01:00
chriseth	b099374d8c	Fix assembly parsing by passing evm version.	2019-11-14 13:06:36 +01:00
chriseth	8d46f39643	Merge pull request #7707 from ethereum/smt_ice_implicit_conversion ... [SMTChecker] Fix ICE in string literal to fixed bytes conversion	2019-11-14 11:52:58 +01:00
chriseth	f6191a7183	Merge pull request #7709 from ethereum/overloadMsgForMagic ... Reconstruct function definition for magic variables in overload error message.	2019-11-14 11:24:54 +01:00
Leonardo Alt	5f43b8dbeb	Output the storage layout of a contract via storageLayout artifact	2019-11-14 10:19:17 +01:00
chriseth	06588cde76	Reconstruct function definition for magic variables in overload error message.	2019-11-14 10:13:22 +01:00
Leonardo Alt	8efacfb545	[SMTChecker] Fix ICE in string literal to fixed bytes implicit conversion	2019-11-13 22:25:18 +01:00
Leonardo Alt	e3652627fd	[SMTChecker] Fix ICE in CHC when function used as argument	2019-11-13 15:11:30 +01:00
chriseth	c0cf96cbc1	Merge pull request #7699 from ethereum/test-require-str ... Test `require` with string literals	2019-11-13 12:20:23 +01:00
Mathias Baumann	c74b1daef2	Test require with string literals ... fixes #6651	2019-11-13 12:01:25 +01:00
Daniel Kirchner	ce7268272d	Allow obtaining the address of a library by conversion to `address`.	2019-11-12 17:09:13 +01:00
chriseth	a7e133b95c	Merge pull request #7696 from ethereum/semanticsTestsLibraryDeployment ... Add support for external libraries to extracted semantics tests.	2019-11-12 15:50:36 +01:00
Daniel Kirchner	c7e3318dba	Add support for external libraries to extracted semantics tests.	2019-11-12 15:19:04 +01:00
Leonardo Alt	dc2dff839c	[SMTChecker] Remove flaky tests until we fix the SMTChecker tests	2019-11-12 12:58:42 +01:00
Leonardo Alt	b323134ef0	[SMTChecker] Update test expectations for z3 4.8.6	2019-11-11 18:43:59 +01:00
chriseth	a5f0422dcc	Merge pull request #7662 from ethereum/cmakeNoGlobInTests ... Do not rely on cmake's GLOB for test/	2019-11-10 15:28:11 +01:00
Leonardo Alt	5dacaf57bc	Fix ICE in FixedBytes IndexAccess	2019-11-08 17:29:40 +01:00
Daniel Kirchner	25a933a906	Do not rely on cmake's GLOB for test/	2019-11-08 16:12:42 +01:00
chriseth	a081b720b9	Merge pull request #7587 from ethereum/abiv2-returndata-fuzz ... Abiv2 returndata fuzz	2019-11-07 15:03:14 +01:00
Alex Beregszaszi	18542ebf31	Use evmc_load_and_configure to support passing EVMC options	2019-11-07 10:42:41 +00:00