Commit Graph

20620 Commits

Author SHA1 Message Date
Kamil Śliwak
d4a86b2b10 docs/conf.py: Remove unused /utils directory from python path 2021-07-15 13:14:39 +02:00
Kamil Śliwak
0f7a185ee3 scripts/docs.sh: Install latest versions of packages when available 2021-07-15 10:14:00 +02:00
Kamil Śliwak
693b88e5f8 docs: Force highlighter to work despite errors on snippets that it cannot parse 2021-07-15 10:14:00 +02:00
Kamil Śliwak
d8260a1e93 docs: Replace > with >= in pragmas to work around the highligher being unable to process the former 2021-07-15 10:14:00 +02:00
Kamil Śliwak
310a35185a docs: Fix some mislabeled bash and text blocks 2021-07-15 10:14:00 +02:00
Kamil Śliwak
235a39eaef docs: Fix syntax errors in JSON snippets and enable JavaScript highlighting for them 2021-07-15 10:14:00 +02:00
Kamil Śliwak
f3a5c27852 docs: Replace a few remaining :: blocks with .. code-block:: 2021-07-15 10:14:00 +02:00
Kamil Śliwak
b513ca1f7e ir-breaking-changes.rst: Fix too short header frame 2021-07-15 10:13:32 +02:00
Kamil Śliwak
42f982c063 docs: Fix indentation in some of the code snippets 2021-07-15 10:13:32 +02:00
Kamil Śliwak
ce79e2515b docs: Fix badly indented lists 2021-07-15 10:13:30 +02:00
Alex Beregszaszi
90f77f8c1f
Merge pull request #11663 from ethereum/more-fixes-for-deprecated-escapes
Remove deprecated escapes from docs + rename `escapeAndQuoteYulString()`
2021-07-15 00:54:08 +01:00
Kamil Śliwak
6753c8f624 Rename escapeAndQuoteYulString() back to escapeAndQuoteString() 2021-07-14 21:29:01 +02:00
Kamil Śliwak
312ac4a255 docs: Remove deprecated escape characters from the list of available escapes 2021-07-14 21:28:20 +02:00
chriseth
41e06eab4e
Merge pull request #11596 from ethereum/simplifySourceLocation
Remove CharStream from SourceLocation.
2021-07-14 15:50:55 +02:00
chriseth
a208e62f61
Merge pull request #11659 from ethereum/fix-docs-style-missing-bullet-points
Fix broken bullet points in docs caused by a bug in dependencies of `sphinx-rtd-theme`
2021-07-14 15:27:06 +02:00
chriseth
e3525b81d0 Supply scanner to model checker. 2021-07-14 15:12:10 +02:00
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
Kamil Śliwak
0aeb1ef47e Require sphinx-rtd-theme>= 0.5.2; older 2021-07-14 13:50:03 +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