2317 Commits

Author	SHA1	Message	Date
chriseth	9244b8ea5a	More code for optimizer tuning.	2019-01-08 18:07:14 +01:00
chriseth	5b8b016fae	Use the block flattener.	2019-01-08 16:02:14 +01:00
chriseth	884d51c1f2	Merge pull request #5759 from ethereum/anotherBigTest ... Another ABI test case for the optimizer.	2019-01-08 16:01:41 +01:00
chriseth	2d19903d1a	Another ABI test case for the optimizer.	2019-01-08 15:14:45 +01:00
chriseth	f5b24a38b8	Make function grouper idempotent.	2019-01-08 15:05:09 +01:00
chriseth	6414d63906	Merge pull request #5716 from ethereum/fixDataSizeOffset ... Fix data size offset and properly provide builtins.	2019-01-08 00:07:42 +01:00
chriseth	40e1283d72	Merge pull request #5713 from ethereum/addAztek ... [Yul] Add AZTEK code as test.	2019-01-07 17:25:41 +01:00
chriseth	ace601b8f6	Tests.	2019-01-07 17:23:38 +01:00
chriseth	5b73c2ae3b	Take special functions that require literals into account.	2019-01-07 17:23:38 +01:00
chriseth	9f5d34af7d	Merge pull request #5752 from ethereum/addDialect ... [Yul] Refactor: Make the dialect available everywhere.	2019-01-07 17:23:05 +01:00
chriseth	9222eff08f	Make the dialect available everywhere.	2019-01-07 16:41:03 +01:00
chriseth	b604b87272	Add AZTEK code as test.	2019-01-07 16:23:35 +01:00
androlo	d2105be57d	Move actual test files.	2019-01-07 15:05:54 +01:00
chriseth	6e626ad955	Unify json and non-json commandline tests.	2019-01-07 14:50:49 +01:00
androlo	b18c8a60ff	Use directories for tests.	2019-01-07 14:50:49 +01:00
chriseth	633228f1a7	Merge pull request #5710 from ethereum/moveTests ... [REF][cmdlinetests] Move functions to the top	2019-01-07 14:47:53 +01:00
chriseth	b06e84501b	Merge pull request #5711 from ethereum/printCommandOnError ... [cmdline tests] Print command on error.	2019-01-07 14:37:32 +01:00
chriseth	ff7bc85478	Merge pull request #5741 from ethereum/fix-5730-SourceLocation ... Fixes SourceLocation extraction on multiline locations with a too long first line	2019-01-07 14:37:07 +01:00
chriseth	2e9c70add0	Use rematerializer if variable is unreferenced or value is "cheap".	2019-01-07 14:03:32 +01:00
Christian Parpart	9e61dbad07	Adds new test for SourceReferenceExtractor to extract multiline location with a too long first line.	2019-01-07 11:56:43 +01:00
androlo	88c7975ca5	Move functions to the top.	2018-12-21 00:46:31 +01:00
chriseth	09feb9cf52	Print command.	2018-12-20 12:56:18 +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