3239 Commits

Author	SHA1	Message	Date
chriseth	d1a7ff0fbc	Merge pull request #8008 from ethereum/large-code ... Issue warning if codesize exceeds EIP-170 limits	2020-01-08 09:48:59 +01:00
Christian Parpart	345f9928ab	Library libdevcore renamed to libsolutil.	2020-01-07 15:51:50 +01:00
Christian Parpart	6b23412fae	C++ namespace cleanup (except tests).	2020-01-07 15:51:50 +01:00
Leonardo	f7624e254c	Merge pull request #8098 from ethereum/smt_fix_shared_ptr ... [SMTChecker] Replace some shared_ptr by unique_ptr/raw	2020-01-06 14:58:37 +01:00
Mathias L. Baumann	20cf9d9fef	Merge pull request #8038 from ethereum/statless-typechecker-7566 ... Refactor PostTypeChecker into multiple classes per usecase	2020-01-06 14:39:58 +01:00
Leonardo Alt	f4f83690f3	Replace some shared_ptr by unique_ptr or raw pointers	2020-01-06 14:16:49 +01:00
Alex Beregszaszi	4d791b2679	Issue warning if codesize exceeds EIP-170 limits	2019-12-25 19:51:35 +01:00
chriseth	ece6463f56	Merge pull request #8069 from random-internet-cat/set-scope ... Move scope of Scopable into new ScopableAnnotation	2019-12-20 08:22:36 +01:00
Jason Cobb	6679f92c8a	Move all references to scope into annotation	2019-12-19 21:45:16 -05:00
Jason Cobb	69fd185903	Add new annotations for Scopables	2019-12-19 21:45:16 -05:00
Jason Cobb	30b1b39901	Have other annotations subclass DeclarationAnnotation	2019-12-19 21:45:16 -05:00
Jason Cobb	be14d5f28d	Add DeclarationAnnotation	2019-12-19 21:45:16 -05:00
Jason Cobb	bc71f61467	Add ScopableAnnotation	2019-12-19 20:50:43 -05:00
chriseth	7db88cfedd	Remove yul::Instruction.	2019-12-19 23:22:19 +01:00
Alex Beregszaszi	65e59ecd06	Rename EWasm/ewasm/eWasm to Ewasm	2019-12-19 11:36:08 +00:00
Mathias Baumann	a8ca96cd3e	Refactor PostTypeChecker into multiple classes per usecase	2019-12-19 10:43:27 +00:00
Alex Beregszaszi	018960ebb1	Rename EWasmObjectCompiler to WasmObjectCompiler	2019-12-18 15:59:31 +00:00
chriseth	bdd338a8de	Merge pull request #7921 from ghallak/func-selector-ast-json ... Add function selector to FunctionDefinition AST JSON	2019-12-16 14:07:35 +01:00
Gaith Hallak	371e6a4801	Add function selector to FunctionDefinition AST JSON	2019-12-16 15:16:54 +03:00
Erik Kundt	cc1b28b12e	Fixes segfault on empty contract w/ error recovery.	2019-12-13 15:39:19 +01:00
Alex Beregszaszi	4a2a2eb635	Remove Boost <1.55 workaround for multiprecision::msb()	2019-12-13 00:15:15 +00:00
chriseth	c175a468ab	Do not call ABIEncoderV2 experimental.	2019-12-12 10:59:07 +01:00
chriseth	f1e7bec11d	Include public state variables' base functions in the AST.	2019-12-11 15:32:28 +01:00
Leonardo Alt	1fb62b91d2	Add more override tests with public state variables	2019-12-11 15:15:51 +01:00
chriseth	70623665bf	Move helper structs and clean code.	2019-12-11 15:15:51 +01:00
chriseth	30732269f6	Consider state vars.	2019-12-11 15:15:51 +01:00
chriseth	57824566e6	Use proxies.	2019-12-11 15:15:51 +01:00
chriseth	3e1b00b459	Introduce proxies.	2019-12-11 15:15:51 +01:00
chriseth	90feb8f72a	Move Visibility out of Declaration.	2019-12-11 00:38:59 +01:00
chriseth	a66b5ea0ad	Fix visitor.	2019-12-10 16:54:04 +01:00
chriseth	93d84f3554	Split out override checker into its own file.	2019-12-10 16:00:05 +01:00
chriseth	a5f7661075	Ambigous overrides for modifiers.	2019-12-09 18:43:59 +01:00
chriseth	152f42c6b2	Make ambigous override checker generic.	2019-12-09 18:41:39 +01:00
chriseth	e1d6ce2b66	Override checks for modifiers.	2019-12-09 18:41:39 +01:00
chriseth	f6916a637e	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-09 17:16:58 +01:00
Daniel Kirchner	4c7f9f9751	Do not require overriding for functions in common base with unique implementation.	2019-12-09 16:04:45 +01:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00
chriseth	0176c97626	Merge pull request #7923 from ethereum/assertAddressName ... Fix wrong construction of ElementaryTypeNameToken	2019-12-09 14:36:01 +01:00
Mathias Baumann	be615d4f2b	Fix wrong construction of ElementaryTypeNameToken ... And add an assert to prevent it in the future	2019-12-09 13:24:33 +00:00
Mathias Baumann	e999409c89	Sync & update AST exporting according to AST changes	2019-12-09 10:42:24 +00:00
chriseth	e061f1e743	Merge remote-tracking branch 'origin/develop' into HEAD	2019-12-05 16:44:26 +01:00
Mathias Baumann	b7d5de59c5	Implement overridding of functions by public variables	2019-12-05 12:48:52 +00:00
Gaith Hallak	4d90180e24	Support referencing other constants in inline assembly	2019-12-05 13:27:17 +03:00
Daniel Kirchner	426f04b389	Implement and fix overriding unimplemented and implemented functions with unimplemented functions.	2019-12-05 09:26:43 +01:00
Daniel Kirchner	8b35918ad0	Replace superFunction by baseFunctions in AST annotations and JSON AST.	2019-12-05 03:33:32 +01:00
chriseth	d34b0b76b1	Merge pull request #7837 from ethereum/docstring-named-return ... Report DocString error on named return paramater mismatch	2019-12-04 17:57:52 +01:00
Leonardo Alt	7be6b54fc7	Add comment	2019-12-04 17:31:44 +01:00
Leonardo Alt	48c3a5c225	[SMTChecker] Create options to choose SMT solver in runtime	2019-12-04 17:31:44 +01:00
chriseth	42d9a8e962	Merge remote-tracking branch 'origin/develop' into develop_060	2019-12-04 17:01:44 +01:00
Erik Kundt	19d466d6fb	Fixes named return natspec errors in compilation tests.	2019-12-04 15:38:12 +01:00