3486 Commits

Author	SHA1	Message	Date
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