3048 Commits

Author	SHA1	Message	Date
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
chriseth	4b43aecaeb	Merge pull request #5671 from ethereum/sort_includes_interface ... Sort includes in libsolidity/interface	2018-12-18 11:35:56 +01:00
Mathias Baumann	1b8570f829	Only generate sort/search code when interface functions exist	2018-12-17 21:24:37 +01:00
Leonardo Alt	7f41487ff6	Sort includes in libsolidity/parsing	2018-12-17 19:28:10 +01:00
Leonardo Alt	340ee4156d	Sort includes in libsolidity/interface	2018-12-17 19:24:42 +01:00
Leonardo Alt	cce377833a	Sort includes in libsolidity/formal	2018-12-17 18:26:10 +01:00
chriseth	7d3727bbf7	Merge pull request #5665 from ethereum/cmakeHeaders ... Add headers to targets in CMakeLists.txt.	2018-12-17 17:47:38 +01:00
chriseth	9ab6133f85	Merge pull request #5667 from ethereum/sort_includes_codegen ... Sort includes in libsolidity/codegen	2018-12-17 17:46:53 +01:00
Leonardo Alt	ab76676271	Sort includes in libsolidity/codegen	2018-12-17 17:06:11 +01:00
Leonardo Alt	b185d01a26	Sort includes in libsolidity/ast	2018-12-17 15:33:15 +01:00
Daniel Kirchner	2f698b6efe	Use imported CMake targets.	2018-12-17 15:15:11 +01:00
Daniel Kirchner	2353f73c39	Add headers to targets in CMakeLists.txt.	2018-12-17 15:01:02 +01:00
chriseth	332f914e4e	Merge pull request #5388 from ethereum/smt_mapping ... [SMTChecker] Support for mapping	2018-12-17 14:09:52 +01:00
Leonardo Alt	36d8a98664	Sort includes in libsolidity/analysis	2018-12-17 12:35:16 +01:00
Leonardo Alt	9199718ec0	Clear all mapping knowledge after array variable assignment	2018-12-14 12:21:53 +01:00
Leonardo Alt	6a2809a582	[SMTChecker] Support to mapping	2018-12-14 12:21:53 +01:00
chriseth	6e205cc4e3	Merge pull request #5624 from ethereum/standard_json_unknown_keys ... Disallow unknown JSON keys in standard-json	2018-12-13 09:58:34 +01:00
chriseth	b014732c81	Merge pull request #5638 from ethereum/header-guard ... Add missing header guards	2018-12-12 18:41:58 +01:00
Leonardo Alt	8cd2ac8462	Disallow unknown JSON keys in standard-json	2018-12-12 17:32:42 +01:00
chriseth	87237281bf	Merge pull request #5630 from ethereum/warn_functions_empty_body ... Supress unused var and state mut warnings for functions with empty body	2018-12-12 17:00:50 +01:00
Alex Beregszaszi	c863cbf80d	Add missing header guards	2018-12-12 15:47:05 +00:00
Leonardo Alt	508aae8a67	Disable state mutability warning for functions with empty body	2018-12-12 14:43:44 +01:00
Leonardo Alt	53537864a2	Disable unused var warning for functions with empty body	2018-12-12 14:43:44 +01:00
Daniel Kirchner	788612d2ef	Refactoring of the ControlFlowGraph and use for detecting all uninitialized storage accesses.	2018-12-12 04:20:53 +01:00
chriseth	fb3a0ac1c7	Codegen for object access.	2018-12-11 19:24:44 +01:00
chriseth	8d49e53995	Provide Dialect to EVMCodeTransform.	2018-12-11 19:24:31 +01:00
chriseth	9f86ede32d	Merge pull request #5454 from ethereum/smt_math_functions ... [SMTChecker] Abstract math functions	2018-12-11 18:35:10 +01:00
chriseth	b5deca0383	Merge pull request #4779 from ethereum/optimise-string-literals ... Decide better in storing string literals as data	2018-12-11 17:50:14 +01:00
Leonardo Alt	08737e43dc	[SMTChecker] Use SymbolicFunctionVariable for uninterpreted functions	2018-12-11 11:28:25 +01:00
chriseth	baaefb4b42	Merge pull request #5619 from ethereum/cleanup-abc ... Some code cleanup	2018-12-10 19:22:02 +01:00
Mathias Baumann	2f6dc2e773	Replace push_back with emplace_back where it makes sense	2018-12-10 19:02:39 +01:00
Yi Huang	81f703427e	Add tests for implcit conversions from literals to fixed-point numbers.	2018-12-10 17:31:20 +01:00
chriseth	53f531ecb0	Set codecopy limit for data to 32 bytes.	2018-12-10 17:11:48 +01:00
chriseth	871ea22bb9	Merge pull request #5008 from liangdzou/yul_stack_reuse ... Reuse stack slots in Yul codegen	2018-12-10 16:14:33 +01:00
liangdzou	362648a450	Reuse stack slots in Yul to EVM code generation.	2018-12-10 14:28:56 +01:00
Leonardo Alt	de46bb2c42	[SMTChecker] Introduce SymbolicFunctionVariable	2018-12-10 11:34:29 +01:00
Erik Kundt	e2395a3dcf	Adds more detailed type errors and tests.	2018-12-07 12:35:35 +01:00
Erik Kundt	b2afb8cdda	Adds an additional message to failing type conversions.	2018-12-07 11:55:53 +01:00
chriseth	6a9e8a6fe3	Merge pull request #4936 from ethereum/binSelect ... Binary search for dispatch.	2018-12-07 00:55:09 +01:00
chriseth	4b2a64306a	Merge pull request #5587 from ethereum/yulCodeBuiltins ... Builtin functions to access Yul objects.	2018-12-06 16:49:52 +01:00
chriseth	3fc118ba21	Analyze and compile sub-objects.	2018-12-06 14:32:04 +01:00
chriseth	f6ed29b88b	Extend abstract assembly to be able to handle sub-objects.	2018-12-06 14:32:04 +01:00
chriseth	4721cf332f	Expose EthAssemblyAdapter.	2018-12-06 14:32:04 +01:00
chriseth	0e8841005c	Merge pull request #5554 from ethereum/cp-SourceReferenceFormatter-refactor ... [2/3] Refactor SourceReferenceFormatter (split-out data extraction & make use of new SourceLocation knowledge)	2018-12-06 14:01:39 +01:00
Christian Parpart	073b03d90c	liblangutil: refactor SourceReferenceFormatter, splitting out retrieval and making use of new SourceLocation's CharStream knowledge	2018-12-06 14:01:01 +01:00
chriseth	7f39c3e522	Binary search for dispatch.	2018-12-06 13:07:14 +01:00
chriseth	5fde279d2a	Merge pull request #5514 from corollari/develop ... Remove unary + from the type system	2018-12-06 10:27:09 +01:00
Albert	df08d79623	Fix #5470 ... Remove unary + from the type system	2018-12-06 01:54:04 +01:00
chriseth	3a378eae1a	Restrict toHex to bytes.	2018-12-05 22:37:05 +01:00
Kevin Kelley	fb6fd1b3c2	add a 'readable' format for large hex values	2018-12-05 22:15:02 +01:00
chriseth	63d67c7153	Merge pull request #5591 from ethereum/smt_simplify_sort ... [SMTChecker] Simplify symbolic variables	2018-12-05 17:28:45 +01:00
Erik Kundt	e3accc6aa6	Simplifies Result<T> and prevents undefined behaviour.	2018-12-05 10:33:34 +01:00
Erik Kundt	05e74d096e	Introduces Result<T> for operator and implicit conversion type checks.	2018-12-05 10:33:34 +01:00
Leonardo Alt	b9f424e373	[SMTChecker] Simplify symbolic variables	2018-12-05 09:56:52 +01:00
chriseth	6efe2a5266	Merge pull request #5390 from ethereum/smt_one_loop ... [SMTChecker] Unroll loops once	2018-12-05 09:23:19 +01:00
chriseth	c8e201e520	Provide Yul Object builtins.	2018-12-04 15:40:50 +01:00
chriseth	7ee1ddc172	Switch namespaces.	2018-12-04 15:36:03 +01:00
chriseth	0b1125281a	Remove some includes.	2018-12-04 15:31:00 +01:00
chriseth	3ebb78a886	Adjust include paths.	2018-12-04 15:20:29 +01:00
chriseth	0ec7a0e72c	Move AsmCodeGen.	2018-12-04 15:20:23 +01:00
Leonardo Alt	8069bb61da	[SMTChecker] Loops are unrolled once	2018-12-04 12:35:19 +01:00
chriseth	99db4e3ff4	Introduce the concept of builtin functions.	2018-12-04 12:06:33 +01:00
Anurag Dashputre	82f5763e7a	Fix internal compiler error for unimplemented base contract function.	2018-12-03 12:25:31 +01:00
chriseth	4b98946e5a	Merge pull request #5341 from ethereum/optimizeAssemblyCommandline ... Apply the optimize commandline parameter to assembly mode.	2018-12-03 11:52:48 +01:00
chriseth	5897b14d63	Merge pull request #5568 from ethereum/smt_remove_unary_plus ... [SMTChecker] Remove unary plus operator	2018-12-03 11:19:34 +01:00
chriseth	3f613a44ec	Merge pull request #5557 from ethereum/fixInterfaceImplementedByPublicStateVariable ... Public state variables are implementing external functions.	2018-12-03 10:46:44 +01:00
chriseth	0668a9ecfb	Public state variables are implementing external functions.	2018-12-03 10:46:03 +01:00
Leonardo Alt	6d41ffb4a5	[SMTChecker] Remove unary plus operator	2018-12-03 10:35:38 +01:00
chriseth	aaeb74f592	Merge pull request #5537 from ethereum/cp-SourceLocation-related-refactoring ... [1/3] SourceLocation related refactoring.	2018-11-30 23:45:31 +01:00
chriseth	6c44c5f0c9	Apply the optimize commandline parameter to assembly mode.	2018-11-30 23:39:05 +01:00
Christian Parpart	435f7b3b72	liblangutil: Scanner: remove superfluous sourceName field (it's in CharStream already) ... Also, ParserBase::sourceName() was dead code. Eliminating it should increase test coverage (how sneaky) :-)	2018-11-30 17:07:17 +01:00
Christian Parpart	c48a5264be	liblangutil: SourceLocation: adds (shared) pointer to underlying CharStream source, eliminating sourceName ... Also, adapted affecting code to those changes.	2018-11-30 17:07:12 +01:00
chriseth	cc00d8172b	Merge pull request #5528 from ethereum/smt_sorts_virtual ... [SMTChecker] Make smt::Sort::operator== virtual	2018-11-30 16:48:46 +01:00
chriseth	33d6a24c47	Move library related checks.	2018-11-30 16:30:20 +01:00
chriseth	4f992298c6	Move hash collisions checks.	2018-11-30 16:30:19 +01:00
chriseth	6d1644e55c	Move external type clash check.	2018-11-30 16:30:19 +01:00
chriseth	4f4f623273	Move fallback function checks.	2018-11-30 16:30:19 +01:00
chriseth	2a85152463	Move constructor checks.	2018-11-30 16:30:19 +01:00
chriseth	b610be4882	Rename functions.	2018-11-30 16:30:19 +01:00
chriseth	d1cc731843	No need to visit structs early.	2018-11-30 16:30:19 +01:00
chriseth	2c2c976697	Move base constructor argument checks.	2018-11-30 16:30:19 +01:00
chriseth	57a62429c9	Move abstract function check.	2018-11-30 16:30:19 +01:00
chriseth	89cf6a5a38	Move override checks.	2018-11-30 16:30:19 +01:00
chriseth	d054a3b85d	Move duplication checks.	2018-11-30 16:30:19 +01:00
chriseth	0bd9db480f	Add skeleton for contract level checker.	2018-11-30 16:30:19 +01:00
Leonardo Alt	2f6de12e8c	[SMTChecker] Make smt::Sort::operator== virtual	2018-11-30 10:41:15 +01:00
chriseth	d6d41b2bc7	Merge pull request #5548 from ethereum/fixMemberAccess ... Fix bug related to state variables of function type accessed via base contract.	2018-11-30 09:26:08 +01:00
chriseth	c445e7dfa4	Disallow inline arrays of mapping type.	2018-11-29 19:45:06 +01:00
chriseth	73a64da041	Fix bug related to state variables of function type accessed via base contract.	2018-11-29 19:30:27 +01:00
chriseth	124a8def84	Merge pull request #5543 from ethereum/fixSortMOve ... Fix move bug.	2018-11-29 16:13:24 +01:00
chriseth	9e9250c961	Fix move bug.	2018-11-29 15:32:38 +01:00
Leonardo Alt	67bbcefe6c	Report deprecation error on functions sha3 and suicide also without call.	2018-11-29 14:29:13 +01:00
Christian Parpart	22eff22492	liblangutil: extends CharStream to know about the respective (file-)name (and adapt codebase to it)	2018-11-29 12:45:27 +01:00
chriseth	f6d013237d	Merge pull request #5538 from hydai/static_uint256 ... Replace IntegerType(256) with static function IntegerType::uint256()	2018-11-29 11:17:33 +01:00
Leonardo Alt	1d47919c0c	Fix ICE when function type struct parameter has field of non-existent type	2018-11-29 10:38:47 +01:00
hydai	9326adc3db	Replace IntegerType(256) with static function IntegerType::uint256()	2018-11-29 17:07:18 +08:00
chriseth	b4086ac870	Merge pull request #5526 from ethereum/fixGetterNewCoder ... Fix: Disallow structs in getters for old encoder.	2018-11-28 17:05:52 +01:00
chriseth	46f3da0b87	Properly check getter types to be old-abi-coder-compatible.	2018-11-28 14:08:25 +01:00
chriseth	5c0331a058	Merge pull request #5525 from ethereum/obsoleteComment ... Remove obsolete comment.	2018-11-28 12:23:12 +01:00
chriseth	4fa47322f9	Remove obsolete comment.	2018-11-28 11:49:00 +01:00
chriseth	728119bb11	Use yul parser in assembly stack.	2018-11-27 15:59:57 +01:00
chriseth	e016cb99e6	Yul objects.	2018-11-27 15:59:57 +01:00
chriseth	240ad0e34e	Merge pull request #5382 from ethereum/libraryMappingPublic ... Allow mapping arguments for public and external library functions.	2018-11-26 19:47:32 +01:00
chriseth	4d7799eed4	Properly disallow different return types for interface overloads with different visibilities.	2018-11-26 16:51:28 +01:00
chriseth	f937896727	Merge pull request #5445 from ethereum/publicExternalOverwrite ... Allow overwriting external functions (with ``calldata`` arguments) with public functions (with ``memory`` arguments)	2018-11-26 16:50:40 +01:00
Daniel Kirchner	30e6f8d3fb	Allow mapping arguments for public and external library functions.	2018-11-26 16:31:46 +01:00
chriseth	f6d8810103	Merge pull request #5504 from ethereum/smt_fix_emscripten ... [SMTChecker] Fix crash when SMTLib2Interface reports unknow for constant checks	2018-11-26 16:14:02 +01:00
chriseth	764d618c44	Merge pull request #5404 from ethereum/jumpFixes ... Annotate jump from calldata decode to function as "jump in".	2018-11-26 16:08:04 +01:00
chriseth	a46d5c6580	Fix merge problem in CMake files.	2018-11-26 14:50:04 +01:00
chriseth	d950905a28	Merge pull request #5493 from ethereum/cmake-no-globbing ... [WIP] CMake: Explicitly state which files to compile instead of relying on globbing	2018-11-26 14:45:35 +01:00
Christian Parpart	cdd8c72c9d	CMake: Explicitly state which files to compile instead of relying on globbing. ... Also remove header file lists, as there is no need to add them to add_library() or add_executable(), which should lower maintenance of the cmake files.	2018-11-26 14:39:24 +01:00
chriseth	5ec634939e	Use asCallableFunction for definition clashes in the same contract.	2018-11-26 14:30:32 +01:00
chriseth	36a369d077	Use asCallableFunction for external interface clash check.	2018-11-26 14:30:32 +01:00
chriseth	939365a1d5	Use callable types for override check.	2018-11-26 14:30:32 +01:00
chriseth	9a4968ba1d	Use asCallableFunction in override check (part 1).	2018-11-26 14:30:32 +01:00
chriseth	7921e5f0b9	Merge pull request #5486 from ethereum/allowExternalPublicOverride ... Allow external public override	2018-11-26 14:26:55 +01:00
chriseth	9ac7c748f8	Merge pull request #5494 from ethereum/scanner-error-handling ... Improved Scanner error diagnostics.	2018-11-26 14:17:08 +01:00
Leonardo Alt	aaaa92012c	[SMTChecker] Unknown answer for constant condition check should not do anything	2018-11-26 12:54:02 +01:00
chriseth	0b474d5299	Merge pull request #5497 from ethereum/langutil-SourceReferenceFormatter ... Moving SourceReferenceFormatter into langutil namespace.	2018-11-26 12:44:25 +01:00
chriseth	0f0e466d36	Allow visibility change from external to public.	2018-11-26 12:41:26 +01:00
chriseth	bc137c2eeb	Merge pull request #5485 from ethereum/refactorCallableFunction ... Refactor callable function	2018-11-26 12:34:43 +01:00
chriseth	0e08fb7469	Use "in" tag for jumps from unpacker to function.	2018-11-26 11:02:58 +01:00
Christian Parpart	e4106bd06e	Change scanner error diagnostics to be non-intrusive to the token API. ... This also implicitly eliminates the magic-token Token::IllegalHex, and streamlines error diagnostics over a custom enum class.	2018-11-24 12:40:51 +01:00
Christian Parpart	aeb66905de	Moving SourceReferenceFormatter into langutil namespace.	2018-11-24 12:33:36 +01:00
Lazaridis	e454737a3c	adapt to latest code changes	2018-11-23 17:27:52 +01:00
chriseth	9a94e503da	Merge pull request #5491 from ethereum/libyul-as-library ... Libyul as static library (version 3 ;( )	2018-11-23 17:01:18 +01:00
Christian Parpart	ec47c8946b	Isolating libyul library API into its own namespace yul.	2018-11-23 14:29:00 +01:00
Christian Parpart	3734f40d31	CMake: Isolate libyul into its own static library	2018-11-23 12:37:37 +01:00
Christian Parpart	713d94476e	Reorder some include files and group <libyul/>'s together (as much as possible)	2018-11-23 12:37:19 +01:00
Christian Parpart	0f4ed52a71	Rewrite header paths to adapt to recent git mv of libsolidity/inlineasm to libyul	2018-11-23 11:18:57 +01:00
Christian Parpart	10e6d2897d	Moving files from libsolidity/inlineasm/*.{cpp,h} to libyul/.	2018-11-23 11:16:52 +01:00
Leonardo Alt	6251a289dd	Testing with smtlib2 interface always there	2018-11-23 09:43:49 +01:00
Leonardo Alt	dee0c4ded8	Error message stays in the SMTChecker	2018-11-23 09:43:49 +01:00
Leonardo Alt	f3c2309c73	Display better error message in SMTLib2	2018-11-23 09:43:49 +01:00
Leonardo Alt	f44be616c9	Renaming json fields smtlib2queries and smtlib2responses	2018-11-23 09:43:49 +01:00
chriseth	54bed454f6	Rename function and warn if responses are supplied for Z3.	2018-11-23 09:43:49 +01:00
chriseth	bb10be789c	Inject SMTLIB2 queries and responses via standard-json-io.	2018-11-23 09:43:49 +01:00
chriseth	d686807153	Style	2018-11-22 21:13:02 +01:00
chriseth	ecd059cb92	Merge pull request #5451 from ethereum/bound_function_tests ... Add assert and tests for bound functions	2018-11-22 18:23:46 +01:00
chriseth	a781bda595	Correct style.	2018-11-22 17:15:25 +01:00
Leonardo Alt	ec84a7dc9b	[SMTChecker] Refactor setZeroValue and setUnknownValue	2018-11-22 16:42:51 +01:00
chriseth	62e801ed70	Use callable function for virtual resolution.	2018-11-22 15:48:12 +01:00
chriseth	92ba8a95f6	Make asCallableFunction to never fail and assert abount parameter size if bound instead.	2018-11-22 15:47:45 +01:00
chriseth	9e964852cc	Rename 'asMemberFunction' to widen its purpose.	2018-11-22 15:24:45 +01:00
Leonardo Alt	06189ae57f	Add assert and tests for bound functions	2018-11-22 14:41:39 +01:00
Leonardo Alt	20accf1a90	[SMTChecker] Add ArraySort and array operations	2018-11-22 14:04:20 +01:00
Leonardo Alt	13a142b039	[SMTChecker] Add FunctionSort and refactors the solver interface to create variables	2018-11-22 10:04:04 +01:00
Christian Parpart	d67322a186	Introduce namespace langutil in liblangutil directory. ... Also: - Use {}-style list initialisation for SourceLocation construction - Introduce new system includes - Changes the API of the Scanner to take source as value (with move) as opposed to as a reference	2018-11-21 19:13:44 +00:00
Christian Parpart	80371e2d25	Ensure liblangutil is compiled and linked as its own static library.	2018-11-21 18:58:36 +00:00
Christian Parpart	87821c53c3	Isolating files shared between Yul- and Solidity language frontend.	2018-11-21 18:58:12 +00:00
Alex Beregszaszi	2c6e1888eb	Merge pull request #5466 from ethereum/smt_refactor_sort_patch1 ... [SMTChecker] Refactor smt::Sort and its usage	2018-11-21 15:17:58 +00:00
Leonardo Alt	01ce43e51b	[SMTChecker] Refactor smt::Sort and its usage	2018-11-21 15:46:47 +01:00
mordax	ea8b7d803e	Removing redundant virtual from override function declaration ... Remove trailing whitespace Remove changelog change	2018-11-21 14:37:32 +00:00
Leonardo Alt	06c3f0953a	[SMTChecker] Support bound function calls	2018-11-19 15:29:00 +01:00
Leonardo Alt	70bb0eaf95	[SMTChecker] Implement uninterpreted functions and use it for blockhash()	2018-11-15 09:12:42 +01:00
chriseth	727e3f24bc	Do not perform cleanup on unsigned integers when loading from calldata.	2018-11-14 20:52:30 +00:00
Alex Beregszaszi	d60cab1983	Add CompilerStack state assertions in internal methods	2018-11-14 10:47:26 +00:00
Alex Beregszaszi	be70703f82	Move lastContractName closer to contractNames	2018-11-14 10:29:16 +00:00
Alex Beregszaszi	5778af07a3	Do not crash on filesystemFriendlyName if no contracts were compiled	2018-11-14 10:29:16 +00:00
Leonardo Alt	9a4fd946c3	Add Scanner function that prints source based on SourceLocation	2018-11-13 13:49:29 +01:00
chriseth	7e0041cf22	Merge pull request #5406 from ethereum/uninitializedStorageUnimplemented ... Ignore unimplemented functions for detecting uninitialized storage returns.	2018-11-13 13:22:59 +01:00
Daniel Kirchner	b5e9d849ef	Ignore unimplemented functions for storage returns.	2018-11-13 12:18:22 +01:00
Daniel Kirchner	74557ceb0e	Deterministic YulStringRepository using string hashes.	2018-11-12 23:43:16 +01:00
chriseth	2cc304fd3f	Fix for style.	2018-11-12 09:15:22 +01:00
chriseth	af65bac737	Remove trailing whitespace.	2018-11-12 09:15:22 +01:00
Kristofer Peterson	f927da9182	Refactor of bool TypeChecker::visit(FunctionCall const& _functionCall). ... Visit method now cleanly determines if node represents a function call, struct construction or type conversion. Type checking, validation and error message logic is moved to separate methods.	2018-11-09 16:35:54 +00:00
chriseth	0f2ba3522f	Reset yul string repository.	2018-11-09 15:40:36 +01:00
chriseth	6bbedab383	Merge pull request #5265 from ethereum/cleanupsha3 ... Simplify sha3.	2018-11-09 15:39:57 +01:00
chriseth	b801e61611	Merge pull request #5365 from ethereum/improveNameDispenser ... [Yul] Use single counter for name dispenser for performance reasons.	2018-11-08 12:24:21 +01:00
Daniel Kirchner	fce1c3a9e7	Merge pull request #5370 from ethereum/fixWindows ... Fix windows build.	2018-11-08 12:06:32 +01:00
chriseth	1f4ecff446	Fix windows build.	2018-11-08 11:30:58 +01:00
chriseth	84e8a782d6	Merge pull request #5351 from ethereum/functionTypeConversion ... Relax type equality requirement of function types during conversion in code generation.	2018-11-08 11:29:55 +01:00
chriseth	cc2de07bc6	Merge pull request #5348 from ethereum/boostRationalNegativeDenominatorFix ... Fix negative denominator in ``boost::rational`` during exponentiation.	2018-11-08 11:25:30 +01:00
Daniel Kirchner	b16a3644fe	Function type conversion test cases.	2018-11-08 10:51:51 +01:00
chriseth	845899e305	Use single counter for name dispenser for performance reasons.	2018-11-07 23:09:33 +01:00
chriseth	674e17c2a8	Performance: Replace string by special single-copy YulString class.	2018-11-07 19:30:27 +01:00
Christian Parpart	ab0de38f16	Eliminate byte-typedef and use uint8_t in all their places instead. ... This change is made to (easily) be forward compatible with future C++ standards, in order to allow compiling the code with newer standards at some point in the future. * Removed the `using byte = uint8_t;` line from Common.h * Mechanically change all uses of `byte` to `uint8_t`. Tested with GCC 7.3 in C++11/14/17 modes :-)	2018-11-07 12:17:57 +01:00
Daniel Kirchner	a3e37a9d5a	Relax identity requirement of function type conversions during code generation.	2018-11-06 13:22:33 +01:00
Daniel Kirchner	e036133d1b	Fix negative denominator in `boost::rational` during exponentiation.	2018-11-06 10:52:10 +01:00
Erik Kundt	1d8e9af407	Fixes crash while encoding too large arrays.	2018-10-30 15:14:57 +01:00
chriseth	4d82831b06	Merge pull request #5316 from lazaridiscom/4891-memory-store-asserts ... refine memory-store assertions, closes #4891	2018-10-28 20:50:41 +01:00
Lazaridis	cab8dea7fe	refine memory-store assertions, closes #4891	2018-10-27 00:04:54 +03:00
chriseth	39687cf110	Remove unused AST utils.	2018-10-25 14:02:09 +02:00
chriseth	c36a3bd683	Merge pull request #5283 from ethereum/smt_fixed_bytes ... [SMTChecker] Support FixedBytes	2018-10-25 13:01:01 +02:00
chriseth	f714b0dd7c	Merge pull request #5242 from ethereum/someChecks ... Some well-formedness checks for the Yul AST.	2018-10-25 12:44:28 +02:00
Leonardo Alt	d8cbf321da	Grouping of symbolic variables in the same file and support to FixedBytes	2018-10-25 09:30:48 +02:00
chriseth	01566c2e1a	Merge pull request #5272 from ethereum/smt_special_vars ... [SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash	2018-10-24 14:34:17 +02:00
Leonardo Alt	e2cf5f6ed9	Add gasleft constraint and use full member access name	2018-10-22 18:19:11 +02:00
Christian Parpart	f112377dd4	Refactor solidity::Token into an enum class with TokenTraits helper namespace	2018-10-22 17:00:51 +02:00
chriseth	19be6cd818	Some well-formedness checks for the Yul AST.	2018-10-22 15:52:26 +02:00
Leonardo Alt	b46b827c30	[SMTChecker] Support msg.*, tx.*, block.*, gasleft and blockhash	2018-10-19 15:52:16 +02:00
chriseth	c13b5280c1	Merge pull request #5256 from ethereum/lvalueCleanup ... Lvalue cleanup	2018-10-19 11:20:12 +02:00
chriseth	fed7a7d61a	Merge pull request #5257 from ethereum/assertAboutRemoved ... Assert about some removed language concepts in the code generator.	2018-10-19 11:04:29 +02:00
chriseth	e78b95d9d4	Renamed SHA3.{h,cpp} files.	2018-10-18 14:31:36 +02:00
chriseth	97d01d9b47	Assert about some removed language concepts in the code generator.	2018-10-17 22:26:40 +02:00
chriseth	c14dfeb8c5	Removed unreachable cases in LValue.cpp.	2018-10-17 22:17:33 +02:00
Leonardo Alt	070471d8d4	Fix possibly effectless map emplace	2018-10-17 19:00:38 +02:00
Leonardo Alt	c92d3b537d	[SMTChecker] Refactor expressions such that they also use SymbolicVariable	2018-10-17 18:36:24 +02:00
Leonardo	3db1ce0e14	Merge pull request #5235 from ethereum/smt_refactor_types ... [SMTChecker] Refactoring types	2018-10-17 18:35:48 +02:00
chriseth	9d00f710bc	Merge pull request #5224 from bshastry/compilerwarn-fix ... Fix compiler warning	2018-10-17 17:23:22 +02:00
Bhargava Shastry	67fd3ca4a7	Retained move/copy semantics; removed const qualifier from Expression's members name (of type std::string) and arguments (of type std::vector<Expression>)	2018-10-17 16:46:18 +02:00
Bhargava Shastry	546b08c158	Fix compiler warning: clang-8 warns of explicitly-defined op implicitly deleted for Expression object's copy and move constructors	2018-10-17 16:42:51 +02:00
Leonardo Alt	afe83cc28b	Refactor SymbolicAddressVariable and SymbolicVariable allocation	2018-10-17 15:58:13 +02:00
Leonardo Alt	aa23326e06	Consistent renaming of 'counters' and 'sequence' to 'index'	2018-10-17 15:58:13 +02:00
Leonardo Alt	ec39fdcb3c	[SMTChecker] Refactoring types	2018-10-17 15:58:13 +02:00
chriseth	5e01d767d0	Prevent externally used functions from being removed.	2018-10-17 14:12:10 +02:00
chriseth	2384947521	Merge pull request #5209 from ethereum/smt_ssa_refactor ... [SMTChecker] Refactor SSAVariable such that it only uses Type and not Declaration	2018-10-15 16:49:47 +02:00
Leonardo Alt	e4851cf59e	[SMTChecker] Inline calls to internal functions	2018-10-15 15:11:21 +02:00
Leonardo Alt	4a4620ac95	Refactor SSAVariable such that it only uses Type and not Declaration	2018-10-15 14:20:54 +02:00
chriseth	0778fb2dfc	Merge pull request #5208 from mestorlx/bug4156 ... [WIP] Bad identifier suggestion in certain cases	2018-10-15 13:03:49 +02:00
Christian Parpart	1304361b9c	Renaming namespace dev::julia to dev::yul.	2018-10-15 11:58:51 +02:00
Christian Parpart	9a4bec7e47	Renaming libjulia to libyul	2018-10-15 11:52:35 +02:00
Christian Parpart	6d815a142f	Fixes invalid function calls to literals inside tuple assignment's LHS.	2018-10-15 10:35:11 +02:00
mestorlx	1ce9566e50	Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking into account length of the identifier	2018-10-13 09:54:07 -03:00
chriseth	2feaacba9d	Merge pull request #5195 from ethereum/unsigned-array-index ... Do not crash on non-unsigned array index	2018-10-10 20:56:25 +02:00
Erik Kundt	763ae30023	Fixes crash on non-unsigned array index.	2018-10-10 19:49:25 +02:00
Martin Diz	ef25454a04	Improved error message for lookup in function types.	2018-10-10 11:53:53 -03:00
chriseth	b5399a7aa0	Merge pull request #5132 from ethereum/genericVisitor ... Generic visitor.	2018-10-10 16:01:20 +02:00
chriseth	06200b4b64	Merge pull request #5180 from ethereum/cpp-cleanup ... Some C++ cleanup	2018-10-10 11:43:42 +02:00
Alex Beregszaszi	6c3d12d85b	Do not require ctype/stdio if not needed	2018-10-09 19:06:22 +01:00
Alex Beregszaszi	e732c49c2f	Change find to use a single character	2018-10-09 18:06:25 +01:00
Christian Parpart	4d5216c2e0	Fixes large rational number literals being wrongly interpreted. ... Fixes #5052.	2018-10-09 14:36:49 +02:00
chriseth	3f216bac5e	Generic visitor.	2018-10-09 14:27:21 +02:00
chriseth	547b26d464	Merge pull request #5124 from lazaridiscom/1802-hex-error-reporting ... use Token type for hex error, draft re #1802	2018-10-09 14:17:11 +02:00
Lazaridis	4bcd89105c	provide general hex-literal error message, fixes #1802 ... dummy	2018-10-09 06:51:19 +03:00
Alex Beregszaszi	fa0ce6a7e7	Use empty() instead of size() == 0	2018-10-09 04:29:37 +01:00
chriseth	6a0b7759ba	Fix pragma error suggestion.	2018-10-09 03:15:53 +02:00
chriseth	7ff9a27979	Merge pull request #4734 from ethereum/astUpdate ... JSON AST: replace ``isConstructor`` by ``kind`` which also supports fallbacks	2018-10-08 21:47:27 +02:00
chriseth	d76bfcd935	Fix typos.	2018-10-04 13:28:16 +02:00
Christian Parpart	9fb835b710	Fixes #5051 (introduced in #4684), effectively allowing underscores in address literals.	2018-10-02 15:37:15 +02:00
chriseth	db4f780283	Merge pull request #4962 from anurag-git/anurag_issue_3667-1 ... Removed default case from "ExpressionCompiler::visit(FunctionCall...)".	2018-10-01 13:24:26 +02:00
chriseth	5ae32b24a6	Merge pull request #5113 from ethereum/compilerstack-datagas ... Use GasEstimator::dataGas in CompilerStack	2018-10-01 13:20:38 +02:00
Anurag Dashputre	3321000f67	Removing extra default cases to force compile time error, instead of runtime.	2018-09-30 12:40:38 +05:30
Alex Beregszaszi	c4b5101b9d	Merge pull request #4676 from jwasinger/extcodehash ... Add support for EXTCODEHASH	2018-09-28 00:04:40 +01:00
Alex Beregszaszi	d71cc66dde	Use GasEstimator::dataGas in CompilerStack	2018-09-28 00:03:35 +01:00
chriseth	f81c6e6d16	Merge pull request #5099 from ethereum/standard-json-optimiser ... Be more strict about values in the optimizer block in StandardJSON	2018-09-26 22:31:27 +02:00
Alex Beregszaszi	384a65f660	Be more strict about values in the optimizer block in StandardJSON	2018-09-26 16:51:08 +01:00
Jared Wasinger	c6bd2979b1	Add assembly support for EXTCODEHASH (EIP-1052)	2018-09-26 16:11:02 +01:00
Alex Beregszaszi	d64be90497	Add PathGasMeter.estimateMax helper	2018-09-26 14:25:40 +01:00
chriseth	13cd7c3fed	Merge pull request #5061 from ethereum/fixedSizeArrayLength ... Disallow fixed-size arrays with zero length	2018-09-26 14:55:07 +02:00
chriseth	46f630c5a6	Merge pull request #5092 from ethereum/create2-evmversion ... CREATE2 is part of Constantinople now	2018-09-26 14:53:44 +02:00
Alex Beregszaszi	00b1b96eb4	Use better assertion messages for RationalNumberType::literalValue	2018-09-26 13:05:58 +01:00
Erik Kundt	466e8f56e6	Removes unnecessary check of array type.	2018-09-26 12:46:08 +02:00
Alex Beregszaszi	8cfc6c98d6	CREATE2 is part of Constantinople now ... Also add hasCreate2 to EVMVersion	2018-09-26 01:58:10 +01:00
Nicolás Venturo	f8d43a4da5	Removed extra whitespace.	2018-09-25 14:40:39 -03:00
chriseth	64a6888aba	Merge pull request #5063 from ethereum/standard-json-bug ... Fix typo in parsing/writing JSON error in StandardCompiler	2018-09-24 15:01:38 +02:00
chriseth	32112d6480	Merge pull request #5041 from liangdzou/fix_typo_in_doc ... fix typo in docs and comments	2018-09-24 13:52:33 +02:00
Khan M Rashedun-Naby	376ce07915	Use 'switch' instead of 'if..else if'	2018-09-24 08:31:44 +06:00
Erik Kundt	e6d87e54c8	Simplifies zero-length check for fixed-size arrays.	2018-09-22 03:07:12 +02:00
Erik Kundt	d821cbdff5	Moves length check to reference resolver.	2018-09-22 00:25:52 +02:00
Alex Beregszaszi	abfd283af7	Fix typo in parsing/writing JSON error in StandardCompiler	2018-09-21 22:43:57 +01:00
Erik Kundt	ff5be17990	Disallows fixed-size multidim. arrays with zero-length.	2018-09-21 18:44:56 +02:00
Alex Beregszaszi	5dd3ee2d96	Merge pull request #5050 from ethereum/standard-json-crashes ... Add proper error reporting when invalid settings are provided in StandardJSON	2018-09-21 15:48:05 +01:00
Alex Beregszaszi	8f96fe698d	Merge pull request #5049 from ethereum/structtype-assert-annotation ... Add assertion for annotated type in Structtype::canBeUsedExternally	2018-09-21 15:02:26 +01:00
Alex Beregszaszi	a515173900	Add proper error reporting when invalid settings are provided in StandardJSON	2018-09-21 14:53:24 +01:00
Alex Beregszaszi	69ff61d149	Add assertion for annotated type in Structtype::canBeUsedExternally	2018-09-21 14:25:05 +01:00
liangdzou	f347dee812	fix typo	2018-09-21 09:27:33 +08:00
chriseth	dc9853bb6e	Merge pull request #5030 from ethereum/payableConversion ... Make non-payable default for conversion to address.	2018-09-20 21:20:46 +02:00
liangdzou	44e8dfd393	fix typo	2018-09-20 22:54:57 +08:00
chriseth	d0461c49fe	Make non-payable default for conversion to address.	2018-09-20 14:31:04 +02:00
hydai	b409faa675	Disallow uppercase X in hex number literals	2018-09-19 22:01:15 +08:00
liangdzou	24e5dcc352	fix code format problems	2018-09-19 00:18:49 +08:00
liangdzou	808c3f3df5	fix some format typos	2018-09-17 22:13:21 +08:00
liangdzou	f3cbdadec7	Do not set to ref for explicit conversion and add assertion for array ... type conversion. Also, add some test cases for #4901 and #4948.	2018-09-14 08:42:40 +02:00
Jordan Last	d0497aacc0	fixing rebase conflicts ... add ElementaryTypes::BytesMemory and ElementaryTypes::StringMemory fix rebase conflicts fixing rebase conflicts use make_shared instead of new fix tabs and StateMutability parameter create address and addressType functions, fix spaces in comment fix typo and switch nonpayable to payable fix spaces fix comment again	2018-09-13 15:53:06 -06:00
Daniel Kirchner	e7daed68c1	Merge pull request #4911 from ethereum/addressPayable ... Payable and non-payable address type.	2018-09-13 17:30:54 +02:00
Daniel Kirchner	ae35a58124	Add `stateMutability field to JSON AST for address` types.	2018-09-13 15:15:49 +02:00
Daniel Kirchner	12aaca1645	Add payable and non-payable state mutability to AddressType.	2018-09-13 15:15:49 +02:00
Anurag Dashputre	b86cea033b	Removed default case from "ExpressionCompiler::visit(FunctionCall...)".	2018-09-13 15:40:06 +05:30
liangdzou	558a4ac49c	give more information (at most 35 chars before and after) for too long lines ... add tests for giving more informations for too long lines add edge tests for giving more informations for too long lines avoid printing out tailing white space update test case after avoiding printing out trailing whitespace update test case for removing the pre-release warning from reference refactor the code to if-else flavor rename folder to cmdlineErrorReports under test rename folder to cmdlineErrorReports under test ignore whitespace for reference files avoiding to modify the file stderr_path by call sed without -i option print ' ...' instead of ' ... ' at the end of a line	2018-09-13 09:55:54 +08:00
Daniel Kirchner	1ce3581a52	Accept `address payable` during parsing.	2018-09-11 14:52:23 +02:00
Daniel Kirchner	a434896458	Restore `isConstructor` in the legacy AST.	2018-09-11 14:47:25 +02:00
Daniel Kirchner	395ab9a872	Replace `isConstructor field in the JSON AST by a kind` field.	2018-09-11 14:47:25 +02:00
chriseth	120438c0cf	Always perform cleanup for EXP.	2018-09-10 12:47:46 +02:00
chriseth	0b7b8162ca	This fixes several bugs with regards to line breaks and comments: ... - any unicode line break (line feed, vertical tab, form feed, carriage return, NEL, LS and PS) is considered to terminate a single-line comment. The line break itself is considered to be the next token after the comment, leading to a parser error if it is not an ascii character (i.e. for NEL, LS and PS). - unterminated multiline comments are considered illegal tokens - '/** /' is considered an unterminated multiline comment (previously, whitespace was allowed before the last '/'	2018-09-06 16:42:59 +02:00
chriseth	977ac9c390	Refactor handling of whitespace.	2018-09-06 16:42:59 +02:00
Daniel Kirchner	f020f96b6c	More consistently use parse*() functions without argument in the parser.	2018-09-06 14:55:07 +02:00
chriseth	522174890f	Merge pull request #4872 from bakaoh/issue4716 ... Crash when array index value is too large	2018-09-05 21:47:42 +02:00
Daniel Kirchner	87804b6419	Split IntegerType into IntegerType and AddressType.	2018-09-05 12:19:14 +02:00
chriseth	a996ea266c	Merge pull request #4590 from ethereum/msgValueModifier ... Warn if modifier uses msg.value in non-payable function	2018-09-05 10:32:10 +02:00
bakaoh	a7ffff6a29	Fix #4716: Crash when array index value is too large	2018-09-05 10:54:38 +07:00
chriseth	e6aa15bae1	Merge pull request #4895 from ethereum/abidecodesingle ... Fix abi.decode returning single value.	2018-09-04 23:47:56 +02:00
chriseth	85debe77d9	Merge pull request #4866 from bakaoh/issue4743 ... Fix#4743: Incorrect source location for nameless parameters	2018-09-04 20:21:03 +02:00
chriseth	8da1f25030	Merge pull request #4897 from ethereum/trailingWhitespaceDetection ... Trailing whitespace detection script and circleci job.	2018-09-04 18:20:57 +02:00
chriseth	624dbbe142	Fix abi.decode returning single value.	2018-09-04 18:19:00 +02:00
Daniel Kirchner	1ae6ec9038	Remove trailing whitespace.	2018-09-04 17:43:04 +02:00
chriseth	9daac90cf7	Merge pull request #4888 from ethereum/disallow_single_statement_vardecl_if_while_for ... Disallow single statement var decl in if/while/for without blocks	2018-09-04 17:24:06 +02:00
Daniel Kirchner	82f512a7d4	Add return data to bare calls.	2018-09-04 13:31:10 +02:00
Leonardo Alt	ac8892e0e3	Review suggestions	2018-09-04 12:14:04 +02:00
Leonardo Alt	17176871ab	Changed error message and added tests	2018-09-04 11:48:58 +02:00
Daniel Kirchner	a102f3b783	Remove trailing whitespace for all files in the repository.	2018-09-04 11:30:30 +02:00
chriseth	2783905bab	Merge pull request #4837 from chase1745/default-to-unspecified ... Rename `Location::Default` to `Location::Unspecified`	2018-09-03 18:44:41 +02:00
chriseth	431c2fbcf3	Turn warning into error.	2018-09-03 18:35:57 +02:00
Erik Kundt	75a92b0ffd	Warns if modifier uses msg.value in non-payable function.	2018-09-03 18:35:57 +02:00
Leonardo Alt	4522c804f3	Disallow single statement var decl in if/while/for without blocks	2018-09-03 18:21:57 +02:00
chriseth	758bc1614c	Merge pull request #4851 from anurag-git/anurag_issue_4824 ... Removed unused "FunctionType::Kind::CallCode"	2018-09-03 16:51:05 +02:00
bakaoh	c458f5988b	Fix#4743: Incorrect source location for nameless parameters	2018-08-28 11:11:40 +07:00
Anurag Dashputre	94c327c1ae	Removed unused "FunctionType::Kind::CallCode" from Types.h and all its usage	2018-08-23 13:09:00 +05:30
Anurag Dashputre	8497dcd721	Merge branch 'develop' into anurag_issue_3667	2018-08-23 11:56:45 +05:30
Anurag Dashputre	55524788e2	Removed the default cases related to assertion to detect the problem at compile-time instead of run-time	2018-08-23 11:47:00 +05:30
Chase McDermott	551e0bf47c	Rename Location::Default to Location::Unspecified.	2018-08-17 18:15:22 -05:00
Anurag Dashputre	435cd95c54	Default case removed to detect errors at comoile time rather than run time	2018-08-17 18:37:35 +05:30
chriseth	410d288dfc	Merge pull request #4629 from ethereum/mapping_dynamic_key ... Dynamic type as mapping key returns error instead of assertion fail	2018-08-16 15:56:14 +02:00
chriseth	c274af0770	Merge pull request #4825 from ethereum/expressionCompBareCall ... More safeguards for (library) function types.	2018-08-16 14:38:44 +02:00
Leonardo Alt	583e7156ba	Dynamic type as mapping key returns error instead of assertion fail	2018-08-16 11:59:41 +02:00
liangdzou	74c37935f0	fix a typo: declaratoion => declaration	2018-08-16 13:42:46 +08:00
chriseth	cc6fa6d61f	Merge pull request #4822 from ethereum/addressStaticCall ... Add ``staticcall`` to ``address``.	2018-08-16 00:13:21 +02:00
chriseth	455345871d	More safeguards for (library) function types.	2018-08-15 17:11:43 +02:00
Leonardo Alt	faed71c6b1	Review suggestions	2018-08-15 17:11:18 +02:00
Leonardo Alt	b6c839e817	Disallow indexed reference types in events when using ABIEncoderV2	2018-08-15 17:11:18 +02:00
Daniel Kirchner	7ca0aaaf6f	Add `staticcall to address`.	2018-08-15 16:06:48 +02:00
chriseth	6c0261e6ab	Merge pull request #4390 from ethereum/abidecode ... Add abi.decode	2018-08-15 12:31:26 +02:00
chriseth	9328ea4c3c	Add abi.decode(bytes data, (...))	2018-08-15 10:45:16 +02:00
bakaoh	3fa8829845	Fixes #4718: High CPU usage when using large variable names	2018-08-15 10:23:08 +02:00
chriseth	cc54f6c425	Merge pull request #4738 from ethereum/dataloc_merged ... Enforce data location.	2018-08-14 21:38:07 +02:00
chriseth	8f27fb1f4a	Merge pull request #4542 from aarlt/constructor_natspec ... Fix: natspec annotations on constructors	2018-08-14 19:13:25 +02:00
Chase McDermott	683bce1869	Refactor data location check.	2018-08-14 18:07:15 +02:00
chriseth	3f42118d19	Merge pull request #4765 from ethereum/fixes-issue-4673 ... [WIP] Fixes issue where computing storage size for a number would take too long (or even cause a crash).	2018-08-14 17:34:04 +02:00
Jesse Busman	c059119145	Add implicit convertibility to function pointer with higher state mutability	2018-08-14 17:13:10 +02:00
chriseth	ec7ccbdf86	Merge pull request #4782 from ethereum/encodePackedArrayOfStructs ... Encode packed array of structs	2018-08-14 16:32:57 +02:00
Christian Parpart	43bda53410	Fixes issue where computing storage size for a number would take too long. ... Fixes #4673.	2018-08-14 15:38:10 +02:00
Christian Parpart	81faafe7f2	Adds support for structs in interfaces. ... Closes #4733.	2018-08-14 15:36:03 +02:00
chriseth	6ca3973944	Merge pull request #4777 from ethereum/typeConversionMemory ... Defaul data location for type conversions is memory.	2018-08-14 11:36:19 +02:00
chriseth	3dd31b704a	Merge pull request #4798 from ethereum/mappingArgumentsAndReturns ... Mapping arguments and returns	2018-08-13 17:27:29 +02:00
chriseth	ae8218543b	Merge pull request #4696 from ethereum/byteLiteralConversion ... Disallow ambiguous implicit and explicit conversions from number literals to bytesXX	2018-08-13 17:25:30 +02:00
Daniel Kirchner	341128962f	Allow mappings of arrays as arguments and return values of internal functions.	2018-08-13 16:33:37 +02:00
Daniel Kirchner	4ae59acc09	Consider mappings return values in control flow analysis.	2018-08-13 16:33:37 +02:00
Daniel Kirchner	a9f31da411	Allow mapping arguments and return values in all internal functions.	2018-08-13 15:50:22 +02:00
chriseth	bd567a22c9	Defaul data location for type conversions is memory.	2018-08-13 14:38:12 +02:00
Daniel Kirchner	57ada1d69e	Allow mapping arguments and return values in internal library functions.	2018-08-13 14:31:10 +02:00
Daniel Kirchner	7d7abeb149	Disallow ambiguous conversions between number literals and bytesXX types.	2018-08-13 14:27:01 +02:00
Daniel Kirchner	954d7433bd	Disallow remappings with empty prefix.	2018-08-10 19:26:48 +02:00
chriseth	0b65b2dff6	Disallow packed encoding of arrays of structs.	2018-08-09 21:16:51 +02:00
chriseth	6954f83a0c	Merge pull request #4790 from ethereum/fixCalldata ... Fix data location of external reference parameters.	2018-08-09 19:40:15 +02:00
Daniel Kirchner	b6e352f694	Merge pull request #4767 from ethereum/cvc4Build ... Add workarounds for building against CVC4 on ArchLinux.	2018-08-09 15:45:52 +02:00
chriseth	c9ca083d14	Fix data location of external reference parameters.	2018-08-09 15:04:00 +02:00
Alex Beregszaszi	ed52f422b7	Rename FunctionKind SHA3 to KECCAK256 (as the instruction was renamed in libevmasm)	2018-08-08 22:37:40 +01:00
Alexander Arlt	f76d4d5919	Fix: natspec annotations on constructors ... - natspec annotations on constructore where ignored.	2018-08-08 21:53:35 +02:00
chriseth	d634d20b5b	Merge pull request #4684 from ethereum/underscores_in_numeric_literals ... [BREAKING] Underscores in numeric literals	2018-08-08 21:36:57 +02:00
Daniel Kirchner	c7a0f44159	Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.	2018-08-08 19:02:59 +02:00
Daniel Kirchner	9b4546c487	Add workarounds for building against CVC4 on ArchLinux.	2018-08-08 19:02:59 +02:00
Alex Beregszaszi	551343ae3e	Merge pull request #4665 from mattaereal/cmake-patch-solver ... cmake option added to make solvers optional	2018-08-08 17:58:01 +01:00
Alex Beregszaszi	9d782cc39c	Merge pull request #4770 from ethereum/throw-codegen ... Remove code generation for Throw statement	2018-08-08 17:55:27 +01:00
Alex Beregszaszi	bb071f3075	Merge pull request #4769 from ethereum/inlineasm-overloading-resolution ... Provide nicer error message when referencing overloaded references	2018-08-08 17:55:10 +01:00
Alex Beregszaszi	a9819aa8bc	Remove code generation for Throw statement ... It is disallowed in the type system.	2018-08-08 17:02:25 +01:00
Matías Aereal Aeón	4b20708c49	cmake flags to make solvers optional. Implementation of #4651	2018-08-08 12:43:57 -03:00
Alex Beregszaszi	9062704054	Merge pull request #4753 from mattaereal/boost-to-string-patch ... Replace boost:lexical_cast<std::string> for std::to_string.	2018-08-08 16:07:25 +01:00
Alex Beregszaszi	3c791d637d	Provide nicer error message when referencing overloaded references	2018-08-08 15:59:24 +01:00
Alex Beregszaszi	efeffa8083	Merge pull request #4761 from ethereum/libsolc-exceptions ... Mark libsolc external C functions as noexcept	2018-08-08 15:56:12 +01:00
Matías Aereal Aeón	e902ce1aa0	Removing std:: from std::to_string and include for boost/lexical_cast	2018-08-08 11:26:30 -03:00
Alex Beregszaszi	1bfb841771	Remove experimental 0.5.0 pragma	2018-08-08 14:05:36 +01:00
chriseth	de8e9114fd	Merge pull request #4740 from ethereum/enforceNumberOfReturnValues ... Disallow empty return in function with return arguments.	2018-08-08 14:59:09 +02:00
Alex Beregszaszi	5b4ad10b3c	Mark StandardCompiler::compile as noexcept ... It has a generic catch statement and shouldn't leak out exceptions.	2018-08-08 13:22:40 +01:00
Christian Parpart	b9222808f6	Cleanup & polish numbers-with-underscores parsing, also improving tests.	2018-08-08 13:38:46 +02:00
chriseth	d0863f4994	Merge pull request #4748 from ethereum/validate-identifier ... Assert that type identifier contains only valid characters	2018-08-08 12:50:45 +02:00
chriseth	fd12c718f6	Merge pull request #4745 from ethereum/nameResolverNoEarlyExit ... Do not stop after the first error in reference resolution.	2018-08-08 12:49:46 +02:00
Alex Beregszaszi	64e3c9913f	Merge pull request #4736 from ethereum/removeFillRight ... Remove remaining instances of ``fillRight``.	2018-08-08 11:27:37 +01:00
Balajiganapathi S	09a36cba02	Add stricter hex underscore rules	2018-08-08 12:05:51 +02:00
Balajiganapathi S	0000bfc604	Allow underscores in numbers.	2018-08-08 12:05:51 +02:00
Matías Aereal Aeón	7dae58cbcc	Replace boost:lexical_cast<std::string> for std::to_string.	2018-08-08 03:55:43 -03:00
Alex Beregszaszi	3064bd17bc	Assert that type identifier contains only valid characters	2018-08-07 22:29:21 +01:00
Alex Beregszaszi	4dc3335cda	Merge pull request #4744 from ethereum/smt-magic-variable ... SMT: do not crash on referencing MagicVariableDeclaration	2018-08-07 21:30:14 +01:00
chriseth	43d6a9d763	Do not stop after the first error in reference resolution.	2018-08-07 22:04:59 +02:00
Alex Beregszaszi	f024efb7ab	SMT: do not crash on referencing MagicVariableDeclaration	2018-08-07 20:43:20 +01:00
Daniel Kirchner	cc83e69469	Disallow empty return expressions in functions with non-empty return parameters.	2018-08-07 20:48:07 +02:00
Daniel Kirchner	b11e39e25e	Remove remaining instances of `fillRight` left over from tuple wildcards assignments.	2018-08-07 18:51:53 +02:00
chriseth	d7756322c0	Merge pull request #4731 from ethereum/interface-enum ... Allow enums in interfaces	2018-08-07 17:20:05 +02:00
chriseth	901550e473	Merge pull request #4692 from ethereum/devcore-path ... Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore	2018-08-07 16:15:49 +02:00
chriseth	a949cffd24	Merge pull request #4699 from ethereum/cleanup_VariableDeclaration ... libsolidity: Remove dead code wrt. VariableDeclaration::canHaveAutoType	2018-08-07 16:14:41 +02:00
chriseth	c61cc98d0d	Merge pull request #4726 from ethereum/moveNothrow ... Make MemberList nothrow move constructible.	2018-08-07 16:11:59 +02:00
Alex Beregszaszi	a765b5b31c	Merge pull request #4720 from ethereum/abi-rational-type-identifier ... Fix type identifiers for RationalNumberType (on negative numbers)	2018-08-07 14:25:11 +01:00
Alex Beregszaszi	13e37df97c	Allow enums in interfaces	2018-08-07 13:28:53 +01:00
Alex Beregszaszi	b0f9fc5af0	Fix type identifiers for RationalNumberType	2018-08-07 13:23:14 +01:00
chriseth	133fd3d302	Make MemberList nothrow move constructible.	2018-08-07 14:20:18 +02:00
Alex Beregszaszi	05cc7e79e1	More precise error message if using non-variables with _slot/_offset	2018-08-07 13:18:54 +01:00
Alex Beregszaszi	eb7b3862ac	Properly handle invalid references used together with _slot and _offset.	2018-08-07 13:18:38 +01:00
Alex Beregszaszi	8b2d630275	Merge pull request #4724 from ethereum/slot-in-assembly ... Do not crash on using _slot and _offset suffixes on their own	2018-08-07 12:55:40 +01:00
Alex Beregszaszi	296ba24f7f	Do not crash on using _slot and _offset suffixes on their own	2018-08-07 12:14:12 +01:00
chriseth	71e26f6adb	Remove clone feature.	2018-08-07 11:10:50 +01:00
Christian Parpart	4c90ddf64a	libsolidity: Remove dead code wrt. VariableDeclaration::canHaveAutoType() ... Closes #4667	2018-08-07 11:34:13 +02:00
Alex Beregszaszi	bd75d4268b	Move fullyQualifiedName to ContractDefinition only	2018-08-06 18:58:27 +02:00
chriseth	276724dedc	Merge pull request #4663 from ethereum/dropConstantAST ... [BREAKING] Drop constant field from JSON AST	2018-08-06 18:55:12 +02:00
Alex Beregszaszi	eccc603291	FixedBytes(0) is invalid, do not check for it in ABIEncoderV2	2018-08-06 16:54:05 +02:00
chriseth	bc73617f5e	Merge pull request #4689 from ethereum/cleanup-050-tests ... Cleanup 0.5.0 test cases	2018-08-06 14:45:31 +02:00
Alex Beregszaszi	3de0b8b7f0	Move absolutePath/sanitizePath helpers from CompilerStack to libdevcore	2018-08-06 12:54:22 +01:00
Alex Beregszaszi	3481d4e2ec	Merge pull request #4690 from ethereum/equalParameterTypes ... Renamed FunctionType::hasEqualArgumentTypes to FunctionType::hasEqual…	2018-08-06 12:50:04 +01:00
Jesse Busman	3fcd62921e	Renamed FunctionType::hasEqualArgumentTypes to FunctionType::hasEqualParameterTypes	2018-08-06 13:05:06 +02:00
Alex Beregszaszi	08e431f94e	Remove unused 050 variable in ReferencesResolver	2018-08-06 12:03:00 +01:00
chriseth	9d03de1f25	Merge pull request #4671 from ethereum/mappingTupleAssignment ... Disallow assignments to mappings within tuple assignments; allow for local variables.	2018-08-06 12:59:16 +02:00
chriseth	3576980710	Merge pull request #4644 from ethereum/event_struct_error ... Disallow structs in events without ABIEncoderV2	2018-08-06 11:44:05 +02:00
chriseth	30f981fc2c	Merge pull request #4681 from ethereum/var-suggestion-crash ... Fix declaration suggestion for var with different number of components	2018-08-06 11:21:54 +02:00
Daniel Kirchner	44374a5846	Remove "constant" from JSON AST.	2018-08-06 11:15:25 +02:00
Alex Beregszaszi	83e6c34526	Fix declaration suggestion for var with different number of components	2018-08-04 15:22:22 +01:00
Christian Parpart	a4ee1dfc83	Merge pull request #4412 from ethereum/v050-reference-resolver-errorTypeForLoose ... [BREAKING] permanently set errorTypeForLoose from Warning to SyntaxError	2018-08-03 19:30:33 +02:00
Daniel Kirchner	f9b90feea0	Review suggestions; to be squashed.	2018-08-03 17:38:06 +02:00
Daniel Kirchner	1e4b5886d6	Allow assignments to local variables of mapping types.	2018-08-03 16:22:03 +02:00
Daniel Kirchner	c0a169ca90	Disallow assignments to mappings within tuple assignments.	2018-08-03 15:46:26 +02:00
Leonardo Alt	20c6cea7bb	Disallow structs in events without ABIEncoderV2	2018-08-03 13:41:27 +02:00
Daniel Kirchner	35c5b7de25	Turn warning about uninitialized storage returns into an error.	2018-08-02 19:34:38 +02:00
chriseth	009a55c82d	Merge pull request #4327 from ethereum/document-internals ... Properly explain all the analsys steps in CompilerStack	2018-08-02 15:07:35 +02:00
chriseth	90a5928b88	Merge pull request #4522 from ethereum/fullEncodingType ... Isolate determining the encoding type into its own function.	2018-08-02 15:01:38 +02:00
Christian Parpart	5d9320c70b	Disallow loos assembly in Solidity by permanently setting it to SyntaxError (from Warning)	2018-08-02 13:36:05 +01:00
Alex Beregszaszi	6003ed2abd	Merge pull request #4603 from ethereum/smtlib2 ... [SMTLib2] Fix repeated declarations	2018-08-02 12:04:58 +01:00
Leonardo Alt	90f319615f	SMT model variables are sorted and printed as secondary source location	2018-08-01 23:27:46 +02:00
Leonardo Alt	b6a2655513	Replace "value" by "<result>" in the SMT model	2018-08-01 23:27:11 +02:00
Daniel Kirchner	ce7c7aca79	Extend code comment about signatures.	2018-08-01 17:18:17 +02:00
Daniel Kirchner	30d9961efb	Do not exclude public state variables when looking for conflicting declarations.	2018-08-01 14:31:04 +02:00
Alex Beregszaszi	ce99a5ce7f	Merge pull request #4378 from ethereum/noBaseWithoutArguments ... [BREAKING] Disallow calling base constructors without arguments.	2018-08-01 13:18:37 +01:00
chriseth	061ea0cfc6	Correctly determine whether base constructor is called without parentheses.	2018-08-01 12:28:27 +01:00
chriseth	7e5406dd89	Disallow calling base constructors without arguments.	2018-08-01 12:28:27 +01:00
Christian Parpart	38f9667e09	Guard CycleDetector against recursion exhaustion. ... fixes #3935.	2018-08-01 12:02:59 +01:00
chriseth	7a8a243eef	Isolate determining the encoding type into its own function.	2018-08-01 11:55:57 +01:00
chriseth	c8232d9759	Disallow conversion between unrelated contract types.	2018-08-01 11:04:35 +01:00
Alex Beregszaszi	21888e246b	Merge pull request #4507 from ethereum/v050-var-keyword-trace-removals ... Ensures an empty use of var keyword is caught with the proper non-fatal error message	2018-08-01 10:59:26 +01:00
Leonardo Alt	41ac3d6cfb	Remove repeated declarations in Z3 and CVC4 as well	2018-08-01 11:12:56 +02:00
Christian Parpart	a7150f85a6	Ensures an empty use of var keyword is caught with the proper error message.	2018-08-01 09:59:06 +02:00
Leonardo Alt	210fee571f	Fix crash when FunctionType has undeclared type as parameter	2018-07-31 11:17:51 +02:00
Alex Beregszaszi	f74cff622d	Properly explain all the analsys steps in CompilerStack	2018-07-31 00:39:18 +01:00
Alex Beregszaszi	179427fd65	Import dev::solidity namespace in SMTPortfolio	2018-07-27 23:17:17 +01:00
Leonardo Alt	f249f9c86f	[SMTLib2] Fix repeated declarations	2018-07-27 17:34:44 +01:00
Alex Beregszaszi	dea0567e06	Fix unterminated parentheses typo in SMTLib2 ... Found by @leonardoalt	2018-07-27 17:33:53 +01:00
Leonardo Alt	55c1fb60b4	[SMTChecker] Add CheckResult::CONFLICTING	2018-07-27 16:16:26 +01:00
Leonardo Alt	87a38e1abe	[SMTChecker] SMTPortfolio: use all SMT solvers available	2018-07-27 16:15:34 +01:00
Leonardo Alt	b356f6a7f9	Setting timeout to Z3 and CVC4	2018-07-27 16:01:48 +02:00
Leonardo Alt	06dbcb3afe	Only ask for a model if it's SAT	2018-07-27 14:13:22 +02:00
Alex Beregszaszi	ae15b52d93	Merge pull request #4565 from ethereum/smt-stringutils-crash ... Add assert for both branches in mergeVariables in SMTChecker	2018-07-25 11:08:47 +01:00
Alex Beregszaszi	a5a61a0b77	More consistent catch statements ... Also take const& in all cases.	2018-07-25 01:18:09 +01:00
Alex Beregszaszi	d30a6de942	Add better warning on binary operation on non-integer types in SMT Checker	2018-07-24 23:23:54 +01:00
Alex Beregszaszi	278372c13d	Add assert for both branches in mergeVariables in SMTChecker	2018-07-24 22:43:05 +01:00
Leonardo Alt	a2f03ea9e5	Fix abiDecode comment	2018-07-23 23:31:02 +02:00
Alex Beregszaszi	de90290c28	Merge pull request #4527 from ethereum/mappingEnforceStorage ... Enforces explicit data location for mappings	2018-07-23 20:43:38 +01:00
Erik Kundt	c622a1e56c	Enforces data location of local mappings to storage.	2018-07-23 19:30:07 +02:00
Christian Parpart	9f35f0b805	Disallow functions without implementation to use modifiers. This was already the case in the experimental 0.5.0 mode.	2018-07-23 17:29:08 +01:00
chriseth	3fa0ac5822	Do not handle balance member of contract types specially.	2018-07-20 10:50:05 +02:00
chriseth	e3c2f20f6e	Merge pull request #4439 from ethereum/address_members ... [BREAKING] Enforce address members not accessible by contract instance	2018-07-19 09:24:27 +02:00
Leonardo Alt	faa9c221d4	Changes in ExpressionCompiler	2018-07-18 19:51:24 +02:00
Erik Kundt	b0b35e1e6b	Adds warning if function is shadowing a contract.	2018-07-18 14:29:01 +02:00
Erik Kundt	182a0a9551	Disallows old constructor syntax.	2018-07-18 14:29:01 +02:00
chriseth	dfd2fee91d	Suggests external for fallback and interface functions.	2018-07-17 18:07:36 +02:00
Erik Kundt	b5ecfbe5bc	Enforces visibility specifier and updates docs.	2018-07-17 17:44:51 +02:00
Leonardo Alt	563e0fc9a7	Add suggestion to error message	2018-07-17 16:38:36 +01:00
Leonardo Alt	0075f4239a	Address members not accessible by contract instance	2018-07-17 13:33:23 +01:00
Leonardo Alt	fdfdddd8dc	Add missing period in the end of error messages	2018-07-16 16:11:39 +01:00
Alex Beregszaszi	21e97da294	Deprecate the throw statement	2018-07-16 15:33:20 +02:00
Christian Parpart	396bf11858	enforce interface-functions to be external-declared ... - libsolidity: Enforce interface-functions must be external-declared. - Changelog adapted to reflect changes wrt. functions in interfaces. - test: Adjustments according to prior interface-function changes. - tests: Adapting SolidityEndToEndTest to interface-function change. - docs: Adapted documentation to interface-function change.	2018-07-16 12:15:36 +02:00
chriseth	bab4a3975f	Merge pull request #4501 from ethereum/recursiveStructsWithFixedArrays ... Consider fixed-size arrays when checking for recursive structs.	2018-07-13 01:26:50 +02:00
Daniel Kirchner	fc370591f0	Disallow multi variable declarations with mismatching number of values.	2018-07-12 20:33:51 +02:00
Daniel Kirchner	d71a023c0b	Use CycleDetector and account for multi-dimensional arrays.	2018-07-12 20:14:02 +02:00
Daniel Kirchner	d4dfd28694	Consider fixed size array members when checking for recursive structs.	2018-07-12 20:14:02 +02:00
chriseth	5d8a8f7265	Merge pull request #4437 from ethereum/report-empty-var-decls ... [BREAKING] Report empty var tuple decls	2018-07-12 19:22:38 +02:00
chriseth	6dcafac44e	Merge pull request #4447 from hosho/develop ... Fix NatSpec json output for "@notice" and "@dev" tags on contract definitions	2018-07-12 18:42:30 +02:00
chriseth	81271801b4	Merge pull request #4478 from ethereum/requireStorageLocation ... Turn missing storage locations into an error.	2018-07-12 18:00:05 +02:00
Alex Beregszaszi	0dd79bc172	Merge pull request #4479 from ethereum/fixFixedPointCrash ... Fix handling of fixed point types in arithmetics.	2018-07-12 15:04:16 +01:00
Matt Little	4efe3544f7	Fix NatSpec json output for "@notice" and "@dev" tags on contract definitions.	2018-07-12 14:39:13 +02:00
Christian Parpart	cc585138bc	Generates a syntax error when declaring a variable declaration's LHS has no named components	2018-07-12 13:26:52 +02:00
chriseth	fa8102880f	Merge pull request #4428 from ethereum/enforce_staticcall_view ... [BREAKING] Enforce STATICCALL for view and pure	2018-07-12 13:14:02 +02:00
chriseth	576f3ef18c	Merge pull request #4083 from ethereum/variable_stack_slot ... [BREAKING] Allocate local variables according to their scope	2018-07-12 13:01:15 +02:00
Daniel Kirchner	a1f54f4e40	Require storage location.	2018-07-12 12:48:18 +02:00
chriseth	99bee7e233	Merge pull request #4443 from ethereum/double_var_decl_fix ... Fix crash when declaring the same var twice in the same scope	2018-07-12 00:05:32 +02:00
chriseth	2b8091526f	Merge pull request #4472 from ethereum/complexCalldataArraysNotYetImplemented ... Throw unimplemented exception for complex calldata arrays.	2018-07-11 23:48:42 +02:00
chriseth	0c9645c978	Merge pull request #4480 from ethereum/fixZeroWithExponent ... Fix literals with exponents with mantissa of zero.	2018-07-11 23:45:41 +02:00
Christian Parpart	08345209e6	Merge pull request #4404 from ethereum/v050-var-keyword-suggest ... [WIP] v0.5.0 var keyword type suggestion	2018-07-11 16:33:09 +02:00
Daniel Kirchner	e8e5e12ad2	Fix literals with exponents with mantissa of zero.	2018-07-11 15:34:17 +02:00
chriseth	7355298c2f	Fix handling of fixed point types in arithmetics.	2018-07-11 14:56:53 +02:00
Leonardo Alt	38026d3114	Use STATICCALL for view and pure	2018-07-11 14:45:22 +02:00
chriseth	f3abfa81ad	Merge pull request #4454 from ethereum/constructorArgCount ... [BREAKING] Wrong argument count in constructor call	2018-07-11 14:45:05 +02:00
chriseth	238dbe1b99	Merge pull request #4388 from ethereum/noPackedLiterals ... Disallow packed encoding of literals.	2018-07-11 14:28:20 +02:00
Erik Kundt	7c7e154a7b	Improves error with suggestion to remove parantheses.	2018-07-11 01:58:17 +02:00
Erik Kundt	34a031609e	Updates Changelog, syntax test and simplifies type checker.	2018-07-11 01:58:17 +02:00
Erik Kundt	0b960f5a9c	Turns wrong argument count in base constructor call into en error.	2018-07-11 01:56:07 +02:00
Cryptomental	140dbfdbd8	Code, Changelog, ReleaseChecklist: Fix typos. ... Refs: #4442	2018-07-11 00:26:23 +02:00