chriseth
|
01dc77e5a2
|
Properly assign source names for AST import.
|
2021-07-14 15:12:10 +02:00 |
|
chriseth
|
f75b55071e
|
Remove CharStream from SourceLocation.
|
2021-07-14 15:12:07 +02:00 |
|
chriseth
|
57d32ca252
|
Merge pull request #11657 from ethereum/fixParserDestructor
ParserBase has virtual functions but did not have a virtual dtor.
|
2021-07-13 17:59:04 +02:00 |
|
Christian Parpart
|
adb09452d8
|
ParserBase has virtual functions but did not have a virtual dtor.
|
2021-07-13 17:36:18 +02:00 |
|
chriseth
|
b7edcc51d6
|
Merge pull request #11646 from ethereum/doNotUseCurrentSourceForMinusOne
Use unknown file for invalid source index.
|
2021-07-13 15:35:16 +02:00 |
|
Harikrishnan Mulackal
|
dda362f084
|
Merge pull request #11648 from CrimsonGlory/patch-1
minor doc change. RHS->right hand side
|
2021-07-13 09:04:24 +02:00 |
|
CrimsonGlory
|
ab5898f11c
|
RHS->right hand side
|
2021-07-12 21:18:46 -03:00 |
|
chriseth
|
e5ab68ed71
|
Use unknown file for invalid source index.
|
2021-07-12 17:35:49 +02:00 |
|
Kamil Śliwak
|
ef6ad57c9c
|
Merge pull request #11644 from ethereum/fix-no-text-rep-found
Fix test error "No text representation found."
|
2021-07-12 14:47:16 +02:00 |
|
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 |
|