2673 Commits

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