3673 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	018960ebb1	Rename EWasmObjectCompiler to WasmObjectCompiler	2019-12-18 15:59:31 +00:00
chriseth	bdd338a8de	Merge pull request #7921 from ghallak/func-selector-ast-json ... Add function selector to FunctionDefinition AST JSON	2019-12-16 14:07:35 +01:00
Gaith Hallak	371e6a4801	Add function selector to FunctionDefinition AST JSON	2019-12-16 15:16:54 +03:00
Erik Kundt	cc1b28b12e	Fixes segfault on empty contract w/ error recovery.	2019-12-13 15:39:19 +01:00
Alex Beregszaszi	4a2a2eb635	Remove Boost <1.55 workaround for multiprecision::msb()	2019-12-13 00:15:15 +00:00
chriseth	c175a468ab	Do not call ABIEncoderV2 experimental.	2019-12-12 10:59:07 +01:00
chriseth	f1e7bec11d	Include public state variables' base functions in the AST.	2019-12-11 15:32:28 +01:00
Leonardo Alt	1fb62b91d2	Add more override tests with public state variables	2019-12-11 15:15:51 +01:00
chriseth	70623665bf	Move helper structs and clean code.	2019-12-11 15:15:51 +01:00
chriseth	30732269f6	Consider state vars.	2019-12-11 15:15:51 +01:00
chriseth	57824566e6	Use proxies.	2019-12-11 15:15:51 +01:00
chriseth	3e1b00b459	Introduce proxies.	2019-12-11 15:15:51 +01:00
chriseth	90feb8f72a	Move Visibility out of Declaration.	2019-12-11 00:38:59 +01:00
chriseth	a66b5ea0ad	Fix visitor.	2019-12-10 16:54:04 +01:00
chriseth	93d84f3554	Split out override checker into its own file.	2019-12-10 16:00:05 +01:00
chriseth	a5f7661075	Ambigous overrides for modifiers.	2019-12-09 18:43:59 +01:00
chriseth	152f42c6b2	Make ambigous override checker generic.	2019-12-09 18:41:39 +01:00
chriseth	e1d6ce2b66	Override checks for modifiers.	2019-12-09 18:41:39 +01:00
chriseth	f6916a637e	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-09 17:16:58 +01:00
Daniel Kirchner	4c7f9f9751	Do not require overriding for functions in common base with unique implementation.	2019-12-09 16:04:45 +01:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00
chriseth	0176c97626	Merge pull request #7923 from ethereum/assertAddressName ... Fix wrong construction of ElementaryTypeNameToken	2019-12-09 14:36:01 +01:00
Mathias Baumann	be615d4f2b	Fix wrong construction of ElementaryTypeNameToken ... And add an assert to prevent it in the future	2019-12-09 13:24:33 +00:00
Mathias Baumann	e999409c89	Sync & update AST exporting according to AST changes	2019-12-09 10:42:24 +00:00
chriseth	e061f1e743	Merge remote-tracking branch 'origin/develop' into HEAD	2019-12-05 16:44:26 +01:00
Mathias Baumann	b7d5de59c5	Implement overridding of functions by public variables	2019-12-05 12:48:52 +00:00
Gaith Hallak	4d90180e24	Support referencing other constants in inline assembly	2019-12-05 13:27:17 +03:00
Daniel Kirchner	426f04b389	Implement and fix overriding unimplemented and implemented functions with unimplemented functions.	2019-12-05 09:26:43 +01:00
Daniel Kirchner	8b35918ad0	Replace superFunction by baseFunctions in AST annotations and JSON AST.	2019-12-05 03:33:32 +01:00
chriseth	d34b0b76b1	Merge pull request #7837 from ethereum/docstring-named-return ... Report DocString error on named return paramater mismatch	2019-12-04 17:57:52 +01:00
Leonardo Alt	7be6b54fc7	Add comment	2019-12-04 17:31:44 +01:00
Leonardo Alt	48c3a5c225	[SMTChecker] Create options to choose SMT solver in runtime	2019-12-04 17:31:44 +01:00
chriseth	42d9a8e962	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-04 17:01:44 +01:00
Erik Kundt	19d466d6fb	Fixes named return natspec errors in compilation tests.	2019-12-04 15:38:12 +01:00
Erik Kundt	e5cb0fe839	Reports doctring error on named return mismatch.	2019-12-04 15:38:11 +01:00
Leonardo Alt	67d82fc8a7	[SMTChecker] Use rlimit instead of tlimit for SMT queries	2019-12-04 11:52:18 +01:00
chriseth	e3ee67da6c	Merge pull request #7792 from ethereum/enableYulOptimizer ... Enable yul optimizer by default.	2019-12-03 21:24:22 +01:00
chriseth	2d42da3b7d	Merge pull request #7817 from ethereum/bail-on-shadowing-state-vars ... Report error on shadowing state variables	2019-12-03 21:22:39 +01:00
Christian Parpart	7bbdfe070f	Make shadowing of inherited state variables an error.	2019-12-03 21:20:03 +01:00
chriseth	2f11ac3590	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-03 21:17:15 +01:00
chriseth	19a6f09cc8	Merge commit '4d2f20570' into develop_060	2019-12-03 21:01:31 +01:00
chriseth	96d777d7f1	Merge commit 'a7d481fb9' into develop_060	2019-12-03 20:47:30 +01:00
Alex Beregszaszi	9140a7d64e	Support catching YulException nicely in StandardCompiler	2019-12-03 19:06:21 +01:00
Leonardo Alt	b1577f5e46	[SMTChecker] Fix ICE in array of structs type	2019-12-03 01:12:30 +01:00
Daniel Kirchner	05baa23e8a	Require unimplemented functions to be virtual.	2019-12-02 21:59:00 +01:00
Daniel Kirchner	77a9e91443	Enable yul optimizer by default.	2019-12-02 19:30:14 +01:00
chriseth	c61ed0b22d	Merge pull request #7797 from ethereum/allowTranslationInAssemblyMode ... Allow EVM to EWasm translation in assembly mode.	2019-12-02 13:15:06 +01:00
Leonardo	a7d481fb94	Merge pull request #7851 from ethereum/smt_fix_function_type ... [SMTChecker] Fix ICE for arrays and mappings of functions.	2019-11-30 13:15:08 +01:00
Leonardo	767ce4417f	Merge pull request #7850 from ethereum/smt_fix_typetype ... [SMTChecker] Fix visit to IndexAccess that has type Type	2019-11-29 18:18:26 +01:00
Leonardo Alt	5adc2a40b9	[SMTChecker] Fix ICE for arrays and mappings of functions.	2019-11-29 18:06:44 +01:00
Leonardo Alt	9eda95caf9	[SMTChecker] Fix visit to IndexAccess that has type Type	2019-11-29 17:20:50 +01:00
Leonardo Alt	c09da092d2	[SMTChecker] Fix constructors with local vars	2019-11-29 16:59:15 +01:00
Daniel Kirchner	025a696bb0	Fix unrelated test failure.	2019-11-28 20:01:36 +01:00
Daniel Kirchner	7d1b0c6023	Fix Yul IR push	2019-11-28 18:11:38 +01:00
chriseth	ccfc1840a9	Allow assembly stack to translate its source.	2019-11-28 16:15:15 +01:00
Leonardo Alt	a352abe00d	[SMTChecker] Add support to constructors	2019-11-28 14:43:23 +01:00
chriseth	f7fc42d8c3	Merge pull request #7826 from ethereum/develop ... Merge develop into develop_060	2019-11-28 13:37:19 +01:00
Leonardo Alt	240ff30878	[SMTChecker] Do not visit the name of a modifier invocation	2019-11-27 22:34:33 +01:00
chriseth	1ebcc757e1	Merge remote-tracking branch 'origin/develop' into develop_060	2019-11-27 19:14:08 +01:00
Mathias Baumann	7bc6645218	Disallow use of virtual and private together	2019-11-27 18:52:41 +01:00
chriseth	23181f549e	Remove plain new operators from AST.	2019-11-27 18:03:09 +01:00
chriseth	0bb88dabb7	Restrict usage of plain "new".	2019-11-27 17:55:11 +01:00
chriseth	b0db64ff5b	Merge remote-tracking branch 'origin/develop' into develop_060	2019-11-26 16:19:35 +01:00
chriseth	41177bc75c	Merge pull request #7770 from ethereum/yul_string_format ... [Yul] Format string literals back to quoted string literals	2019-11-26 15:51:54 +01:00
chriseth	0973ae751a	Do not warn about enabled ABIEncoderV2 anymore.	2019-11-26 15:49:42 +01:00
Leonardo Alt	ce83bfb088	[Yul] Format string literals back to quoted string literals	2019-11-26 15:28:39 +01:00
Gaith Hallak	4a1e85436b	Allow splitting string literals into multiple parts	2019-11-26 14:41:30 +03:00
Leonardo Alt	ddc478e3e4	Add CallbackKind and use it for the SMT solver	2019-11-21 22:10:21 +00:00
chriseth	a00f824479	Merge pull request #7773 from ethereum/develop ... Merge develop into develop_060	2019-11-21 21:49:22 +01:00
chriseth	a26dd5a428	Remove trailing spaces in output.	2019-11-21 20:09:03 +01:00
chriseth	d5e9271592	Merge pull request #7350 from ethereum/array-length-rvalue ... Make `length` member read-only	2019-11-21 19:22:42 +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
Leonardo Alt	389da5228e	Merge remote-tracking branch 'origin/develop' into merge_develop_060	2019-11-20 12:27:40 +01:00
Daniel Kirchner	372df6b9e1	Implement array push and pop for yul and replace assignments in via yul tests.	2019-11-20 12:04:42 +01:00
chriseth	5deaac0849	Merge pull request #7740 from ethereum/istanbul ... Enable support for Istanbul	2019-11-20 10:49:27 +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
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	840aba8929	Add new gas price for deployed bytecode (EIP2028)	2019-11-19 17:09:18 +01:00
Erik Kundt	ecaed1030f	Makes array length access read-only.	2019-11-19 16:09:21 +01:00
Erik K	94272d44aa	Merge pull request #7745 from ethereum/develop ... Merge develop into develop_060	2019-11-19 15:30:31 +01:00
chriseth	6797879128	Merge pull request #7647 from ethereum/virtual-5424 ... Implement virtual keyword	2019-11-19 13:21:27 +01:00
Leonardo Alt	d818746e0c	[SMTChecker] Fix ICE in abi.decode	2019-11-18 13:15:10 +01:00
Daniel Kirchner	a0ae36ba70	Add selector member to public and external library functions.	2019-11-15 16:12:29 +01:00
chriseth	216e1749f4	Merge remote-tracking branch 'origin/develop' into develop_060	2019-11-14 13:42:46 +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
Mathias Baumann	5b8ff78176	Implement virtual keyword	2019-11-14 11:49:39 +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
chriseth	c4441bac5b	Merge pull request #7705 from ethereum/list-overloads-7146 ... List candidates when overload failed	2019-11-13 17:35:37 +01:00
Mathias Baumann	15df2b30d7	List candidates when overload failed ... fixes #7146	2019-11-13 15:54:36 +01:00
Leonardo Alt	e3652627fd	[SMTChecker] Fix ICE in CHC when function used as argument	2019-11-13 15:11:30 +01:00
Mathias Baumann	7d4e4b6088	Parse "virtual" keyword	2019-11-13 13:28:01 +01:00
djudjuu	e437443645	Inline assembly to AST json export	2019-11-13 12:13:22 +01:00
Daniel Kirchner	ce7268272d	Allow obtaining the address of a library by conversion to `address`.	2019-11-12 17:09:13 +01:00
Daniel Kirchner	8148619d5b	Merge branch 'develop' into develop_060	2019-11-12 10:32:41 +01:00
Mathias Baumann	e35a23bbcc	Add `switch (..) to style checker	2019-11-11 17:44:21 +01:00
Mathias Baumann	e643c4ca28	Add `while (..) to style checker	2019-11-11 17:28:41 +01:00
chriseth	2e5a42836c	Merge pull request #7681 from ethereum/develop ... Merge develop into develop_060	2019-11-11 16:42:03 +01:00
Christian Parpart	f15d47f165	Yul: Remove obsoleted FunctionalInstruction.	2019-11-11 16:04:39 +01:00
Alexander Arlt	ce0cef7cbc	Output which functions are not implemented	2019-11-08 14:06:57 -05:00
Leonardo Alt	5dacaf57bc	Fix ICE in FixedBytes IndexAccess	2019-11-08 17:29:40 +01:00
chriseth	138ee647f1	Provide different options for reason strings.	2019-11-07 14:13:53 +01:00
Daniel Kirchner	108992c335	Merge pull request #7640 from ethereum/smt_fix_060 ... [SMTChecker] Fix override tests	2019-11-07 14:10:10 +01:00
chriseth	c0b27d0bc1	Merge pull request #7648 from ethereum/inlineAssemblyShadowing ... Error on shadowing and invalid names in inline assembly	2019-11-07 13:31:09 +01:00
Daniel Kirchner	0556f64722	Analyze inline assembly variable declarations for invalid or shadowing names.	2019-11-07 13:04:37 +01:00
Leonardo Alt	fc945880d1	[SMTChecker] Fix override tests	2019-11-07 11:49:32 +01:00
Leonardo Alt	6b10efff8c	Add CHCSmtLib2Interface	2019-11-07 11:12:11 +01:00
chriseth	21e65076b3	Merge pull request #7650 from ethereum/develop ... Merge develop into develop_060	2019-11-06 21:56:55 +01:00
cd10012	a94d22e5fe	Add documentation for extractReturnParameterDocs	2019-11-06 21:45:01 +01:00
cd10012	16fe59b7b4	Implement @erak review notes by creating function and adding constructor test ... Update 060 doc with natspec change Add two more tests with mixed usage Fix solc-js fix changelog	2019-11-06 21:44:59 +01:00
cd10012	f598b1515f	Give unamed parameters unique keys and update tests to new spec ... Fix whitespace	2019-11-06 21:44:34 +01:00
cd10012	18fe693fdd	Add unamed return param test and check size in conditional	2019-11-06 21:44:09 +01:00
cd10012	b3ae601e88	Refactor to have multiple return params	2019-11-06 21:44:09 +01:00
chriseth	30ea41c36d	Merge pull request #7526 from ethereum/modifierDepth ... Add modifier depth to source mappings.	2019-11-06 13:03:40 +01:00
Leonardo Alt	10e70b8603	[SMTChecker] Support inheritance and resolve overrides	2019-11-06 11:00:06 +01:00
chriseth	587c87b15b	Commandline interface additions for webassembly binary.	2019-11-05 20:05:57 +01:00
chriseth	e79a32e9d5	Wasm to binary assembly stack.	2019-11-05 20:02:42 +01:00
chriseth	4d99bf68f4	Merge pull request #7638 from ethereum/develop ... Merge develop into develop_060	2019-11-05 17:33:54 +01:00
chriseth	cb2096c82a	Add modifier depth to source mappings.	2019-11-05 16:50:38 +01:00
chriseth	5388c919f0	Some changes to "abstract".	2019-11-05 13:55:31 +01:00
Leonardo Alt	c5e081dc8c	[SMTChecker] Refactor CHC loops and add if blocks	2019-11-05 09:28:59 +01:00
chriseth	46ac16d25c	Merge remote-tracking branch 'origin/develop' into develop_060	2019-11-04 19:09:11 +01:00
Leonardo	1eac3d1d83	Merge pull request #7582 from ethereum/smt_multid_array_assignment ... [SMTChecker] Support assignments to m-d arrays and mappings	2019-11-04 17:37:33 +01:00
Daniel Kirchner	3321fc56ea	Split fallback function and introduce "fallback()" and "receive()" syntax.	2019-11-04 17:17:58 +01:00
chriseth	5392532d70	Fix override error message.	2019-11-04 13:37:23 +01:00
Alexander Arlt	f3f652e290	Update TypeChecker.cpp	2019-11-01 14:54:47 -05:00
Alexander Arlt	c908c16acd	Remove InternalCompilerError on abstract contract instantiation.	2019-11-01 14:54:47 -05:00
Alexander Arlt	62950a9234	Support for abstract contracts.	2019-11-01 14:54:47 -05:00
Mathias Baumann	6c6a9054b2	Implement override checking	2019-10-30 17:31:33 +01:00
Mathias Baumann	5ff02c12e2	Add reference to contract in FunctionDefinition annotation	2019-10-30 17:31:33 +01:00
Mathias Baumann	20e227afb5	Ensure list of overrides consists of contracts	2019-10-30 17:31:33 +01:00
Mathias Baumann	b76106fc4a	Parse override keyword for modifier definitions	2019-10-30 17:31:33 +01:00
Mathias Baumann	f4c40080c4	Move if-condition to function for re-use	2019-10-30 17:31:33 +01:00
chriseth	c30839888f	Use `leave` in code generator.	2019-10-29 14:32:16 +01:00
chriseth	ceb8ee9124	[Yul] leave statement.	2019-10-29 14:32:16 +01:00
Leonardo Alt	8a42e3f87a	[SMTChecker] Support assignments to m-d arrays and mappings	2019-10-28 17:27:39 +01:00
chriseth	edf1e83fda	Merge remote-tracking branch 'origin/develop' into develop_060	2019-10-28 15:21:49 +01:00
chriseth	607bf24afe	Merge pull request #7386 from ethereum/060-strict-inline-assembly ... Defaulting to strict inline assembly (instead of loose)	2019-10-28 12:48:58 +01:00
chriseth	9719f099aa	Merge pull request #7551 from ethereum/060-cxx17-std-optional ... Use `std::optional<>` rather than `boost::optional<>`	2019-10-28 12:17:31 +01:00
chriseth	07c67b98f6	Merge remote-tracking branch 'origin/develop' into HEAD	2019-10-28 12:12:52 +01:00
Christian Parpart	df729b3084	Make use of C++17 std::optional<> instead of boost::optional<>.	2019-10-28 11:39:30 +01:00
Henry Lee	24cbb4dd17	Treat magic variables as unknown identifiers in inline assembly ... This fixes #4575. For keywords such as 'super' and 'this', will be treated as unknown identifiers.	2019-10-28 14:59:50 +11:00
Christian Parpart	3c1d12b16c	Assembly: Remove errorTypeForLoose property from AsmAnalyzer.	2019-10-25 15:01:26 +02:00
Christian Parpart	dc2adb3d9d	Assembly: Removing EVMDialect::looseAssemblyForEVM().	2019-10-25 15:01:26 +02:00
Christian Parpart	e23998fc6e	Assembly: Remove Label instruction.	2019-10-25 15:01:25 +02:00
Christian Parpart	5e8d348f66	Assembly: Remove StackAssignment instruction.	2019-10-25 15:01:25 +02:00
Christian Parpart	5a52fa547e	Assembly: Changed parser to use strict assembly mode.	2019-10-25 15:01:25 +02:00
chriseth	15e39f7d65	Merge pull request #7556 from ethereum/ice-7550 ... Check for use of modifiers in invalid contexts	2019-10-24 10:32:49 +02:00
Christian Parpart	76c72ba89f	Fixes signedness (causes compilation failure on MSVC).	2019-10-23 16:32:41 +02:00
Mathias Baumann	c3e8023ad5	Fix wrong assert in overflow check	2019-10-23 14:59:34 +02:00
Christian Parpart	c6152b8059	Compile fix.	2019-10-23 13:08:17 +02:00
Mathias Baumann	8c5d1da5a5	Check for use of modifiers in invalid contexts	2019-10-23 12:36:20 +02:00
Mathias Baumann	ad7cf42aad	Add missing dots in deprecation warning	2019-10-23 12:23:21 +02:00
Mathias Baumann	6ac12afd06	Disallow call of same-class-ctor as modifier	2019-10-23 10:29:41 +02:00
Mathias L. Baumann	7e01696030	Merge pull request #7554 from ethereum/develop ... Merge develop into develop_060	2019-10-21 17:05:12 +02:00
chriseth	ebfe7391ff	Use selfbalance for `address(this).balance`.	2019-10-16 14:25:56 +02:00
Gaith Hallak	62a62555bc	Remove trailing spaces from JSON output	2019-10-02 19:02:35 +02:00
Gaith Hallak	9d34d7de2f	Remove trailing spaces from JSON output	2019-10-02 18:01:47 +03:00
chriseth	f884373142	Merge branch 'origin/develop' into develop_060	2019-10-02 16:29:36 +02:00
Daniel Kirchner	7202ebb5b2	Fix internal compiler error for arrays of recursive structs.	2019-10-01 16:51:14 +02:00
Christian Parpart	00d7dac15f	Fixes source location in warning for shadowing import delcarations.	2019-09-30 11:45:46 +02:00
Leonardo	ca714a2d3d	Merge pull request #7485 from ethereum/develop ... Merge develop into develop_060	2019-09-26 15:43:12 +02:00
chriseth	387cb620e9	Merge pull request #7452 from ethereum/smt_fix_function_name ... [SMTChecker] Fix SMT name for function identifiers	2019-09-24 15:55:14 +02:00
chriseth	cda23d63e9	Merge pull request #7458 from ethereum/fixErrorMessage ... Fix error message about accessing storage pointers.	2019-09-24 15:11:03 +02:00
Leonardo Alt	83ef34f41d	[SMTChecker] Fix SMT name for function identifiers	2019-09-24 11:23:10 +02:00
chriseth	ca21659749	Fix error message about accessing storage pointers.	2019-09-24 10:52:02 +02:00
chriseth	b5d6d5fcf9	Create.	2019-09-23 17:22:56 +02:00
chriseth	70b796bd1a	Code generator for try/catch.	2019-09-23 17:22:56 +02:00
chriseth	8e736a9f49	Type Checker for try/catch.	2019-09-23 17:22:56 +02:00
chriseth	b5bc52f2a7	Control flow for try statements.	2019-09-23 17:22:56 +02:00
chriseth	6d6914f98f	Parser for try/catch.	2019-09-23 17:22:42 +02:00
chriseth	a66c354698	AST for try and catch.	2019-09-23 17:22:09 +02:00
Leonardo Alt	ed9674be8d	[SMTChecker] Add as const function to SMTLib2Interface	2019-09-18 22:57:14 +02:00
chriseth	9ecd51c54d	Refactor.	2019-09-18 14:06:03 +02:00
Leonardo Alt	43d6e00b14	Add push() for dynamic storage arrays	2019-09-17 13:47:33 +02:00
chriseth	5b3efee93b	Merge pull request #7442 from ethereum/develop ... Merge develop into develop_060	2019-09-17 12:16:27 +02:00
Leonardo Alt	eab9f65610	Fix ICE when pop dyn storage array of mapping	2019-09-16 16:33:17 +02:00
Leonardo Alt	d685554980	Create option for metadata hash	2019-09-13 18:59:12 +02:00
Leonardo Alt	e1c238e25f	[SMTChecker] Add loop support	2019-09-13 12:40:53 +02:00
Daniel Kirchner	4782c800ec	Initial introduction of array slices with partial implementation for dynamic calldata arrays.	2019-09-13 10:57:53 +02:00
Leonardo Alt	5cfe0b7670	Allow explicit conversion from address to address payable	2019-09-09 23:46:00 +02:00
Daniel Kirchner	f4d990e5be	Drop constant and payable fields from ABI.	2019-09-06 14:42:09 +02:00
Daniel Kirchner	5d69bdf81e	Remove ASTPrinter.	2019-09-06 12:38:55 +02:00
chriseth	ea0a952a69	Merge pull request #7362 from ethereum/develop ... Merge develop into develop_060	2019-09-05 16:50:44 +02:00
Daniel Kirchner	7148792b8a	Refactor ExpressionCompiler with acceptAndConvert.	2019-09-05 15:05:59 +02:00
chriseth	fd687f50ff	Merge pull request #7353 from ethereum/develop ... Update 0.6.0 from develop	2019-09-04 20:21:37 +02:00
krk	33f7f960cf	Allow exponentials with signed base and unsigned power.	2019-09-04 17:32:47 +02:00
chriseth	8485a1abec	Change ABI sorting order.	2019-09-04 13:06:09 +02:00
Leonardo Alt	a51577facf	Fix Windows build	2019-09-02 22:37:30 +02:00
Leonardo Alt	a774b2d905	[SMTChecker] Zero-initialize arrays	2019-09-02 22:37:30 +02:00
chriseth	c499758cd8	Merge pull request #7326 from ethereum/develop ... Merge develop into 0.6.0 branch.	2019-09-02 16:11:20 +02:00
Daniel Kirchner	2b938d703c	Allow global enum definitions.	2019-09-02 11:52:51 +02:00
Daniel Kirchner	872d21f527	Allow global struct definitions.	2019-09-02 11:17:42 +02:00
Leonardo Alt	214e5c6369	[SMTChecker] Fix index access type type error	2019-08-27 16:39:19 +02:00
Mathias Baumann	24716404f8	Parse override keyword	2019-08-26 17:34:21 +02:00
Mathias L. Baumann	502bf01be2	Merge pull request #7278 from ethereum/develop ... Merge develop into develop_060	2019-08-26 10:26:48 +02:00
Mathias Baumann	0e3ff25b4e	Make sure json output array order is consistent ... The source of the "contractDependencies" value was an std::map, thus order was more or less random.	2019-08-19 17:42:03 +02:00
Daniel Kirchner	4354ef2ef4	Add update suggestion.	2019-08-19 14:58:05 +02:00
Daniel Kirchner	42f30981db	Add unimplemented assertion to IR generation when accessing address member of external function types.	2019-08-19 14:56:04 +02:00
Daniel Kirchner	9f6fff2120	Replace casting of external functions to address by a member named "address".	2019-08-19 14:56:04 +02:00
chriseth	c047803b80	Change BreadthFirstSearch to use value types instead of pointers.	2019-08-15 16:10:10 +02:00
Leonardo Alt	1a70a46f9b	[CHC] Add function blocks and check asserts	2019-08-15 12:25:15 +02:00
Daniel Kirchner	e545103ec8	Extract reasonOfFailure to lambda function.	2019-08-14 17:59:48 +02:00
Daniel Kirchner	b0a5666b43	Better error messages when writing to expressions that cannot be written to.	2019-08-14 17:59:48 +02:00
chriseth	0c2f8ddfae	Merge pull request #7231 from ethereum/extractMSize ... [Yul] Remove ContainsMSize from side-effect-collector.	2019-08-13 18:03:51 +02:00
chriseth	57125de9ef	Remove ContainsMSize from side-effect-collector.	2019-08-13 13:34:33 +02:00
Mathias Baumann	444395960f	Fix link to Contract ABI in source code	2019-08-13 12:43:04 +02:00
Leonardo	cbac3a4208	Merge pull request #7107 from ethereum/smt_chc_constructor_interface ... [SMTChecker] Add CHC constructor/interface/error blocks	2019-08-12 15:06:08 +02:00
Leonardo Alt	bef6228810	[SMTChecker] Create CHC constructor/interface/error blocks	2019-08-12 12:34:57 +02:00
Leonardo Alt	360f868836	[SMTChecker] Fix literal string type mismatch	2019-08-10 21:51:46 +02:00
Leonardo Alt	4214cd1354	[SMTChecker] Fix ICE when reporting cex concerning state vars from different source files	2019-08-10 20:56:52 +02:00
Leonardo	67c855e93e	Merge pull request #7170 from ethereum/smt_fix_other_contract_state_var ... [SMTChecker] Fix ICE when inlining functions from different source	2019-08-09 19:14:28 +02:00
Leonardo Alt	7b22496b1f	[SMTChecker] Fix ICE when inlining functions that use state vars and are in a different source	2019-08-09 17:50:52 +02:00
Leonardo Alt	11d8cf588e	[SMTChecker] Set unknown values for return variables of recursive functions	2019-08-09 17:01:08 +02:00
chriseth	74f16ef186	Refactor IRLValue so that it does not require IRGenerationContext.	2019-08-08 17:27:35 +02:00
chriseth	9955c51769	Merge pull request #7077 from ethereum/sol-yul-delete-fixed-storage ... [Sol->Yul] Implement delete for fixed-sized storage arrays	2019-08-08 16:47:16 +02:00
mingchuan	15631a7fbe	Split calldataEncodedSize into calldataEncodedSize, calldataEncodedTailSize and calldataHeadSize and fix all usages.	2019-08-08 15:52:21 +02:00
Mathias Baumann	e072885031	[Sol->Yul] Implement delete for fixed-sized storage arrays	2019-08-07 18:28:52 +02:00
chriseth	6166dc8e8f	Merge pull request #6856 from rocky/recoveringParser1-ast ... Produce AST even when there are parser errors	2019-08-07 15:56:45 +02:00
chriseth	c8f04b88bf	Merge pull request #7176 from ethereum/decodeMemoryLocation ... Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode	2019-08-07 15:42:14 +02:00
rocky	7fd7cc1e76	Produce AST even when there are parser errors	2019-08-07 15:25:53 +02:00
Daniel Kirchner	efb34bdf22	Always copy dynamically-sized memory arrays during CompilerUtils::abiDecode.	2019-08-06 14:11:14 +02:00
Leonardo Alt	369f8cd97f	[SMTChecker] CHC create function return variables	2019-08-05 12:36:51 +02:00
Leonardo	11632966c9	Merge pull request #7171 from ethereum/smt_fix_compound_bitwise ... [SMTChecker] Fix ICE compound bitwise op inside branch	2019-08-05 12:15:01 +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	d5fb8cf58a	[SMTChecker] Fix ICE compound bitwise op inside branch	2019-08-02 20:02:39 +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
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	e887c06f6b	FunctionType: Return correct stacksize for transfer/send	2019-08-01 13:56:09 +02:00
chriseth	04f298fd0e	Merge pull request #7132 from ethereum/smt_acc_solver ... [SMTChecker] EncodingContext config flag to accumulate assertions	2019-08-01 13:04:37 +02:00
chriseth	aa87a607fd	Merge pull request #7152 from ethereum/smt_fix_pointer_cleanup ... [SMTChecker] Erase pointer knowledge properly inside loops	2019-08-01 12:46:20 +02:00
Leonardo Alt	44d7c6976a	Erase pointer knowledge properly inside loops	2019-07-30 12:47:50 +02:00
Mathias Baumann	d9addbcf49	Fix error in g++7 with -O2 flag	2019-07-29 16:17:41 +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	0197a200cd	Merge pull request #7142 from ethereum/smt_init_numbers ... [SMTChecker] Initialize all number types with 0	2019-07-29 10:19:17 +02:00
Leonardo Alt	847f574e22	[SMTChecker] Fix ICE when inlining function with tuple expression	2019-07-26 16:29:29 +02:00
Leonardo Alt	cd5a5b3686	[SMTChecker] Initialize all number types with 0	2019-07-25 15:15:18 +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
Leonardo	264035f0dd	Merge pull request #7120 from ethereum/smt_refactor_inlining ... [SMTChecker] Refactor function inlining	2019-07-22 14:20:32 +02:00
Leonardo Alt	b204f27047	[SMTChecker] EncodingContext config flag to accumulate assertions	2019-07-19 19:31:25 +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	a30be56c27	Additional type info for ABI.	2019-07-18 16:54:11 +02:00
Leonardo Alt	382df64899	[SMTChecker] Refactor function inlining	2019-07-18 13:56:48 +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
Leonardo Alt	71144d0d39	[CHCChecker] Add CHCSolverInterface and Z3CHCSolverInterface	2019-07-15 17:31:39 +02:00
chriseth	579bdaddb9	Merge pull request #7088 from ethereum/diffLegYul ... Document differences between legacy Solidity and Solidity via Yul.	2019-07-11 17:59:01 +02:00
chriseth	76d7ea888b	Document differences between legacy Solidity and Solidity via Yul.	2019-07-11 17:48:06 +02:00
chriseth	869d69d293	Supply full object to stack compressor and Optimizer Suite.	2019-07-10 18:49:42 +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
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
djudjuu	cafa01cbf6	moved SuffixHelper to StringUtils	2019-07-09 13:50:07 +02:00
chriseth	9cb9021c36	Cope with constants without value in inline assembly.	2019-07-09 11:12:13 +02:00
Leonardo	75eb67c3e0	Merge pull request #7050 from ethereum/smt_set_solver ... [SMTChecker] EncodingContext's solver needs to be set dynamically	2019-07-08 15:19:55 +02:00
Leonardo Alt	96b0c4c148	[SMTChecker] New VariableUsage flag to inline functions	2019-07-08 14:40:33 +02:00
Leonardo Alt	01570bbc8c	EncodingContext's solver needs to be set dynamically	2019-07-08 14:40:15 +02:00
chriseth	18072586c9	Remove trailing whitespace in error message.	2019-07-08 14:28:38 +02:00
chriseth	25928767b7	Merge pull request #7058 from ethereum/smt_reset_context ... [SMTChecker] Clear encoding context before engine starts	2019-07-08 12:36:50 +02:00
chriseth	aac226f7c1	Merge pull request #7041 from ethereum/smt_function_sort ... [SMTChecker] Allow symbolic functions to be created via Sort	2019-07-08 12:33:38 +02:00
chriseth	7267873a96	Merge pull request #7038 from ethereum/addSecondaryLocationToStandardIO ... Provide secondary source location for error messages in standard json.	2019-07-08 12:00:09 +02:00
Leonardo Alt	be663680d4	[SMTChecker] Clear encoding context before engine starts	2019-07-08 11:56:04 +02:00
chriseth	2e01816c6b	Merge pull request #7042 from ethereum/make-whiskers-fail-early ... Make Whiskers fail early when called with int	2019-07-04 12:19:54 +02:00
Leonardo Alt	4aebdcc442	[SMTChecker] Allow FunctionSort to be created via sort and not type	2019-07-04 12:00:24 +02:00
chriseth	d3e542d32c	Provide secondary source location for error messages in standard json.	2019-07-04 10:54:01 +02:00
Mathias Baumann	3e51d14c6d	Fix missing int -> string conversion	2019-07-04 09:31:24 +02:00
Leonardo Alt	934e00d235	[SMTChecker] SymbolicVariables use EncodingContext to declare SMT vars	2019-07-03 16:05:56 +02:00
chriseth	b837705259	Merge pull request #7018 from ethereum/compile_only_requested ... Compile only requested sources and contracts	2019-07-03 14:11:42 +02:00
chriseth	2b91022b25	Fix view/pure checker for access to base.	2019-07-03 11:19:57 +02:00
chriseth	60525dbf52	Merge pull request #7026 from ethereum/asmConstants ... Support direct constants in inline assembly.	2019-07-02 14:21:24 +02:00
chriseth	817852c650	Merge pull request #7030 from ethereum/smt_move_solver ... [SMTChecker] Move solver from SMTEncoder to BMC	2019-07-02 14:08:55 +02:00
chriseth	e542e46163	Merge pull request #7022 from ethereum/smt_create_expr ... [SMTChecker] Always create symbolic expression	2019-07-02 14:07:24 +02:00
chriseth	cdd137e3d1	Support constant numbers in inline assembly.	2019-07-02 14:01:05 +02:00
chriseth	ca10b59b25	Merge pull request #7020 from ethereum/smt_fix_callstack_message ... [SMTChecker] Fix wrong assertion in callstack message	2019-07-02 13:47:49 +02:00
Leonardo Alt	b0818bd002	[SMTChecker] Move solver pointer from SMTEncoder to BMC	2019-07-02 12:06:52 +02:00
Leonardo Alt	6f8fd309a2	Compile only requested sources and contracts	2019-07-01 18:52:21 +02:00
Leonardo Alt	fb3c85633b	Always create symbolic expression	2019-07-01 16:25:33 +02:00
Leonardo Alt	75663dc91e	[SMTChecker] Fix require with message	2019-07-01 16:17:06 +02:00
Leonardo Alt	6606a13ed2	[SMTChecker] Remove unsound assertion (too strong)	2019-07-01 16:16:39 +02:00
Leonardo Alt	3cb4ed83c1	[SMTChecker] Split SMTChecker into SMTEncoder and BMC	2019-07-01 15:05:03 +02:00
chriseth	3be21800ac	Merge pull request #6683 from ethereum/updateSwarm ... Update swarm hash.	2019-06-27 13:18:29 +02:00
chriseth	53f37f487f	Merge pull request #6994 from ethereum/smt_refactor_targets ... [SMTChecker] Delay all checks	2019-06-27 12:56:34 +02:00
chriseth	89f0e1e6da	Use updated swarm hash.	2019-06-27 12:49:06 +02:00
chriseth	aa11ad7d0a	Update swarm hash.	2019-06-27 12:48:51 +02:00
chriseth	8d18003808	Merge pull request #6716 from ethereum/wasmTranslation ... [Yul] EVM to Wasm translation	2019-06-27 12:31:35 +02:00
Leonardo Alt	a28b84fdc3	[SMTChecker] Add a more general VerificationTarget	2019-06-27 10:31:50 +02:00
chriseth	b4a0a79398	Merge pull request #6993 from ethereum/smt_false_positives ... [SMTChecker] Remove overflow check for assignments	2019-06-26 13:06:31 +02:00
chriseth	c6f7f5b2b0	Enable EWasm output.	2019-06-25 19:07:38 +02:00
chriseth	fe9aa59b8f	Fix conversion during storing.	2019-06-25 13:00:02 +02:00
Leonardo Alt	48d6729164	[SMTChecker] Remove overflow check for assignments	2019-06-24 17:58:56 +02:00
chriseth	efd8d8fe5e	Merge pull request #6991 from ethereum/check_style-no-space-before-range-based-for-loop-colon ... Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops.	2019-06-24 17:42:06 +02:00
Christian Parpart	7b3aba81fb	Adds a test to check_style.sh to check for spaces before colon (:) in range based for loops.	2019-06-24 17:32:58 +02:00
chriseth	2563178a0a	Merge pull request #6990 from ethereum/sol-yul-storage-array-index ... Enable yul for more end to end tests	2019-06-24 16:30:33 +02:00
Leonardo Alt	ed275fd760	[SMTChecker] Collect assertions in EncodingContext	2019-06-24 15:03:00 +02:00
Mathias Baumann	0e812b16c2	Minor indent fix	2019-06-24 14:51:04 +02:00
chriseth	9c129a4087	Merge pull request #6984 from ethereum/yul-reindent ... yul: adds reindent() function to reindent yul source code and makes us of it in IRGenerator	2019-06-24 12:54:40 +02:00
Christian Parpart	0fd1db533e	yul: adds reindent() function to reindent yul source code and makes use of it in IRGenerator. ... This function does count curly and round braces and reindents accordingly the beginning of each line. It does consider line-comments (// and ///) but not multiline comments (/* ... */).	2019-06-24 12:53:50 +02:00
chriseth	350631ae0d	Merge pull request #6940 from ethereum/sol-yul-storage-array-index ... [Sol->Yul] Implement index access for storage arrays	2019-06-24 12:49:19 +02:00
Mathias Baumann	1dd63f416e	[Sol->Yul] Implement index access for storage arrays	2019-06-20 16:14:51 +02:00
Mathias Baumann	346c512cd7	[Sol->Yul] Implement _slot/_offset suffix for storage variables	2019-06-20 14:50:52 +02:00
chriseth	9bb7160c4c	Merge pull request #6958 from sifmelcara/fix-abiencoderv2-codegen ... Fix incorrect abi encoding of storage array of data type that occupy multiple storage slots	2019-06-20 13:08:42 +02:00
Daniel Kirchner	fcd3410f26	Implement checked mod for sol->yul code generation.	2019-06-20 12:30:32 +02:00
Daniel Kirchner	a5b9f634ef	Implement signed multiplication for sol->yul code generation.	2019-06-20 12:30:30 +02:00
Daniel Kirchner	e4c884ae13	Unify style of checked integer division for sol->yul code generation.	2019-06-20 12:18:18 +02:00
Daniel Kirchner	5f6af8b374	Implement signed subtraction for sol->yul code generation.	2019-06-20 12:16:56 +02:00
Daniel Kirchner	88988af561	Implement signed addition for sol->yul code generation.	2019-06-20 11:42:50 +02:00
Mathias Baumann	b03cb2bce6	YulUtilFuncs: Add missing/adjust existing documentation	2019-06-19 18:09:23 +02:00
Mathias Baumann	910cb8d329	[Sol->Yul] Implement .length for storage arrays	2019-06-19 18:09:23 +02:00
Mathias Baumann	c5b50039d2	[Sol->Yul] Report error after Ir code ... this way less scrolling is required	2019-06-19 18:09:23 +02:00
mingchuan	ae273ff3bd	Move code that access calldata array element to separate function	2019-06-19 17:26:35 +08:00
mingchuan	492f945973	Coding style fix	2019-06-19 17:26:34 +08:00
chriseth	53f26d9719	Merge pull request #6963 from ethereum/runOptimizerOnAllDialects ... [Yul] Run optimizer on all dialects.	2019-06-19 10:51:24 +02:00
chriseth	cc5045a56e	[Yul] Run optimizer on all dialects.	2019-06-19 10:01:16 +02:00
mingchuan	bfe074b2b1	Fix storage array abi encoding ... Fix incorrect abi encoding of storage array of data type that occupy multiple storage slots	2019-06-19 10:46:05 +08:00
chriseth	56db792ad9	Merge pull request #6876 from rocky/recoveringParser1-StandardCompiler ... Add parser errorRecovery (including StandardCompiler)	2019-06-18 22:40:35 +02:00
rocky	1a7e09ab7a	Add errorRecovery boolean to StandardCompiler	2019-06-18 15:54:05 -04:00
chriseth	05a67c486e	Use "what" in exception reports.	2019-06-18 17:34:10 +02:00
chriseth	6cb6fe35ef	Make Yul optimizer not fail for wasm.	2019-06-17 18:42:47 +02:00
chriseth	d7211c17e9	Merge pull request #6953 from ethereum/fix-comments-in-pr ... [Sol->Yul] Style fixes	2019-06-17 17:29:05 +02:00
Mathias Baumann	8ca27c2bb0	[Sol->Yul] Style fixes ... addresses the points @chriseth mentioned in #6909	2019-06-17 15:26:40 +02:00
rocky	ca3afea1d7	Add Steve Johnson-style parser recovery rules: ... SourceUnit = Error $ Block = '{' Error '}' ContractDefinition = '{' Error '}' Statement = Error ';' Co-Authored-By: chriseth <chris@ethereum.org>	2019-06-17 14:47:07 +02:00
Daniel Kirchner	4d38df6920	Set state mutability of function type members `gas and value` to pure.	2019-06-13 18:27:53 +02:00
Leonardo	7a42ae2b7b	Merge pull request #6894 from ethereum/smt_catch_expr ... [SMTChecker] Catch malformed expressions	2019-06-12 21:17:10 +02:00
Leonardo	d2019f49ea	Merge pull request #6906 from ethereum/delegatecall_value_msg ... Improve error message for delegatecall.value	2019-06-12 21:14:54 +02:00
Daniel Kirchner	2849169bff	Merge pull request #6909 from ethereum/yul-delete-operation ... [Sol->Yul] Make IRStorageItem work with dynamic offsets	2019-06-12 16:46:00 +02:00
Mathias Baumann	6a0976ed5e	[Sol->Yul] Refactor shift functions to be consistent	2019-06-11 17:44:36 +02:00
Mathias Baumann	89c435a167	[Sol->Yul] Make IRStorageItem work with dynamic offsets	2019-06-11 17:44:36 +02:00
Daniel Kirchner	226f8bb64d	Use imported cmake targets for boost.	2019-06-06 18:49:34 +02:00
Daniel Kirchner	2dbdddc7e5	Fix argument count for require with message and string literals.	2019-06-06 13:17:08 +02:00
Leonardo Alt	b7634faa3d	Improve error message for delegatecall.value	2019-06-06 12:55:12 +02:00
Leonardo Alt	1221eeebf1	[SMTChecker] Report malformed expressions more precisely	2019-06-06 11:54:29 +02:00
Leonardo Alt	f281c94b42	[SMTChecker] Test that non-Boolean literals are actually integers	2019-06-05 10:51:05 +02:00
Daniel Kirchner	d99c37e1ee	Merge pull request #6891 from ethereum/z3cmake ... Build System: Try to find Z3 using CONFIG_MODE and stock cmake files before manual search.	2019-06-05 10:46:50 +02:00
Leonardo	3a3316393e	Merge pull request #6897 from ethereum/smt_check_pragma_earlier ... [SMTChecker] Exit early if no pragma	2019-06-05 10:26:25 +02:00
Leonardo	c39ea56f93	Merge pull request #6896 from ethereum/smt_use_portfolio ... [SMTChecker] Use SMTPortfolio directly	2019-06-05 10:26:05 +02:00
Leonardo	155af48b9d	Merge pull request #6895 from ethereum/smt_keep_assertions ... [SMTChecker] Keep a copy of assertions that are added to the solvers	2019-06-05 10:25:45 +02:00
Leonardo Alt	4de1e20954	[SMTChecker] Exit early if no pragma	2019-06-04 17:12:15 +02:00
Leonardo Alt	91653526bb	[SMTChecker] Use SMTPortfolio directly instead of pointer to SolverInterface	2019-06-04 17:10:52 +02:00
Leonardo Alt	31ef421fff	[SMTChecker] Keep a copy of assertions that are added to the solvers	2019-06-04 17:09:04 +02:00
Daniel Kirchner	9f5340fa53	Try to find Z3 using CONFIG_MODE before manual search.	2019-06-04 15:58:03 +02:00
Leonardo Alt	d9ce9cab99	[SMTChecker] Use smtlib's implies instead of \!a or b	2019-06-04 14:23:44 +02:00
chriseth	4ee703e6e5	Revert "Add Steve Johnson-style parser recovery rules:" ... This reverts commit 97f8ee0d1b.	2019-05-28 18:09:24 +02:00
chriseth	f9dca1f282	Merge pull request #6681 from rocky/recoveringParser1 ... Add Steve Johnson-style parser recovery rules:	2019-05-28 15:36:45 +02:00
rocky	97f8ee0d1b	Add Steve Johnson-style parser recovery rules: ... SourceUnit = Error $ Block = '{' Error '}' ContractDefinition = '{' Error '}' Statement = Error ';' Co-Authored-By: chriseth <chris@ethereum.org>	2019-05-28 15:06:34 +02:00
chriseth	a3f721bbcc	Merge pull request #6583 from ethereum/reset_yulstringrepo ... Reset YulStringRepository regularly	2019-05-28 14:20:53 +02:00
chriseth	2276b567b1	Merge pull request #6840 from ethereum/discoverMSize ... Only remove msize-modifying instructions if msize is not used.	2019-05-28 13:16:55 +02:00
Bhargava Shastry	dbae0fa939	Reset Yul string repository before each compilation.	2019-05-28 13:12:39 +02:00
chriseth	df96648b1c	Do not allow msize in inline assembly if the Yul optimizer is active.	2019-05-28 12:54:33 +02:00
chriseth	c3cdae908d	Merge pull request #6767 from ethereum/constantOptimiserForYul ... [Yul] Constant optimiser	2019-05-28 11:53:04 +02:00
chriseth	b95eebee1c	Merge pull request #6822 from ethereum/uninitializedLoadFromStorage ... Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage.	2019-05-28 11:48:56 +02:00
chriseth	1c16124a09	Constant optimiser for Yul.	2019-05-28 11:35:07 +02:00
chriseth	fbf189151d	[SolYul] Division.	2019-05-27 17:53:46 +02:00
chriseth	5b1a984882	Explicitly turn uninitialized internal function pointers into invalid function when loaded from storage.	2019-05-27 17:26:37 +02:00
chriseth	a600126703	Merge pull request #6833 from sifmelcara/fix-struct-array-mapping ... Fix assignment of struct containing array of mappings	2019-05-27 11:14:28 +02:00
mingchuan	bf8af89bba	Fix assignment of struct containing array of mappings	2019-05-25 01:33:49 +08:00
chriseth	fb40063253	Compound assignment.	2019-05-23 21:32:30 +02:00
Mathias Baumann	981983089c	[Sol -> Yul] Implement delete for function pointers	2019-05-23 15:51:59 +02:00
Mathias Baumann	81702717b0	[Sol -> Yul] Enable function pointer comparison	2019-05-23 12:52:50 +02:00
chriseth	0291abf10f	Merge pull request #6818 from ethereum/alwaysUseBuiltins ... Provide builtin functions even in loose assembly mode.	2019-05-23 12:29:12 +02:00
chriseth	97fa21841d	Use different way to fall back to FunctionalInstruction for loose assembly.	2019-05-23 11:30:12 +02:00
chriseth	9a00729ce7	Provide dialect to Parser and InlineAssembly AST nodes.	2019-05-23 00:24:58 +02:00
chriseth	7506b5752a	Do not require payable for callvalue instruction.	2019-05-22 11:30:29 +02:00
chriseth	e324deabd6	Merge pull request #6740 from ethereum/unary-ops ... [Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, !	2019-05-20 18:06:01 +02:00
Daniel Kirchner	b6f4d4e9bc	[Sol - Yul] Implement checked multiplication.	2019-05-20 17:36:53 +02:00
Mathias Baumann	86000fdcce	[Sol -> Yul] Implement unary -, +	2019-05-20 16:14:46 +02:00
chriseth	e08f521b7e	Merge pull request #6764 from ethereum/smt_fix_tuple_ice ... [SMTChecker] Fix ICE in unsupported function calls with multi return values	2019-05-20 15:18:11 +02:00
chriseth	bbf45c4af1	Merge pull request #6758 from ethereum/smt_global_context ... [SMTChecker] Move handling of global vars and functions	2019-05-20 15:15:54 +02:00
Mathias Baumann	7dbcb80523	[Sol -> Yul] Implement Int/Bool Unary: ++, --, ~, !	2019-05-20 11:43:12 +02:00
Leonardo Alt	60a4f03d3d	[SMTChecker] Fix ice in unsupported functions with multi return values	2019-05-16 18:23:42 +02:00
Leonardo Alt	5493a41842	[SMTChecker] Move global variables and functions to encoding context	2019-05-16 18:11:31 +02:00
chriseth	f2ae30f620	Fix handling of structs of dynamic size as constructor parameters.	2019-05-16 17:10:54 +02:00
chriseth	9d291a86cc	Merge pull request #6742 from ethereum/smt_expr_context ... [SMTChecker] Move expression handling to EncodingContext	2019-05-16 12:47:15 +02:00
chriseth	ce19e2e4bc	Merge pull request #6599 from ethereum/ipfsHash ... Add IPFS hash of source files to metadata.	2019-05-15 14:21:58 +02:00
chriseth	b01a8c544c	Use IPFS url in metadata for source links.	2019-05-15 12:40:03 +02:00
Daniel Kirchner	a10501bb7d	Merge pull request #6725 from AndreyBronin/develop ... GCC 9.1 build fix. error: redundant move in return statement	2019-05-15 11:37:20 +02:00
Andrey Bronin	4eb37fe631	fix warning in GCC 9.1: redundant move in return statement	2019-05-14 17:44:28 +03:00
Leonardo Alt	4e430ba0ae	[SMTChecker] Move expression handling to EncodingContext	2019-05-14 15:56:43 +02:00
chriseth	74fbf5402d	Merge pull request #6737 from ethereum/smt_vars_context ... [SMTChecker] Move variable handling to EncodingContext	2019-05-14 13:30:35 +02:00
chriseth	d753fcdb36	Tools to compute UnixFS IPFS hash.	2019-05-14 11:52:11 +02:00
Mathias Baumann	f5980f08cc	Remove m_code from IRValue ... Only one place to append to m_code avoids confusion and bugs	2019-05-14 11:15:04 +02:00
Leonardo Alt	ebbe03cad6	[SMTChecker] Move variable handling to EncodingContext	2019-05-13 16:59:28 +02:00
chriseth	01dd9ba2ae	Merge pull request #6717 from ethereum/smt_namespace ... Move SMT specific code into smt namespace	2019-05-13 12:45:34 +02:00
chriseth	37375b4271	Merge pull request #6606 from ethereum/stdin-output-wildcard ... Fix wildcard as output selector in standard JSON	2019-05-13 10:24:13 +02:00
chriseth	8c232e8196	Merge pull request #6690 from ethereum/useConditionalWhiskers ... Use conditional whiskers	2019-05-13 10:23:30 +02:00
chriseth	03c8e43da5	Merge pull request #6605 from ethereum/natspec-colon-fix ... Fix Natspec parser error	2019-05-13 10:19:47 +02:00
chriseth	e5d46767f1	Merge pull request #6722 from ethereum/smt_fix_variable_usage ... [SMTChecker] Fix VariableUsage for IndexAccess	2019-05-13 10:17:26 +02:00
chriseth	a28b6224a4	Merge pull request #6714 from ethereum/finishERC20 ... Finish ERC20	2019-05-13 10:00:38 +02:00
Leonardo Alt	fac383a233	Move SMT specific code into smt namespace	2019-05-10 20:03:11 +02:00
Erik Kundt	2b021eaa30	Allows wildcard as output selector in standard JSON.	2019-05-10 18:58:51 +02:00
chriseth	cc40e65a4b	Merge pull request #6712 from ethereum/smt_unique_ptr ... [SMTChecker] Use unique_ptr instead of shared_ptr where applicable	2019-05-10 12:53:53 +02:00
Leonardo Alt	3ea5c112d3	[SMTChecker] Fix VariableUsage for IndexAccess	2019-05-10 11:28:10 +02:00
Erik Kundt	656364d967	Fixes Natspec parser error when whitespace is missing.	2019-05-10 10:53:32 +02:00
Leonardo	661b08e16c	Merge pull request #6718 from ethereum/smt_style ... [SMTChecker] Style changes	2019-05-10 09:20:21 +02:00
chriseth	4de75b24c5	Merge pull request #6677 from ethereum/externalCalls ... [SolYul] External function calls	2019-05-09 19:18:10 +02:00
Leonardo Alt	8d65fd18fc	[SMTChecker] Style changes	2019-05-09 19:15:43 +02:00
chriseth	89700dbcff	Merge pull request #6665 from ethereum/smt_inline_external_this ... [SMTChecker] Inline external function calls to `this`	2019-05-09 19:09:08 +02:00
chriseth	e047c8d4d9	Code generator for external function calls.	2019-05-09 18:55:12 +02:00
chriseth	63a072f122	[SolYul] Partially implement constructor.	2019-05-09 17:57:33 +02:00
chriseth	021b312264	Revert with reason.	2019-05-09 17:57:33 +02:00
chriseth	60a42f58a0	Fix internal function calls.	2019-05-09 17:57:33 +02:00
chriseth	45ee3fc007	Subtraction for unsigned integers.	2019-05-09 17:57:30 +02:00
Leonardo Alt	ef32bf185f	[SMTChecker] Inline external function calls to this.	2019-05-09 16:53:30 +02:00
Leonardo Alt	c8a017ccd6	[SMTChecker] Use unique_ptr instead of shared_ptr where applicable.	2019-05-09 16:34:22 +02:00
Leonardo Alt	6027383ae5	[SMTChecker] Fix call to function at state var init	2019-05-09 16:12:44 +02:00
chriseth	c3a1c168d0	Merge pull request #6711 from ethereum/solYulIf ... [Sol -> Yul] Implement if statements	2019-05-09 15:33:34 +02:00
chriseth	b3e51bcae1	Some more compression.	2019-05-09 15:25:21 +02:00
chriseth	d3d205b6eb	Some more compression.	2019-05-09 15:25:21 +02:00
chriseth	c6b9fa96ae	Use conditional Whiskers.	2019-05-09 15:25:21 +02:00
Daniel Kirchner	b83f6d8d46	[Sol -> Yul] Implement if statements	2019-05-09 14:52:20 +02:00
Leonardo	9e09b5d33b	Merge pull request #6679 from ethereum/smt_fix_ssa_reset ... [SMTChecker] Fix ICE in touched vars	2019-05-09 12:17:32 +02:00
chriseth	0852ccc318	Merge pull request #4764 from ethereum/cbor-version ... Store compiler version in CBOR metadata	2019-05-09 10:10:50 +02:00
Mathias Baumann	0abe00d393	[Sol -> Yul] Fix ForLoops and implement WhileLoops	2019-05-09 09:46:19 +02:00
Leonardo Alt	3d52a6ca68	[SMTChecker] Fix ICE in branch-inline function call-modify local variable	2019-05-09 09:15:11 +02:00
Leonardo Alt	dcd6cb94bf	Add function that retrieves first FunctionDefinition up the scope path	2019-05-09 09:15:11 +02:00
Daniel Kirchner	a6a28ac475	Allow overwriting the release flag for tests and adjust test suite to CBOR metadata.	2019-05-08 22:21:50 +02:00
Alex Beregszaszi	e121c8f3c7	Store compiler version in CBOR metadata	2019-05-08 22:21:50 +02:00
Leonardo Alt	9893cae27a	[SMTChecker] Make mergeVariables deterministic	2019-05-08 20:46:01 +02:00
chriseth	4d460915f3	Merge pull request #6655 from ethereum/storageMappings ... [SolYul] Storage mappings	2019-05-08 20:38:46 +02:00
Leonardo	241b6b4bae	Merge pull request #6702 from ethereum/smt_fix_asgn_unsupported_type ... [SMTChecker] Fix unsupported type assignment	2019-05-08 16:12:46 +02:00
chriseth	595544645e	Mappings.	2019-05-08 15:54:52 +02:00
Leonardo Alt	0b046897ae	[SMTChecker] Fix unsupported type assignment	2019-05-08 14:28:23 +02:00
chriseth	b4d6f847b4	Events.	2019-05-08 13:29:11 +02:00
chriseth	5fb85a6118	Merge pull request #6662 from ethereum/msgSender ... Implement most trivial members.	2019-05-08 13:28:43 +02:00
chriseth	6c9c54a657	Merge pull request #6657 from ethereum/smt_tuple_multi_decl ... [SMTChecker] Support tuples as multi var decl	2019-05-07 17:55:36 +02:00
chriseth	acca390ef5	Most trivial members.	2019-05-07 17:19:45 +02:00
chriseth	b99ad2aaa3	Merge pull request #6639 from ethereum/yul-require-assert ... Yul generation of "require" and "assert"	2019-05-07 16:59:37 +02:00
Leonardo Alt	3c7540ceb2	[SMTChecker] Support tuples with multiple var decls	2019-05-07 16:57:27 +02:00
chriseth	f68c09272b	Simple tuple expressions.	2019-05-07 15:59:56 +02:00
chriseth	c604481cef	Logical operators.	2019-05-07 15:59:35 +02:00
chriseth	785b369b89	Add type helper function.	2019-05-07 12:36:54 +02:00
chriseth	3fa4c3da1e	Comparison operations.	2019-05-07 12:35:05 +02:00
chriseth	4069b19734	Unary operation for literals.	2019-05-07 12:35:04 +02:00
Mathias Baumann	7f14352bbf	Yul generation of require and assert	2019-05-07 12:19:41 +02:00
chriseth	e6f8aaafa5	Conversion for string literals.	2019-05-07 11:55:17 +02:00
Leonardo Alt	2139c20776	[SMTChecker] Support delete	2019-05-06 18:32:10 +02:00
Leonardo	e99efec085	Merge pull request #6652 from ethereum/smt_tuple_function ... [SMTChecker] Support tuples as function calls with multiple return values	2019-05-06 15:19:24 +02:00
chriseth	3365cb9b4a	Add type helper function.	2019-05-06 12:01:13 +02:00
chriseth	7c62193524	Change some AST elements to post visit.	2019-05-06 11:43:18 +02:00
chriseth	dee1c1109c	Merge pull request #6668 from ethereum/smt_fix_short_circuit ... Fix short circuit with assignments	2019-05-06 11:40:07 +02:00
chriseth	36c78baa41	Merge pull request #6646 from ethereum/storageAccess ... [Yul] Storage access for sol -> yul	2019-05-06 11:33:36 +02:00
Leonardo Alt	80712f44cb	Fix short circuit with assignments	2019-05-06 11:04:43 +02:00
Leonardo Alt	5440a53d4d	[SMTChecker] Support tuples as function calls with multiple return values	2019-05-03 06:10:22 +02:00
chriseth	5bd3ed97bd	Merge pull request #6649 from ethereum/smt_tuple_asgn ... [SMTChecker] Support tuple assignment	2019-05-02 18:43:16 +02:00
chriseth	e9f41d1148	Merge pull request #6604 from ethereum/library-self-delegatecall ... Error on library calling itself externally	2019-05-02 17:25:25 +02:00
chriseth	aa4d4afcdc	LValues and state variables of value type.	2019-05-02 17:03:22 +02:00
chriseth	cbc1b97760	Merge pull request #6648 from ethereum/moveStorageFunctions ... Move storage access functions to yul utils.	2019-05-02 12:58:03 +02:00
Leonardo Alt	204dcf1771	[SMTChecker] Support tuple assignments	2019-05-02 12:55:34 +02:00
chriseth	54775a7880	Merge pull request #6647 from ethereum/smt_tuple_decl ... [SMTChecker] Support tuple type declaration	2019-05-02 12:49:50 +02:00
Erik Kundt	07744dbd12	Throws error on library calling itself externally.	2019-05-02 12:41:07 +02:00
chriseth	d4c4a473d8	Merge pull request #6622 from ethereum/warn-this-super ... Issue warning for variables called `super` or `this`	2019-05-02 12:38:53 +02:00
chriseth	31b7037749	Move storage access functions to utils.	2019-05-02 12:11:41 +02:00
Leonardo Alt	6c7527ac90	[SMTChecker] Support tuple type declaration	2019-05-02 12:05:21 +02:00
Mathias Baumann	cf35e5ba02	Issue warning for variables called super or this	2019-05-02 11:30:24 +02:00
Leonardo Alt	66655b87b0	[SMTChecker] Fix ICE in fixed point operations	2019-05-02 10:59:23 +02:00
Leonardo Alt	dd4e938265	[SMTChecker] Fix ICE in inherited state var	2019-05-02 10:03:12 +02:00
Leonardo Alt	a6db37ac9c	[SMTChecker] Fix bad cast in base constructor modifier.	2019-04-30 18:48:13 +02:00
chriseth	dc13469593	Merge pull request #6589 from ethereum/addReturn ... [Yul] Add code generation for "return" and for loops.	2019-04-30 17:07:45 +02:00
chriseth	e66ab6c036	Helper function to define the value of expressions.	2019-04-30 13:10:37 +02:00
chriseth	0eef51ffa4	Conversion during binary operation.	2019-04-30 13:10:37 +02:00
chriseth	597d37b731	Implement for loops.	2019-04-30 13:10:37 +02:00
chriseth	c1ca16cd33	Implement return.	2019-04-30 13:10:36 +02:00
Leonardo Alt	e4989369d0	Refactor cast from identifier ref decl to var decl	2019-04-30 11:08:36 +02:00
Leonardo Alt	762f79f84d	Refactor assignment handling	2019-04-30 11:08:36 +02:00
chriseth	39d153b7a1	Merge pull request #6570 from ethereum/fixMetaSettings ... Move metadata settings into its own object.	2019-04-29 15:09:27 +02:00
chriseth	e8ba10bfaa	Merge pull request #6612 from ethereum/abi-functions-assertion ... Unifies behaviour for member access of ABI functions	2019-04-29 15:02:40 +02:00
chriseth	3a19d83671	Merge pull request #6578 from ethereum/fix_base_overload ... Fix call to base class overloaded functions	2019-04-29 14:33:52 +02:00
Erik Kundt	381ed5a302	Unifies behavior for member access of ABI functions.	2019-04-29 14:27:10 +02:00
chriseth	eef3f95724	Move metadata settings into its own object.	2019-04-29 14:19:27 +02:00
Erik Kundt	c02257207b	Removes assert on magic ABI functions during codegen.	2019-04-26 15:01:35 +02:00
Leonardo Alt	371b37b660	Fix direct call to base class overloaded functions	2019-04-26 09:34:15 +02:00
chriseth	169b555a22	Merge pull request #6507 from ethereum/smt_address_members ... [SMTChecker] Address members	2019-04-25 17:29:42 +02:00
chriseth	309d3e65cf	Merge pull request #6585 from ethereum/fixInvalidFunctionTags ... Fix invalid function tags	2019-04-25 16:30:37 +02:00
Leonardo Alt	fc482de695	[SMTChecker] Support address members	2019-04-25 16:24:36 +02:00
chriseth	5b991c1e59	Fix use of uninitialized functions stored in storage.	2019-04-25 15:40:48 +02:00
Mathias Baumann	1ef213cc15	Sol -> Yul: Implement explicit cast	2019-04-24 22:52:17 +02:00
Mathias Baumann	441369d5f1	Sol -> Yul Generator: Mark "return" as unimplemented	2019-04-24 22:52:17 +02:00
Mathias Baumann	944ac6fb6d	Sol -> Yul Generation: Implicit conversions	2019-04-24 22:52:17 +02:00
Leonardo Alt	dd1afeba52	[SMTChecker] Support this as address	2019-04-18 17:56:52 +02:00
chriseth	b02fbc5d02	Merge pull request #6503 from ethereum/inlineAsm-yul ... Inline asm yul	2019-04-18 17:15:09 +02:00
Mathias Baumann	3d061c83d7	IR: Generate inline asm blocks	2019-04-18 16:49:19 +02:00
chriseth	fce19bde58	Merge pull request #6545 from ethereum/smt_contracts ... [SMTChecker] Support contract type	2019-04-18 13:01:18 +02:00
chriseth	0bfd587363	Merge pull request #6527 from rocky/move-SemVerHandler ... Move SemVerHandler to analysis to parsing to increase modularity...	2019-04-18 13:00:45 +02:00
chriseth	fb302c1c4f	Merge pull request #6473 from ethereum/libeventhash-6435 ... Fix external ABI type name for contracts	2019-04-18 12:53:34 +02:00
Mathias Baumann	0f4b53e9a0	Fix external ABI type name for contracts	2019-04-18 11:39:48 +02:00
Leonardo Alt	ecd89393ee	[SMTChecker] Support contract type	2019-04-17 16:30:11 +02:00
Leonardo Alt	03d18f1b98	[SMTChecker] Add note about not inlining external function calls	2019-04-17 16:14:07 +02:00
rocky	b424446c5f	Move SemVerHandler to analysis to parsing to increase modularity... ... If ever you want to separate building analysis from scanning/parsing/ast, this will help.	2019-04-17 10:13:42 -04:00
chriseth	4509e8efbb	Merge pull request #6543 from ethereum/typeprovider-bits ... TypeProvider bits	2019-04-17 15:50:08 +02:00