3818 Commits

Author	SHA1	Message	Date
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
chriseth	922ab0d72d	Merge pull request #6534 from ethereum/reuseLiteralContent-6472 ... Re-produce the original 'useLiteralContent' setting	2019-04-17 15:41:55 +02:00
Mathias Baumann	b24dd42e47	Re-produce the original 'useLiteralContent' setting	2019-04-17 14:54:51 +02:00
Christian Parpart	9733ae7483	[libsolidity] TypeProvider: cleanup unnecessary std:: qualifiers	2019-04-17 14:45:29 +02:00
Christian Parpart	721bf367a3	[libsolidity] TypeProvider: eliminate redundant "Type" suffix in provider function signatures.	2019-04-17 14:42:07 +02:00
Grant Wuerker	69b4ce36de	Some move semantics improvements.	2019-04-17 14:19:48 +02:00
Christian Parpart	862b65d6e3	[libsolidity] remove ReferenceType::copyForLocationIfReference (use TypeProvider instead)	2019-04-17 13:25:03 +02:00
Christian Parpart	b83097bdc6	[libsolidity] Types: eliminate redundant MagicType::metaType() (use TypeProvider instead)	2019-04-17 12:59:48 +02:00
Christian Parpart	a99a460c79	[libsolidity] Types: remove some old comments	2019-04-17 12:00:33 +02:00
chriseth	4e2d4f02b0	Make data location explicit.	2019-04-16 23:22:08 +02:00
chriseth	2761aed1d3	Lazy-initialize string and bytes types.	2019-04-16 23:22:08 +02:00
chriseth	4656d7ca7d	Change pre-created types to unique_ptr to avoid copying and moving.	2019-04-16 23:22:08 +02:00
Christian Parpart	58a45f2cb6	[libsolidity] TypeProvider: adds explicit uint256() accessor and removes default params in integerType(...).	2019-04-16 18:28:40 +02:00
Christian Parpart	59d4f54729	libsolidity: Be more restrictive to not allow any copy constructors at all in Type system. ... This enforces us to be a little bit more historical in how to initialize our std::array<>'s in TypeProvider.	2019-04-16 18:26:46 +02:00
Christian Parpart	a2a3b007f3	TypeProvider: storageType() to make all parameters explicit	2019-04-16 18:26:46 +02:00
Christian Parpart	bf43eebea9	libsolidity: Introducing TypeProvider API, for clear type system ownership.	2019-04-16 18:26:45 +02:00
chriseth	a61931c5da	Merge pull request #6512 from ethereum/smt_refactor_symbvars ... [SMTChecker] Allow SymbolicVariable from smt::Sort	2019-04-16 15:45:08 +02:00
Mathias Baumann	efc8d79d53	Fix wrong location for inline asm blocks	2019-04-15 16:40:07 +02:00
Leonardo Alt	07fac9e381	[SMTChecker] Allow SymbolicVariable from smt::Sort	2019-04-15 14:52:46 +02:00
chriseth	bf5792f7ca	Merge pull request #6483 from ethereum/smt_support_mod ... [SMTChecker] Support mod	2019-04-15 13:42:18 +02:00
chriseth	73ac8f6220	Merge pull request #6421 from ethereum/smt_fix_variable_usage ... [SMTChecker] Refactor VariableUsage	2019-04-15 13:39:10 +02:00
Leonardo Alt	af9f16e014	[SMTChecker] Support mod	2019-04-12 12:39:25 +02:00
Daniel Kirchner	65991c0922	Merge pull request #6481 from ethereum/smt_inline_asm_warning ... [SMTChecker] Show unsupported warning for asm blocks	2019-04-12 12:36:26 +02:00
Leonardo	dbc9442f9c	Merge pull request #6484 from sifmelcara/create-SourceReferenceFormatter-shortcut ... Add a shortcut for formatting error information	2019-04-12 12:34:08 +02:00
chriseth	565d9837e4	Virtual function calls.	2019-04-11 15:45:43 +02:00
chriseth	18ab8aeb85	Overflow-checked addition.	2019-04-11 15:45:14 +02:00
mingchuan	f1374066af	Add shortcuts for formatting error information	2019-04-10 18:44:45 +08:00
Mathias Baumann	b4380a2137	Move convert functions to Yul module	2019-04-09 15:31:46 +02:00
Leonardo Alt	4fe303530a	[SMTChecker] Show unsupported warning for asm blocks	2019-04-05 16:41:15 +02:00
Leonardo Alt	79d8a4e13a	[SMTChecker] Refactor VariableUsage	2019-04-05 11:38:37 +02:00
chriseth	3df4936b6f	Merge pull request #6179 from ethereum/solidity-yul1 ... Solidity to Yul compiler	2019-04-04 16:33:39 +02:00
chriseth	420a7dc3d6	Initial IR generator.	2019-04-04 15:02:42 +02:00
Daniel Kirchner	d0fda7ca7c	Merge pull request #6262 from ethereum/abiEncodeCalldataArray ... ABIEncoderV2: implement encoding of calldata arrays and structs.	2019-04-04 14:51:45 +02:00
Daniel Kirchner	91a2a9a9c3	Implement ABI encoding of calldata arrays and structs.	2019-04-04 13:05:32 +02:00
chriseth	8c570f31c5	Merge pull request #6442 from ethereum/smt_unary_inc_dec ... [SMTChecker] Support unary inc/dec for array/mapping access	2019-04-04 11:45:13 +02:00
Daniel Kirchner	d82157d46a	Refactor abi encoding functions to prepare implementing calldata arrays and structs.	2019-04-04 11:18:03 +02:00
Daniel Kirchner	b0cb330397	Allow encoding calldata arrays for base types that do not require cleanup.	2019-04-04 11:18:03 +02:00
Alex Beregszaszi	43008dd08e	Validate value types in decoder of ABIEncoderV2.	2019-04-03 11:32:02 +02:00
Leonardo Alt	aa9b9aa87e	[SMTChecker] Support unary inc/dec for array/mapping access	2019-04-02 16:53:19 +02:00
Daniel Kirchner	ab8dfed144	Implement copying recursive structs from storage to memory.	2019-04-02 16:01:44 +02:00
chriseth	f9820adb5e	Merge pull request #6396 from ethereum/optSetForAsmStack ... Make optimiser settings available to assembly stack.	2019-03-28 19:03:23 +01:00
chriseth	84251e5a22	Merge pull request #6405 from ethereum/smt_compound_assignment ... [SMTChecker] Support arithmetic compound assignment operators.	2019-03-28 18:27:25 +01:00
chriseth	3264e9abf0	Make optimiser settings available to assembly stack.	2019-03-28 18:24:13 +01:00
Leonardo Alt	a7e826a224	[SMTChecker] Implement short circuit	2019-03-28 16:08:30 +01:00
Leonardo Alt	15269067b5	Support arithmetic compound assignment operators	2019-03-28 15:27:52 +01:00
Leonardo Alt	ecbf36f271	Refactor computing symbolic arithmetic operation	2019-03-28 15:27:36 +01:00
Leonardo Alt	1d63b97857	Take inlined function calls into account when collecting touched variables	2019-03-28 14:32:47 +01:00
Leonardo Alt	6f9b69ebc3	Refactor function that retrieves FunctionDefinition from FunctionCall	2019-03-28 14:32:47 +01:00
chriseth	529aca5cbd	Merge pull request #6407 from ethereum/changeNamespace ... Remove "using namespace" from header and move Instruction to dev::eth.	2019-03-28 14:32:07 +01:00
chriseth	2308904f68	Remove "using namespace" from header and move Instruction to dev::eth.	2019-03-28 13:48:11 +01:00
chriseth	a1fe2562c4	Move suffixedVariableNameList to utils.	2019-03-27 17:14:17 +01:00
Alex Beregszaszi	d6dda7279c	Change CompilerStack.reset to have keepSettings flag instead of keepSources	2019-03-26 14:46:13 +00:00
Alex Beregszaszi	cca73f9354	Remove deprecated CompilerStack.addSources	2019-03-26 14:46:02 +00:00
chriseth	72c0e44907	Merge pull request #6338 from ethereum/compilerstack-setsource ... Introduce setSources in CompilerStack	2019-03-26 15:31:57 +01:00
chriseth	d079cdbfaa	Merge pull request #6362 from ethereum/fixABIEncoderV2StorageRead ... Fix abi encoder v2 storage read	2019-03-26 10:23:08 +01:00
Alex Beregszaszi	a894ab4462	Merge pull request #6368 from ethereum/yul-standard-warnings ... Add warning that Yul is still experimental	2019-03-25 22:48:46 +00:00
Alex Beregszaszi	d2185bf529	Remove obsolete identifer for the identity precompile	2019-03-25 20:57:59 +00:00
Alex Beregszaszi	e211b5b1e1	Add warning that Yul is still experimental	2019-03-25 20:17:11 +00:00
Alex Beregszaszi	0432401e20	Emit warning when using the Yul optimiser	2019-03-25 18:38:06 +01:00
chriseth	6b69c31703	Fix ABIEncoderV2 array overwrite bug.	2019-03-25 18:28:43 +01:00
chriseth	68d4a85575	Properly read and clean value types read from storage.	2019-03-25 18:28:43 +01:00
Alex Beregszaszi	0d6d0f476c	Use setSources	2019-03-25 15:11:00 +00:00
Alex Beregszaszi	66a977d999	Introduce setSources in CompilerStack	2019-03-25 15:11:00 +00:00
chriseth	ffe3a60301	Merge pull request #6367 from ethereum/yul-standard ... Allow warnings in AssemblyStack	2019-03-25 14:59:29 +01:00
Alex Beregszaszi	642d4b9217	Abort if parseAndAnalyze failed but no errors are reported in compileYul	2019-03-25 13:19:33 +00:00
Daniel Kirchner	66d6711364	ABIFunctions: Split out a function for generating a comma separated list of variable names.	2019-03-25 10:58:18 +01:00
Alex Beregszaszi	3bc2c35cc4	Support compiling Yul within StandardCompiler	2019-03-22 01:35:16 +00:00
Leonardo Alt	a207d7f44c	[SMTChecker] Add callstack model to overflow checks	2019-03-21 16:25:33 +01:00
Leonardo Alt	de89733bd6	[SMTChecker] Fix nullptr deref	2019-03-21 15:46:54 +01:00
chriseth	d381e26fc8	Rename "enabled" optimizer setting stage to "standard".	2019-03-21 11:04:40 +01:00
Mathias Baumann	4c2b1c1f29	ArrayType::interfaceType(): Rename local variable to make more sense	2019-03-21 07:25:59 +01:00
Mathias Baumann	7d809df91a	Add back StructType::recursive()	2019-03-21 07:25:59 +01:00
Mathias Baumann	8e899a0d32	Disallow internal function types as parameters for public/external library function	2019-03-21 07:25:57 +01:00
Mathias Baumann	0fbea8a1a0	Change return type for interfaceType() to ResultType	2019-03-21 07:25:28 +01:00
Alex Beregszaszi	ea1944bb2d	Removed unused isLibrary from flag addSource in CompilerStack	2019-03-20 17:41:51 +00:00
chriseth	9aab2329ed	Merge pull request #6244 from ethereum/smt_modifiers ... [SMTChecker] Support modifiers	2019-03-20 18:04:28 +01:00
chriseth	54e00b930d	Merge pull request #6331 from ethereum/pragma-parser-location-reporting-fix ... Fixes wrong source location when reporting pragma solidity version conflicts	2019-03-20 16:07:56 +01:00
chriseth	8468dca0bb	Merge pull request #6323 from ethereum/bug-637 ... Fix function calls with named arguments for overloaded functions	2019-03-20 16:07:09 +01:00
chriseth	38cbf8d230	Pass "optimize stack allocation" flag down to the stack compressor.	2019-03-20 15:03:27 +01:00
Mathias Baumann	84b68006ba	Fix function calls with named arguments for overloaded functions	2019-03-20 14:54:41 +01:00
Christian Parpart	bb28c8a877	Fixes wrong source location when reporting pragma solidity version conflicts.	2019-03-20 11:42:25 +01:00
Leonardo Alt	9659f40c8d	[SMTChecker] Support modifiers	2019-03-20 11:32:20 +01:00
Leonardo Alt	3296fb3764	Add callstack to model report	2019-03-20 10:35:29 +01:00
chriseth	b021f015f9	Merge pull request #6321 from ethereum/metadata-cbor-encoder ... Introduce simplfied CBOR encoding for Metadata	2019-03-20 10:10:16 +01:00
Leonardo Alt	9acec99c31	Issue error for callvalue in nonpayable function	2019-03-19 20:45:27 +01:00
chriseth	7c524f794f	Also output optimized yul code if requested.	2019-03-19 17:24:36 +01:00
Alex Beregszaszi	7babe3dbba	Introduce simplfied CBOR encoding for Metadata	2019-03-19 16:06:19 +00:00
chriseth	48f0d41cc5	Merge pull request #6294 from ethereum/merge-canBeUsedExternally-and-interfaceType-6223 ... Merge interfaceType() canBeUsedExternally()	2019-03-14 18:12:07 +01:00
Mathias Baumann	4d060ef991	Merge interfaceType() canBeUsedExternally() ... And cache the result for expensive calls.	2019-03-14 17:19:59 +01:00
Mathias Baumann	3b546acd57	Clarify documentation of ContractType::m_super	2019-03-14 15:59:26 +01:00
chriseth	6d1ed93247	Use stack optimizations.	2019-03-14 15:34:23 +01:00
Erik Kundt	b9a7a88346	Improves Result<T> in order to prevent defects.	2019-03-14 14:33:28 +01:00
chriseth	2e7794d8a6	Defensively pad memory for `type(C).name` to multiples of 32.	2019-03-13 18:51:32 +01:00
Christian Parpart	cfefa2c1d1	Merge pull request #6136 from ethereum/yul-break-continue ... [Yul] introduce break/continue keywords.	2019-03-11 20:38:57 +01:00
chriseth	8445449c7f	Merge pull request #6187 from ethereum/filter-library-abi-3409 ... Exclude internal functions in library ABIs	2019-03-11 17:39:51 +01:00
chriseth	6683ec90ca	Merge pull request #6209 from ethereum/dynamicCalldataStructs ... Allow dynamically encoded calldata structs with ABIEncoderV2.	2019-03-11 17:05:34 +01:00
Daniel Kirchner	66fc7ffab2	Allow dynamically encoded calldata structs with ABIEncoderV2.	2019-03-11 16:40:13 +01:00
Mathias Baumann	fbbd03dbd7	Exclude internal functions in library ABIs	2019-03-11 16:33:44 +01:00
Mathias Baumann	e411a502fd	Fix missing trailing dot in error message	2019-03-11 16:15:18 +01:00
Christian Parpart	05e2d362c8	[Yul] Adds break/continue statements and some general tests for for-loop syntax.	2019-03-11 15:05:05 +01:00
Mathias Baumann	d70cb375cf	isImplicitlyConvertibleTo(): Add better error messages	2019-03-11 13:38:02 +01:00
Leonardo Alt	a8209e9899	[SMTChecker] Shortcut RationalNumber expressions	2019-03-11 12:53:49 +01:00
chriseth	4d8c57006b	Merge pull request #6195 from ethereum/extractYulUtils ... [REF] Extract utility functions from ABI encoder.	2019-03-08 00:51:58 +01:00
chriseth	8b20ecb558	Refactor StandardCompiler to split into input parsing/validating and compilation steps.	2019-03-07 17:49:55 +01:00
Leonardo Alt	02d0e609b9	[SMTChecker] Support enums	2019-03-07 15:15:12 +01:00
Daniel Kirchner	f7c6eda2c3	Allow calldata arrays with dynamically encoded base type.	2019-03-06 18:04:12 +01:00
chriseth	cdf29277f7	Merge pull request #6055 from ethereum/smt_arrays ... [SMTChecker] Add support to arrays	2019-03-06 18:00:23 +01:00
chriseth	dc69152238	Merge pull request #6143 from ethereum/fix-unimplemented-assert-5659 ... Check base contracts for abi encoder compatibility	2019-03-06 11:59:49 +01:00
chriseth	449141db2c	Merge pull request #6190 from ethereum/allowEncodeDecodeWithZeroParameters ... Allow encoding and decoding functions with empty type list.	2019-03-06 11:57:21 +01:00
Leonardo Alt	29b2ab6f66	Handle aliasing	2019-03-06 11:29:54 +01:00
Leonardo Alt	467c34999f	Do not throw on string literals	2019-03-06 11:29:26 +01:00
Leonardo Alt	e74f58130e	Add SMT type support to Solidity arrays	2019-03-06 11:29:26 +01:00
Mathias Baumann	9919670ddd	Check base contracts for abi encoder compatibility	2019-03-06 11:16:54 +01:00
Mathias Baumann	9052a8f050	Move FunctionType::returnParameters() to CallableDeclaration ... all the other functions of that type are also found there.	2019-03-06 11:13:01 +01:00
Mathias Baumann	b2262d67f0	Remove unused variable Contractdefinition::m_linearizedBaseContracts	2019-03-06 11:13:01 +01:00
chriseth	d515d77bfe	Extract utility functions from ABI encoder.	2019-03-05 22:13:55 +01:00
chriseth	a27ef3489c	Allow encoding and decoding functions with empty type list.	2019-03-05 15:55:50 +01:00
Mathias Baumann	de98e38b78	Prepare code to output errors returned by isImplicitlyConvertibleTo()	2019-03-05 10:44:36 +01:00
chriseth	6c9961e040	Merge pull request #5941 from ethereum/metadata-compilerstack ... Metadata should not require compilation	2019-03-04 18:53:07 +01:00
Alex Beregszaszi	a96cc6e0e8	Add allocateMemory helper with value known at compile time	2019-03-04 17:46:42 +01:00
chriseth	9c80f0fc76	Merge pull request #6155 from ethereum/defaultToPetersburg ... Set default EVM version to petersburg	2019-03-04 17:36:42 +01:00
Alex Beregszaszi	fcbb8ec51c	Allow returning metadata in StandardCompiler without compilation	2019-03-04 16:19:55 +01:00
Alex Beregszaszi	26ca144647	Cache metadata and allow after analysis in CompilerStack	2019-03-04 16:19:54 +01:00
Alex Beregszaszi	bd51589f1a	Use "if" instead of "switch" in codegen for the deployment time address of a library	2019-03-04 15:16:58 +01:00
chriseth	9a949c1bda	Set default EVM version to Petersburg.	2019-03-04 14:53:00 +01:00
Alex Beregszaszi	ecd246aeb6	Support petersburg in evmVersion	2019-03-04 14:10:41 +01:00
chriseth	2e0ea16a0f	Merge pull request #5959 from ethereum/optimiser2 ... Introduce global optimiser settings.	2019-03-04 12:54:59 +01:00
chriseth	6a32f6e1ac	Properly assign reference to context.	2019-03-04 12:00:47 +01:00
chriseth	851dd635eb	Remove defaults in constructor arguments.	2019-03-04 11:41:52 +01:00
chriseth	83d1382e78	Take yul optimizer setting into account.	2019-03-04 11:40:28 +01:00
chriseth	1ff562d28a	Provide full optimiser settings to ContractCompiler.	2019-03-04 11:40:28 +01:00
chriseth	4d10f4b4cf	Process and validate standard-json optimizer settings.	2019-03-04 11:40:28 +01:00
Alex Beregszaszi	cf5c13f9c7	Introduce global optimiser settings.	2019-03-04 11:40:28 +01:00
chriseth	ab33ff1408	Merge pull request #6132 from ethereum/ossfuzz-nullref-typechecker ... TypeChecker: Check if type exists before dereferencing it	2019-02-28 16:38:54 +01:00
Mathias Baumann	50b4193705	TypeChecker: Check if type exists before dereferencing it	2019-02-28 15:49:15 +01:00
Alex Beregszaszi	679ff78714	Restrict parse/analyse in CompilerStack	2019-02-28 13:59:33 +00:00
chriseth	6aab3b1369	Merge pull request #6139 from ethereum/compilerstack-restrict ... Restrict the state when settings can be altered in CompilerStack	2019-02-28 14:52:52 +01:00
Alex Beregszaszi	b04b86a938	Restrict the state when settings can be altered in CompilerStack	2019-02-28 12:55:36 +00:00
Mathias Baumann	f782125463	Fix SMT Checker crash due to missing type information	2019-02-28 11:55:45 +01:00
Mathias Baumann	e4a52aa2f6	Allow dynamic types in public mappings	2019-02-26 15:48:54 +01:00
Alex Beregszaszi	d2f493268b	Provide access to the name of contracts.	2019-02-26 14:07:03 +00:00
chriseth	80417e3d8c	Merge pull request #6100 from ethereum/smt_dynamic_cast_types ... [SMTChecker] Replace dynamic_cast by category check	2019-02-26 13:28:48 +01:00
chriseth	38fc740690	Merge pull request #6080 from ethereum/library-index-access ... Disallow index access on contracts and libraries	2019-02-26 13:26:05 +01:00
Leonardo Alt	bbd2c91e19	[SMTChecker] Replace dynamic_cast by category check	2019-02-26 00:47:59 +01:00
Erik Kundt	2d0daae796	Disallows index access on contracts and libraries.	2019-02-25 23:05:33 +00:00
Alex Beregszaszi	358ccbe372	Properly issue unimplemented assertion on FixedPointType in type conversion	2019-02-25 21:21:33 +00:00
Leonardo Alt	2405b2151a	EVMVersion in langutil namespace instead of solidity	2019-02-25 15:29:57 +01:00
chriseth	7f5b335b47	Make EVM version part of EVM dialect.	2019-02-21 21:59:46 +01:00
Alex Beregszaszi	fcf884f201	Do not ignore fatal error in AsmParser for inline assembly	2019-02-21 16:18:53 +00:00
Mathias Baumann	c65a96d189	Small documentation fixes in the code	2019-02-21 12:54:39 +01:00
chriseth	fb07462d82	Fix: Do use actual ABI signatures for events also in libraries instead of internal signature.	2019-02-20 14:35:24 +01:00
Alex Beregszaszi	52496ea719	Proper error message for missing variables in inline assembly	2019-02-20 10:36:55 +00:00
Mathias Baumann	a63f7ca9df	Fix crash due to missing type info	2019-02-19 17:28:44 +01:00
chriseth	d9e4a10d5a	Merge pull request #6000 from ethereum/fixECRecoverABIV2 ... Fixed internal error related to ecrecover and ABIEncoderV2.	2019-02-19 14:36:08 +01:00
chriseth	874648b924	Merge pull request #5999 from ethereum/smt_lazy_overflow ... [SMTChecker] Check for under/overflow in the end of the function	2019-02-19 14:28:55 +01:00
chriseth	05541e5adb	Fixed internal error related to ecrecover and ABIEncoderV2.	2019-02-19 14:17:03 +01:00
chriseth	d5791fef41	Fix combination of delegatecall and ABIEncoderV2. ... We can set the flag to false for bare delegatecall, because we always send a memory string and never a storage reference.	2019-02-19 13:57:03 +01:00
chriseth	55c4131a03	Merge pull request #6030 from ethereum/fixABIEncoderV2Mapping ... Allow cleanup for mappings (do nothing).	2019-02-19 13:56:21 +01:00
Leonardo Alt	34470f3549	[SMTChecker] Only check for overflow/underflow in the end of the function	2019-02-18 23:55:58 +01:00
Alex Beregszaszi	2949bd14dd	Merge pull request #6028 from ethereum/warn-about-unused-struct-array-expr ... Detect custom type expressions that have no effect	2019-02-18 21:12:04 +00:00
Mathias Baumann	e3d4155fa8	Detect custom type expressions that have no effect	2019-02-18 18:59:31 +01:00
chriseth	c690f679cb	Allow cleanup for mappings (do nothing).	2019-02-18 18:50:22 +01:00
Mathias Baumann	093b9ced97	Make sure "value" error hint is only displayed in the right context ... Before, the hint would be shown for any "value" member, even a user-specified one.	2019-02-18 16:29:57 +01:00
Daniel Kirchner	d74198b3cc	Remove misleading note in Type::calldataEncodedSize.	2019-02-18 16:18:40 +01:00
chriseth	cb0ad2266c	Merge pull request #6008 from ethereum/smt_fix_abstract_assignment ... [SMTChecker] Assert type is not function when assigning	2019-02-18 14:54:20 +01:00
chriseth	db7b38e3c4	Merge pull request #5978 from ethereum/fix-broken-hint ... Fix error msg hint for non-payable contracts	2019-02-18 11:49:07 +01:00
Daniel Kirchner	0408130338	Merge pull request #6003 from ethereum/moreStyleChecks ... Even more style checks.	2019-02-15 11:52:32 +01:00
Leonardo Alt	22cdfb18d4	[SMTChecker] Assert type is not function when assigning	2019-02-14 13:32:56 +01:00
Daniel Kirchner	809b9a95f9	Even more style checks.	2019-02-14 11:53:00 +01:00
Daniel Kirchner	8ca6715e18	More style checks.	2019-02-14 11:41:20 +01:00
Mathias Baumann	223dac3eca	TypeChecker: Use cast instead of category() check	2019-02-14 11:39:51 +01:00
Mathias Baumann	10a9960eb3	Fix error msg hint for non-payable contracts	2019-02-14 11:39:19 +01:00
Daniel Kirchner	32190dac48	Add stride helpers to ArrayType.	2019-02-14 10:51:39 +01:00
chriseth	f003696d7e	Merge pull request #5994 from ethereum/error-to-assert ... Turn unreachable error into assert	2019-02-13 17:54:01 +01:00
chriseth	1a823f0bf8	Fix tabs/spaces.	2019-02-13 17:05:48 +01:00
Mathias Baumann	a70fee7316	Turn unreachable error into assert ... The exact conditions are already checked when iterating over the possibleMembers where the function `canTakeArguments()` is called for each member. The function does the identical check.	2019-02-13 16:51:05 +01:00
chriseth	17ea467e5b	Fix style of "const".	2019-02-13 16:34:53 +01:00
chriseth	d073eb1544	Move AssemblyStack to libyul.	2019-02-13 12:23:07 +01:00
chriseth	02373c2225	Adjust uses of AsmCodeGen.	2019-02-13 11:35:49 +01:00
chriseth	1ff6f2c71c	Move AsmCodeGen.	2019-02-13 11:20:15 +01:00
Bhargava Shastry	7751fa740f	Ensure we fail gracefully when user tries to optimize Yul code	2019-02-12 11:21:02 +01:00
Daniel Kirchner	9e32aa7510	Disallow calldata arrays with dynamically encoded base types in TypeChecker.	2019-02-11 17:13:12 +01:00
chriseth	92cb6cb793	Merge pull request #5936 from ethereum/calldataStructsV2 ... ABIEncoderV2: Implement calldata structs without dynamically encoded members.	2019-02-11 16:18:27 +01:00
chriseth	18c7ad08a0	Merge pull request #5925 from ethereum/stackCompressor ... Stack compressor	2019-02-11 16:17:47 +01:00
chriseth	b34e104173	Make dialect a shared pointer.	2019-02-11 15:48:29 +01:00
Mathias Baumann	259d803387	Conditional Expression: Delay invalid type fatal error ... Check the whole conditional first and then output errors for both, the true and false expressions.	2019-02-11 15:47:19 +01:00
Daniel Kirchner	0e4912a203	ABIEncoderV2: Implement calldata structs without dynamically encoded members.	2019-02-11 15:46:58 +01:00
chriseth	b5a2c66771	Merge pull request #5957 from ethereum/function-param-fix ... Ensure function parameter names always matches parameter types length	2019-02-11 15:45:28 +01:00
Mathias Baumann	66b24225fb	Remove duplicate if-check	2019-02-11 14:56:57 +01:00
Mathias Baumann	fe2429de9f	Packed Encoding: Disallow types in v2 that aren't allowed in v1	2019-02-11 11:37:48 +01:00
chriseth	a8d0ef4bad	Allow indexed structs in events with encoder v2.	2019-02-11 11:37:47 +01:00
chriseth	0c2d623ee4	Enable struct encoding.	2019-02-11 11:37:47 +01:00
chriseth	a08f4f43fa	Add packed encoder V2.	2019-02-11 11:37:47 +01:00
chriseth	1b9d30f05f	Packed encoding.	2019-02-11 11:37:47 +01:00
Mathias Baumann	57c1c8b46c	Ensure function parameter names always matches parameter types length	2019-02-11 10:57:57 +01:00
Leonardo Alt	4058978b3b	Require Z3 >= 4.6.0	2019-02-07 14:24:40 +01:00
Leonardo Alt	637546850f	[SMTChecker] Add mod operator	2019-02-07 14:24:40 +01:00
chriseth	9de652ab76	Merge pull request #5953 from ethereum/removeCheckCoveredByAssertion ... Remove type check that is covered by assertions.	2019-02-07 12:19:14 +01:00
chriseth	fc18258250	Remove type check that is covered by assertions.	2019-02-07 12:02:15 +01:00
Mathias Baumann	5fb79f5e37	Turn unreachable error statements into asserts	2019-02-07 10:07:09 +01:00
chriseth	1236b23168	Merge pull request #5943 from ethereum/singleOutLengthUpdate ... Extract storing length to its own function.	2019-02-06 14:46:39 +01:00
chriseth	49f8fa4cfe	Extract storing length to its own function.	2019-02-06 14:03:49 +01:00
Mathias Baumann	9f431339ef	Fix crash for too large struct array indicies	2019-02-06 11:50:25 +01:00
Mathias Baumann	77f407d450	Fix check that mappings can only have storage location	2019-02-05 18:06:42 +01:00
chriseth	77baf6caf7	Compilability checker.	2019-02-04 17:32:05 +01:00
chriseth	cd8cf7745b	Merge pull request #5888 from ethereum/betterStackErrorMessages ... Better error message for out of stack in assembly.	2019-02-04 15:26:55 +01:00
Alex Beregszaszi	717727940d	Merge pull request #5909 from ethereum/c++17 ... Use specific boost include in DocStringParser	2019-01-31 13:55:27 +00:00
Alex Beregszaszi	021d30f036	Use specific boost include in DocStringParser ... This is needed for C++17 support (at least on certain Boost and OS combinations)	2019-01-31 13:14:29 +00:00
chriseth	17a1e7aed5	Better error message for out of stack in assembly.	2019-01-30 12:24:10 +01:00
chriseth	35483422f3	Pad code to multiple of 32 bytes.	2019-01-30 11:31:28 +01:00
Leonardo Alt	9a33367bc6	[SMTChecker] Warn when no solver was found and there are unhandled queries.	2019-01-29 14:29:07 +01:00
Alex Beregszaszi	ee09d54525	Change FIXMEs into TODOs where appropriate	2019-01-29 00:35:23 +00:00
chriseth	e22a9ea5cf	Merge pull request #5883 from ethereum/fixInlineAssembly ... Do not provide access to external assembly variables from within functions.	2019-01-28 15:12:43 +01:00
Alex Beregszaszi	9aafa32825	Disallow empty import statements	2019-01-28 13:52:15 +00:00
chriseth	64312584dc	Do not provide access to external assembly variables from within functions.	2019-01-28 14:42:38 +01:00
chriseth	e3791d6dcf	Fix reported packed encoded size for arrays and structs.	2019-01-23 11:13:22 +01:00
chriseth	ea292393a3	Merge pull request #5838 from maxsam4/useLiteralContent-patch ... useLiteralContent data validation	2019-01-23 10:35:32 +01:00
Mudit Gupta	2f91781a80	useLiteralContent data validation ... Squashed commit of the following: commit bbceee6997c1b951eb6054f7d5b7560fe1773690 Author: Mudit Gupta <guptamudit@ymail.com> Date: Tue Jan 22 23:27:49 2019 +0530 Removed extra check commit 4f7c3cc58e94836b1dddcc5f2938da14adad6252 Author: Mudit Gupta <guptamudit@ymail.com> Date: Tue Jan 22 17:51:05 2019 +0530 Updated test error message commit 5da45f2a23840e7bb1978853e1c184faec65b3e0 Author: Mudit Gupta <guptamudit@ymail.com> Date: Tue Jan 22 17:46:09 2019 +0530 Renamed test commit e661418deac25f31c49091be3c80244f566fc14c Author: Leonardo <leo@ethereum.org> Date: Tue Jan 22 17:41:56 2019 +0530 Update libsolidity/interface/StandardCompiler.cpp Co-Authored-By: maxsam4 <guptamudit@ymail.com> commit d289b4dc1956ab736aada613e810cf2e2d124d4d Author: Mudit Gupta <guptamudit@ymail.com> Date: Tue Jan 22 17:29:40 2019 +0530 changed style commit 5a7cf08db3027d75081d2e698dd51b807bef5abb Author: Mudit Gupta <guptamudit@ymail.com> Date: Tue Jan 22 17:20:37 2019 +0530 Added test case for missing useLiteralContent commit 6e866c46aa92d6a89f2b341bd717c3886946f3ff Author: Mudit Gupta <guptamudit@ymail.com> Date: Tue Jan 22 17:09:30 2019 +0530 input check for useLiteralContent	2019-01-23 10:22:27 +05:30
chriseth	628d665474	Merge pull request #5843 from ethereum/abi-typos ... Do not ignore revertOnFailure flag when validating Address/Contract	2019-01-22 18:44:09 +01:00
Alex Beregszaszi	3f2898ea47	Do not ignore revertOnFailure flag when validating Address/Contract	2019-01-22 14:45:08 +00:00
chriseth	01e87cfc08	Refactor struct encoder.	2019-01-22 14:45:25 +01:00
chriseth	7b66eb273d	Merge pull request #5832 from ethereum/introduceEncodingOptions ... [REF] Provide ABI encoding options as single struct parameter.	2019-01-21 23:53:21 +01:00
chriseth	7a69455c13	Provide ABI encoding options as single struct parameter.	2019-01-21 16:43:32 +01:00
Leonardo Alt	7f8ceaadab	[SMTChecker] Clear state knowledge after external function calls	2019-01-21 12:58:40 +01:00
chriseth	f8e9aed839	Merge pull request #5717 from ethereum/smt_typecast ... [SMTChecker] Support basic typecast without truncation	2019-01-21 12:35:07 +01:00
Daniel Kirchner	610ef9f199	Disallow calldata structs.	2019-01-21 10:30:57 +01:00
Alex Beregszaszi	7b759866cb	Merge pull request #5817 from ethereum/refactoring ... Refactoring in TypeChecker and ContractDefinition	2019-01-18 11:36:49 +00:00
Daniel Kirchner	b7a86a124d	Refactor TypeChecker::visit(FunctionDefinition const&).	2019-01-18 12:12:23 +01:00
Daniel Kirchner	a766efc79f	Add ContractDefinition::isInterface.	2019-01-18 12:11:35 +01:00
chriseth	2ec997e697	Merge pull request #5775 from ethereum/codeAccess ... Provide access to code of contract types.	2019-01-18 00:16:06 +01:00
chriseth	29f6aa7d56	Do not create a copy of the assembly.	2019-01-17 20:36:48 +01:00
chriseth	a9fa2658d8	Add helper to show if contract can be deployed.	2019-01-17 20:36:48 +01:00
chriseth	4669b06ab4	Warn if type(..).runtimeCode is used with assembly in the constructor.	2019-01-17 20:36:48 +01:00
chriseth	0bfdaa500a	Add code access dependency.	2019-01-17 20:36:48 +01:00
chriseth	e6fee257e6	Code generation for access to contract code.	2019-01-17 20:36:48 +01:00
chriseth	2fcfb216b5	Syntax for meta type information.	2019-01-17 20:36:48 +01:00
Leonardo Alt	83e7233bb8	Change error message and add tests	2019-01-17 14:28:03 +01:00
Leonardo Alt	c96b760c47	Return TypeError is fixed point encoding is attempted.	2019-01-17 13:36:53 +01:00
Leonardo Alt	a10db051de	[SMTChecker] Support basic typecast	2019-01-16 13:00:54 +01:00
Daniel Kirchner	0dfd4a726e	Warn about unreachable code.	2019-01-10 10:36:50 +01:00
chriseth	9222eff08f	Make the dialect available everywhere.	2019-01-07 16:41:03 +01:00
chriseth	ae08d7c375	Merge pull request #5681 from ethereum/limitOutput ... Do not compile unless requested.	2018-12-19 17:02:28 +01:00
chriseth	4c7151e57f	Do not include empty JSON objects in output.	2018-12-19 14:59:29 +01:00
chriseth	beae2a608b	Only fully compile if binaries requested.	2018-12-19 12:58:17 +01:00
chriseth	4e89945d82	Some more compiler state tests.	2018-12-19 12:58:17 +01:00
Christian Parpart	62fe57479e	make use of C++ = default constructor declarations as well as more non-static member initialization syntax.	2018-12-19 11:26:42 +01:00
Christian Parpart	d10bae245e	liblangutil: SourceLocation to default initialize data members (w/o the use of ctor) ... See: http://isocpp.github.io/CppCoreGuidelines/CppCoreGuidelines#c45-dont-define-a-default-constructor-that-only-initializes-data-members-use-in-class-member-initializers-instead	2018-12-19 11:21:45 +01:00
chriseth	678a95f6e3	Merge pull request #5686 from ethereum/someStyle ... Formatting.	2018-12-19 00:33:02 +01:00
chriseth	d8218b7eef	Formatting.	2018-12-18 23:50:39 +01:00
chriseth	20189c3f3b	Merge pull request #5637 from ethereum/better-json-error-reporting ... Json: Provide better error message when 'settings' is not an object	2018-12-18 19:39:46 +01:00
Mathias Baumann	c43d96f2bf	Json: Provide better error messages for wrong types	2018-12-18 18:36:50 +01:00
chriseth	f5e52ef3c0	Merge pull request #5679 from ethereum/hashCache ... Cache hash computations.	2018-12-18 18:23:27 +01:00
chriseth	e970590675	Merge pull request #5664 from ethereum/cmakeUpdates ... Use imported CMake targets.	2018-12-18 17:45:23 +01:00
chriseth	bd52beedff	Cache hash computations.	2018-12-18 16:38:25 +01:00
Alex Beregszaszi	c2ec6d71b4	Add version pragma parsing to Parser	2018-12-18 15:02:35 +00:00
chriseth	4e475cdbe9	Merge pull request #5625 from ethereum/single-check ... Do check for callvalue only once if no payable functions	2018-12-18 11:36:58 +01:00