2296 Commits

Author	SHA1	Message	Date
chriseth	2e9c70add0	Use rematerializer if variable is unreferenced or value is "cheap".	2019-01-07 14:03:32 +01:00
androlo	4487567629	Only select directories to skip the README.	2018-12-20 12:19:14 +01:00
chriseth	8690898ac1	Formatting.	2018-12-20 12:19:14 +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	1bf396af78	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	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
Alex Beregszaszi	bd2f2ecbbd	Move unsatisfied_version test from SolidityNameAndTypeResolution to SolidityParser	2018-12-18 15:02:59 +00:00
Alex Beregszaszi	ba15bc0a23	Fail if parsing failed in AnalysisFramework ... Otherwise Compilerstack::analyze will throw an exception.	2018-12-18 15:02:37 +00:00
Alex Beregszaszi	c2ec6d71b4	Add version pragma parsing to Parser	2018-12-18 15:02:35 +00:00
Mathias Baumann	1b8570f829	Only generate sort/search code when interface functions exist	2018-12-17 21:24:37 +01:00
chriseth	332f914e4e	Merge pull request #5388 from ethereum/smt_mapping ... [SMTChecker] Support for mapping	2018-12-17 14:09:52 +01:00
chriseth	bf7d71d6b3	Merge pull request #5613 from ethereum/yulStringLiterals ... [Yul] Use C++ user-defined literals for creating YulString constants.	2018-12-17 14:07:24 +01:00
chriseth	2f11a677de	Add gnosis safe as external test.	2018-12-14 23:48:04 +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	bc22a25a60	Remove VarDeclPropagator.	2018-12-13 16:51:10 +01:00
chriseth	6c6a53a439	Do not create unassigned variables.	2018-12-13 16:51:10 +01:00
chriseth	11209ec48a	Add variable declaration initializer.	2018-12-13 16:49:04 +01:00
chriseth	b11d413720	Consider return variables to be zero initially.	2018-12-13 16:02:30 +01:00
chriseth	1d274a8924	Merge pull request #5644 from ethereum/noInlineIntoLarge ... [Yul] Do not inline into already big functions.	2018-12-13 15:57:49 +01:00
chriseth	ef95a1ab53	Merge pull request #5651 from ethereum/cmdlineJsonTests ... Remove pre-release warning from standard json cmdline tests.	2018-12-13 15:28:40 +01:00
Daniel Kirchner	d5a50d8aee	Remove pre-release warning from standard json cmdline tests.	2018-12-13 14:42:29 +01:00
chriseth	60a368244a	Do not inline into already big functions.	2018-12-13 12:12:54 +01:00
chriseth	642c69f935	Merge pull request #5641 from ethereum/supportUnassigned ... [Yul] Support unassigned variables in the SSA value tracker and the data flow analyzer.	2018-12-13 11:33:45 +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
Daniel Kirchner	5ac7620045	Use C++ user-defined literals for creating YulString constants.	2018-12-12 18:45:43 +01:00
chriseth	17bf164afe	Merge pull request #4951 from ethereum/alethUpdates ... Use current aleth release for testing.	2018-12-12 18:41:35 +01:00
chriseth	9557dd7e74	Support unassigned variables in the SSA value tracker and the data flow analyzer.	2018-12-12 18:06:28 +01:00
Leonardo Alt	8cd2ac8462	Disallow unknown JSON keys in standard-json	2018-12-12 17:32:42 +01:00
Daniel Kirchner	123d33ad41	Add tolerance to gas meter tests.	2018-12-12 17:24:56 +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
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	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
Daniel Kirchner	6d82ad1338	Test updates for recent versions of aleth.	2018-12-11 04:47:05 +01:00
chriseth	d80d324de7	Tests for gas costs.	2018-12-10 18:06:07 +01:00
Yi Huang	81f703427e	Add tests for implcit conversions from literals to fixed-point numbers.	2018-12-10 17:31:20 +01:00
Mathias Baumann	55d7d327c4	Have only one source where testsuits are defined	2018-12-10 16:49:33 +01:00
chriseth	b05d33d771	Tests for stack reusing code generator.	2018-12-10 14:28:56 +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