2659 Commits

Author	SHA1	Message	Date
Alex Beregszaszi	642d4b9217	Abort if parseAndAnalyze failed but no errors are reported in compileYul	2019-03-25 13:19:33 +00: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