2340 Commits
Author SHA1 Message Date
chriseth faa66983ae Use v0.5.0 tag of solc-js repository for external tests. 2019-01-22 10:03:35 +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
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 0711873a2f Merge pull request #5794 from ethereum/ssaReverser
[Yul] Add SSAReverser to optimiser.
2019-01-17 23:50:51 +01:00
Daniel Kirchner 29f66b2674 Stabilize SSAReverser. 2019-01-17 21:05:32 +01:00
Daniel Kirchner fd16585724 Undo second SSA transformation and add more tests. 2019-01-17 20:37:43 +01:00
Daniel Kirchner 6de2d92f20 Add SSAReverser to the yul optimiser. 2019-01-17 20:37:43 +01:00
chriseth 2a0d4f358c Add test for content of creationCode and runtimeCode. 2019-01-17 20:36:48 +01:00
chriseth fed56f33d5 Type is not reserved anymore. 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 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
chriseth 44237211d1 Tests. 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 a10db051de [SMTChecker] Support basic typecast 2019-01-16 13:00:54 +01:00
Daniel Kirchner 81f24f24e6 Add equivalent function combiner as Yul optimizer step. 2019-01-15 17:21:03 +01:00
Daniel Kirchner 4c8f8e9491 Disallow mismatching types in switch cases and detect duplicates by value for number literals. 2019-01-15 16:32:21 +01:00
chriseth 950e193642 Merge pull request #5765 from ethereum/unreachableCode
Warn about unreachable code.
2019-01-10 11:31:54 +01:00
Daniel Kirchner 0dfd4a726e Warn about unreachable code. 2019-01-10 10:36:50 +01:00
chriseth b7ef850955 Update tests. 2019-01-09 16:57:33 +01:00
chriseth edda79eec5 Variables are free with regards to code size. 2019-01-09 16:57:33 +01:00
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