Commit Graph

21013 Commits

Author SHA1 Message Date
Kamil Śliwak
9326b2eaeb ASTImportTest.sh: Print an error when AST reimport fails instead of just exiting silently 2021-09-23 17:55:01 +02:00
chriseth
55467c1cca
Merge pull request #11982 from ethereum/splitCommon
Split Common.h into Numeric.h.
2021-09-23 16:28:47 +02:00
chriseth
1531863835 Split Common.h into Numeric.h. 2021-09-23 15:27:29 +02:00
chriseth
c8e6ef9657
Merge pull request #12004 from ethereum/disambiguateBytesRequired
Disambiguate bytesRequired
2021-09-23 15:25:44 +02:00
chriseth
9552270c62
Merge pull request #12012 from ethereum/solc-runs-text
Improve `--optimize-runs` text
2021-09-23 10:49:00 +02:00
Alex Beregszaszi
34b8477664 Improve --optimize-runs text 2021-09-23 10:07:10 +02:00
Kamil Śliwak
72fc34494a
Merge pull request #11994 from ethereum/smt-solver-choice-tweaks
`SMTSolverChoice` tweaks: fix `&` modifying the object and add more `const`/`noexcept`
2021-09-22 17:55:33 +02:00
Kamil Śliwak
11fdcc5159
Merge pull request #11996 from hawkess/isoltest-validation
Isoltest validation
2021-09-22 17:43:44 +02:00
chriseth
5a3a5c746f
Merge pull request #11864 from ethereum/protectViaIR
Add protection against mixing "viaIR" and "non-viaIR".
2021-09-22 16:16:11 +02:00
Harikrishnan Mulackal
55d609d354
Merge pull request #11990 from ethereum/smt_user_types
[SMTChecker] Support user types
2021-09-22 15:40:49 +02:00
chriseth
9f8406ad37 Add protection against mixing "viaIR" and "non-viaIR". 2021-09-22 15:34:39 +02:00
chriseth
bcdaa0c729
Merge pull request #11998 from ethereum/separate-yul-and-sol-locations-in-debug-info
Store both Yul and Solidity locations in debug data
2021-09-22 15:27:42 +02:00
Kamil Śliwak
fc7e8c56dc Fill out originLocation with nativeLocation when importing Yul AST 2021-09-22 13:17:18 +02:00
Kamil Śliwak
d23754eafd AsmParser: Don't use locationOverride as current location when location from comments is selected 2021-09-22 13:11:39 +02:00
Kamil Śliwak
ce4420f857 Separate DebugData fields for Solidity and Yul source locations 2021-09-22 13:11:39 +02:00
Kamil Śliwak
9c1d40debf AsmParser: Replace m_debugDataOverride with separate variables for location and AST ID 2021-09-22 13:11:39 +02:00
Kamil Śliwak
84ca67c283 Yul syntax tests showing broken behavior 2021-09-22 13:11:39 +02:00
chriseth
5a7fddbd1f
Merge pull request #11975 from ethereum/functionDebugInfo
Function debug info
2021-09-22 12:43:43 +02:00
chriseth
7726f37946 Update tests. 2021-09-22 11:33:02 +02:00
chriseth
50ce1f5ddd Disambiguate bytesRequired 2021-09-22 11:22:07 +02:00
chriseth
7637286074 Remove unused function. 2021-09-22 11:11:51 +02:00
chriseth
2741175507 Use function debug data. 2021-09-22 11:11:51 +02:00
chriseth
e6f0fe8ae3 Use source id in yul to evm code transform. 2021-09-22 11:11:51 +02:00
chriseth
d9ad047c21
Merge pull request #12001 from ethereum/cmdline-test-for-asm-json
Command-line test for `--asm-json`
2021-09-22 11:09:02 +02:00
chriseth
8af2cdfb82
Merge pull request #12003 from ethereum/wrong-err-msg
[Trivial] Correct wrong error message referencing `.slot` and `.offset` when `.length` was used
2021-09-22 11:07:43 +02:00
hawkess
4fd5093d94 Removed pointer to external editor resource in IsolTestOptions, changed TestTool::handleResponse() to get editor value from m_options member variable 2021-09-21 14:12:26 -05:00
Marenz
7a51acc5fe Correct wrong error message referencing .slot and .offset when .length was used 2021-09-21 18:28:38 +02:00
Marenz
0f326ada5c Sort changelog "bugfixes" alphabetically 2021-09-21 18:01:12 +02:00
Kamil Śliwak
b1351f4807 Fix typo in test name: leave_items_on_tack.sol -> leave_items_on_stack.sol 2021-09-21 16:28:16 +02:00
Kamil Śliwak
7bd1d1cf20 Command-line test for --asm-json 2021-09-21 16:28:16 +02:00
chriseth
fc95436704
Merge pull request #11984 from ethereum/parse-input-mode-earlier
[CLI] Parse input mode earlier and add some asserts
2021-09-21 15:09:21 +02:00
Leo Alt
e74f853c6b [SMTChecker] Support user types 2021-09-21 13:23:17 +02:00
chriseth
659498ff50
Merge pull request #11992 from ethereum/rename-debug-info-cmdline-tests
Rename existing debug info tests to match the new naming convention
2021-09-21 12:10:01 +02:00
Kamil Śliwak
d86347cf7e Rename existing debug info tests to match the naming convention 2021-09-21 11:07:46 +02:00
hawkess
5edabc014d Changed enforce-gas-cost and enforce-via-yul to accept explicit arguments 2021-09-20 13:17:35 -05:00
Sean Hawkes
a875d1225a Explicity set default values for program options based on initialized values from constructor 2021-09-20 08:34:28 -05: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
chriseth
06223f0ae9
Merge pull request #11977 from acoglio/patch-2
Clarify interpretation of literals.
2021-09-20 12:00:36 +02:00
Alessandro Coglio
0ac441ac73 Clarify interpretation of literals.
This is based on discussions on Gitter.
2021-09-20 11:59:59 +02:00
chriseth
c9f98f2cc2
Merge pull request #11983 from ethereum/fix-fatal-error-hiding-non-fatal-errors-in-standard-json
Don't discard non-fatal errors in Yul mode in Standard JSON when followed by a fatal error
2021-09-20 11:53:09 +02:00
Harikrishnan Mulackal
46f7078d67
Merge pull request #11995 from andrewl64/patch-1
Update README.md
2021-09-20 09:40:42 +02:00
Sean Hawkes
f2e59923ab Added call to CommonOptions base class validate method to derived IsolTestOptions validate method to validate against both common and extended options 2021-09-18 06:59:37 -05:00
Sean Hawkes
76fa00abed Added invocation of base class addOptions in derived to populate list with common and derived options, fixed errors with editor member variable type mismatch 2021-09-18 06:22:27 -05:00
Sean Hawkes
ae7c617711 Added call to addOptions virtual helper in CommonOptions::parse to add options from base/derived classes, modified interface of IsolTestOptions to include editor member variable set based on provided parameter in constructor as it is now needed by addOptions helper function 2021-09-18 05:43:09 -05:00
Sean Hawkes
f47e918caa Moved program_options add_options to a helper function to allow defaults to be set by derived class constructor before immutable options are created by parent 2021-09-18 04:55:50 -05:00
Andrew Lyndem
2052307d33
Update README.md
Hyperlink correction.
2021-09-18 15:19:56 +05:30
Kamil Śliwak
a9b5835e5d AsmPrinter: Don't include whitespace after @src if there's no code snippet 2021-09-17 21:46:12 +02:00
Kamil Śliwak
b3a513d3b6 SMTSolverChoice: Rewrite operator & not to modify its argument 2021-09-17 21:39:29 +02:00
Kamil Śliwak
588ec39eef SMTSolverChoice: Make more members const/noexcept 2021-09-17 21:39:29 +02:00
Kamil Śliwak
4a8a003b3d CommandLineParser: Initialize inputMode and perform generic validations earlier 2021-09-17 18:42:13 +02:00