Commit Graph
20694 Commits
Author SHA1 Message Date
Marenz 7836779975 Fix test error "No text representation found."
The result is actually okay as the code in question is never called.
2021-07-12 13:03:30 +02:00
chriseth 28845adf9a Merge pull request #11558 from ethereum/KeyValueParser
Yul: custom source locations (`@src`)
2021-07-12 12:34:43 +02:00
Christian Parpart f129a3498c Use shared DebugData for when using source locations from comments. 2021-07-09 11:50:50 +02:00
Christian Parpart 5e4868d5d6 Adapted tests due to more precise Yul source locations.
Also added support for -1 source index, referencing original scanner's source location.
2021-07-09 11:50:48 +02:00
Christian Parpart 132fa46faa Yul: Adds parsing @src comment in AsmParser to customize the AST's sourcer locations. 2021-07-09 11:48:00 +02:00
Christian Parpart 43cde4e175 Adds missing include header (for DebugData). 2021-07-09 11:46:59 +02:00
chriseth c3fa520c75 Merge pull request #11636 from ethereum/docs-clarify-struct-members-omitted-by-getters
[Docs] Clarify that non-byte array struct members are omitted by getters
2021-07-08 15:39:31 +02:00
chriseth fec01c112a Merge pull request #11616 from ethereum/issue-8191-yul
Test yul code blocks in documentation.
2021-07-08 15:37:01 +02:00
Marenz d844d84b51 Test yul code blocks in documentation. 2021-07-08 14:59:05 +02:00
Kamil Śliwak a1ca12a0a8 Clarify that non-byte array struct members are omitted by getters 2021-07-08 14:31:30 +02:00
chriseth 62934b60ca Merge pull request #11605 from ethereum/issue-8191
isolate_tests: Extract code blocks from documentation using code block header
2021-07-08 14:28:47 +02:00
Harikrishnan Mulackal 3f70acfd74 Merge pull request #11637 from ethereum/docs-fix-outdated-byte-type-reference
[Docs] Fix outdated references to `byte[]` type
2021-07-08 13:55:48 +02:00
Kamil Śliwak ddccd73a4b Fix outdated references to byte[] type (it's now bytes1[]) 2021-07-08 13:16:23 +02:00
chriseth 691083c032 Merge pull request #11632 from ethereum/yulNegationFunctionNameCollision
Fix negation function name collision.
2021-07-08 12:20:17 +02:00
chriseth 9abaa35d57 Merge pull request #11630 from ethereum/ifsourceLocations
Fix source location for ``if`` statements.
2021-07-08 12:18:15 +02:00
Marenz 9a0da17a6d Use more readable and maintainable multiline strings in py test script 2021-07-08 10:49:29 +02:00
Daniel Kirchner 0a6fc89da2 Fix negation function name collision. 2021-07-08 10:47:29 +02:00
Harikrishnan Mulackal 58ab8f79a2 Merge pull request #11634 from maAPPsDEV/patch-1
Fix a Typo describing Layout in Storage
2021-07-08 09:38:24 +02:00
Tony 510d74c1cd Fix a Typo describing Layout in Storage 2021-07-07 19:29:44 -04:00
Christian Parpart f9f32c910d Fix source location for `if` statements. 2021-07-07 17:37:01 +02:00
chriseth 46514ffad2 Merge pull request #11520 from ethereum/local-streams-in-command-line-parser
Local output streams in CommandLineParser
2021-07-07 15:07:23 +02:00
chriseth b281c01bfb Merge pull request #11548 from ethereum/removeArgAliases
Remove arg aliases.
2021-07-07 15:03:10 +02:00
Kamil Śliwak 3bad7aff02 CommandLineParser: Remove g_arg aliases 2021-07-07 13:02:50 +02:00
Kamil Śliwak baced5d10e Test for the --help option 2021-07-07 12:53:15 +02:00
Kamil Śliwak 4c479b5689 CommandLineInterface: Accept the standard input stream as a parameter 2021-07-07 12:53:15 +02:00
Kamil Śliwak bb64d366ea CommandLineInterface: Accept output streams as parameters 2021-07-07 12:53:15 +02:00
Kamil Śliwak 6c33fbcb6a CommandLineParser: Replace global sout/serr streams with class members
- This removes the global variable and prevents stderr/stdout from being printed in tests
2021-07-07 12:53:15 +02:00
chriseth 566537835b Merge pull request #11627 from ethereum/allowEmptyFileName
Include locations with empty source name.
2021-07-07 12:52:49 +02:00
Kamil Śliwak ce11ebb687 Merge pull request #11518 from ethereum/command-line-parser
CommandLineParser
2021-07-07 12:51:09 +02:00
chriseth 6ba298c82b Include locations with empty source name. 2021-07-07 12:13:52 +02:00
Leonardo 69233c37bd Merge pull request #11623 from simontianx/develop
Update smtchecker.rst
2021-07-06 18:15:46 +02:00
chriseth 085ca40e1f Merge pull request #11621 from ethereum/fixSourceLocationOfBuiltins
Fix source location of builtin function calls.
2021-07-06 18:05:54 +02:00
Simon Tian f0ec3dd6a2 Update smtchecker.rst 2021-07-06 23:24:37 +08:00
Kamil Śliwak ef7abd224d Tests for all input modes in CommandLineParser 2021-07-06 17:17:18 +02:00
Kamil Śliwak c17ee4fe65 CommandLineParser: Equality operators for settings 2021-07-06 17:17:18 +02:00
Kamil Śliwak 7d16c7b127 Equality operators for ModelCheckerSettings and ImportRemapper 2021-07-06 17:17:18 +02:00
Kamil Śliwak d781955b26 Extract CommandLineParser out of CommandLineInterface 2021-07-06 17:17:18 +02:00
Kamil Śliwak b0c70883f7 Copy CommandLineInterface.cpp/.h to CommandLineParser.cpp/.h 2021-07-06 17:17:18 +02:00
Marenz 5291ca2dd4 isolate_tests: Extract code blocks from documentation using code block header 2021-07-06 16:57:05 +02:00
chriseth 8d5e82b406 Fix source location of builtin function calls. 2021-07-06 16:54:29 +02:00
chriseth 09578e7e22 Merge pull request #11550 from ethereum/runs-constant
Constant for default --runs
2021-07-06 10:44:07 +02:00
chriseth 19b217dcf7 Merge pull request #10286 from ethereum/yul-evmasm-optim
Optimise libevmasm in yul
2021-07-05 14:24:27 +02:00
chriseth ae3f06a8e5 Merge pull request #11563 from ethereum/fix-11555
Document difference in evaluation order of arguments of addmod/mulmod…
2021-07-05 13:52:41 +02:00
Kamil Śliwak 105b4b4c8b Update tests 2021-07-05 13:46:53 +02:00
Alex Beregszaszi 847e30e6ff Optimise libevmasm in yul 2021-07-05 13:46:53 +02:00
Bhargava Shastry 3e275335c7 Document difference in evaluation order of arguments of addmod/mulmod by old and new code gens. 2021-07-05 13:39:14 +02:00
Kamil Śliwak f6cb933f24 Merge pull request #11589 from ethereum/testable-common-io
Make CommonIO testable
2021-07-02 15:39:56 +02:00
Kamil Śliwak a72857df03 CommonIO: Replace readStandardInput() with readUntilEnd() with a configurable stream 2021-07-02 14:58:30 +02:00
chriseth 98e1dee45f Merge pull request #11604 from ethereum/make-yul-tests-independent-of-optimizer
Make Yul tests independent of optimizer
2021-07-01 18:33:09 +02:00
Kamil Śliwak e3b345e5f0 Use a simpler stack optimization test to avoid having ICE message with absolute paths as expected output 2021-07-01 17:29:24 +02:00