Commit Graph
441 Commits
Author SHA1 Message Date
Daniel Kirchner 0172f61340 No longer mark Yul as experimental. 2022-03-14 14:48:01 +01:00
Daniel Kirchner e58c0b561d Mark viaIR code generation as non-experimental. 2022-03-14 14:48:00 +01:00
chriseth 4f02be110c Unused store eliminator. 2022-03-10 18:25:28 +01:00
chriseth b3fe042884 Optimize eq iszero jumpi to xor jumpi and remove double jump. 2022-03-10 14:41:41 +01:00
Daniel Kirchner 0a9d752b8b Add test case and adjust tests. 2022-03-09 17:53:28 +01:00
Daniel Kirchner ce0a3e93f2 Store whether an evmasm Assembly is creation code. 2022-03-09 17:42:29 +01:00
chriseth 4f19d68ee9 Merge pull request #12620 from ethereum/assemblyAnnotation
Memory-safety annotation for inline assembly.
2022-03-07 12:48:41 +01:00
nishant-sachdeva beabc51c20 returnSize assigned according to truth value of returnInfo.dynamicReturnSize 2022-03-03 18:55:10 +05:30
Daniel Kirchner 6b6e163be5 Tests. 2022-03-02 16:42:28 +01:00
chriseth e9592c3f8e Update tests. 2022-02-21 14:32:52 +01:00
Marenz 46075d04d9 Include used events in `--hashes` output 2022-02-09 13:50:42 +01:00
Marenz 3e7c68d9b0 Merge identifier query methods into one 2022-02-08 17:44:21 +01:00
joshieDo 9e62f21b25 Add event and error identifiers to cli hashes cmd 2022-02-08 17:44:21 +01:00
chriseth 5c3bcb6c2d Merge pull request #12434 from ethereum/outputLocations
Output searched locations on import failure.
2022-02-08 17:16:46 +01:00
joshuatarkwski 6225dad332 Output searched locations on import failure. 2022-02-08 16:20:27 +01:00
Marenz b9fe628b70 Emit immutable references for pure yul code 2022-02-07 12:32:54 +01:00
Marenz 49b4e77d6b Prevent crash when translating yul->ewasm with @use-src annotations 2021-11-11 13:43:57 +01:00
chriseth 1633e367c9 Merge pull request #12199 from ethereum/expose-parsingAndImporting
Expose "parsingAndImporting" setting to user
2021-11-08 17:06:20 +01:00
Kamil Śliwak 44f7065fc9 Merge pull request #12074 from ethereum/output-selection-in-assembler-mode
CLI output selection in assembler mode
2021-11-08 16:59:57 +01:00
Marenz fc224f74c7 Evaluate absolute paths for imports in 'parsing' stage 2021-11-08 16:34:02 +01:00
chriseth 080c7245ae Update tests. 2021-11-08 14:59:00 +01:00
chriseth a1aa9d2d90 Skip extcodesize check if return data is expected. 2021-11-08 14:58:09 +01:00
Kamil Śliwak 1a19d9a5cf New CLI output in assembly mode: --ewasm-ir 2021-11-04 18:23:11 +01:00
Kamil Śliwak affeff18f5 Don't ignore output selection in assembly mode 2021-11-04 18:23:11 +01:00
Leo 58688bd9c1 Merge pull request #12167 from ethereum/smt_merge_query_entry_points
[SMTChecker] Merge all entry points for a target
2021-11-03 16:43:16 +01:00
Daniel Kirchner 28ae316556 Named function labels. 2021-11-03 12:42:07 +01:00
Daniel Kirchner 1a0605c594 Update tests. 2021-11-03 12:39:55 +01:00
Leo Alt e40cf92b1d [SMTChecker] Merge all entry points for a target 2021-11-03 11:12:58 +01:00
Leo Alt 4f823c6342 CLI and JSON tests 2021-10-26 11:30:30 +02:00
chriseth e6e30f82ca Merge pull request #12139 from ethereum/nonamedlabelsifnotunique
Do not use named function labels if function names are not unique.
2021-10-25 17:50:29 +02:00
soroosh-sdi 816d8021e4 Remove linking to unqualified library name
- SemanticTests accepts fully qualified library name and also unqualifed library name when
the library is defined in the same file for convenience.
- commandline tests are added!

Signed-off-by: soroosh-sdi <soroosh.sardari@gmail.com>
2021-10-20 18:11:58 +03:30
chriseth 9f48b7419c Do not use named function labels if function names are not unique. 2021-10-19 18:33:00 +02:00
chriseth 95dbbdae22 Prepare tests to be meaningful. 2021-10-13 17:56:43 +02:00
chriseth 59d8f50518 Fix tests. 2021-10-12 18:08:33 +02:00
chriseth 49d7b78466 Merge pull request #12123 from ethereum/empty-switch-12068
CodeGen: Only output switch when it has cases
2021-10-12 17:42:49 +02:00
Mathias Baumann 454860d1f5 CodeGen: Only output switch when it has cases 2021-10-12 17:40:31 +02:00
Kamil Śliwak a9e794c872 Expose --debug-info/settings.debug.debugInfo option 2021-10-11 20:34:48 +02:00
Kamil Śliwak b0a5b92fe9 Merge pull request #12071 from ethereum/cli-validate-output-selection
Validate selected compiler outputs on the CLI
2021-10-11 17:52:32 +02:00
Kamil Śliwak b9b2c69d24 CommandLineParser: Validate compiler output selection 2021-10-06 20:09:33 +02:00
Kamil Śliwak 620ec47efb OptimizerSuite: Rewrite runSequence() with support for nested brackets 2021-10-06 19:15:02 +02:00
Kamil Śliwak b415e94e19 Reformat standard_optimizer command-line tests for readability 2021-10-06 18:46:53 +02:00
Leo Alt 4c2b661eaa [SMTChecker] Report values for block, msg and tx variables in counterexamples 2021-10-05 15:19:10 +02:00
Kamil Śliwak 7915f32852 Remove leftovers of compact-format and interface from --combined-json 2021-10-01 13:05:30 +02:00
hrkrshnn 6109b5c3a1 UserDefinedValueType.storageBytes() is correctly set
Previously it returned 32 bytes for all types, which was wasteful. This commit changes it to return
the storage bytes of the underlying type.
2021-09-29 11:41:47 +02:00
chriseth b6e62d61ec Export canonicalName 2021-09-28 12:00:30 +02:00
Kamil Śliwak 3ac3612767 Whitelist base path 2021-09-27 13:14:10 +02:00
chriseth 7726f37946 Update tests. 2021-09-22 11:33:02 +02:00
Kamil Śliwak 7bd1d1cf20 Command-line test for --asm-json 2021-09-21 16:28:16 +02:00
Kamil Śliwak d86347cf7e Rename existing debug info tests to match the naming convention 2021-09-21 11:07:46 +02:00
chriseth 2c3322cbf6 Merge pull request #11993 from ethereum/remove-trailing-whitespace-after-location-with-no-snippet
Don't include whitespace after `@src` tag if there's no snippet
2021-09-20 14:10:59 +02:00