Commit Graph
20528 Commits
Author SHA1 Message Date
Josué 71d6e8da2d tx.origin pointing where exactly is the bug
Clarification for preventing more bugs of this kind that have been shown recently.
2021-07-26 13:04:14 +02:00
Kamil Śliwak 6d6c9e6e4f Merge pull request #11660 from ethereum/docs-fix-badly-indented-lists-and-blocks
[Docs] Fix badly indented lists and blocks
2021-07-21 18:35:19 +02:00
Leonardo d655a3c91b Merge pull request #11673 from ethereum/smt_update_z3_12
Update SMTChecker tests with z3 4.8.12
2021-07-20 10:56:20 +02:00
Leo Alt e46abd0ca1 Update tests due to nondeterminism 2021-07-19 15:20:11 +02:00
Leo Alt 5decccaf3a update docker hashes and versions 2021-07-19 15:20:11 +02:00
Leo Alt 20e23171da Update tests to z3 4.8.12 2021-07-16 14:43:52 +02:00
Daniel Kirchner 3d26d47d46 Merge pull request #11525 from ethereum/yulControlFlowGraph
Yul control flow graph (OptimizedEVMCodeTransform Step 1)
2021-07-15 16:03:39 +02:00
chriseth 31cca72213 Merge pull request #11665 from ethereum/yul-output-fixes
Yul src output updates & fixes
2021-07-15 16:00:53 +02:00
Daniel Kirchner f3707f2ab0 Control flow graph for Yul. 2021-07-15 15:24:12 +02:00
chriseth f82da14a3a Merge pull request #11666 from ethereum/robots-txt-html-extra-template-renderer
Sphinx extension for rendering `robots txt`
2021-07-15 15:21:37 +02:00
Mathias Baumann bf204403d8 Add "@use-src" header for generated yul code 2021-07-15 14:26:01 +02:00
Kamil Śliwak 8c5ae508f9 Use html_extra_template_renderer to replace the current robots.txt rendering script 2021-07-15 13:29:27 +02:00
Kamil Śliwak 2bebc2f822 Create a local html_extra_template_renderer Sphinx extension 2021-07-15 13:29:27 +02:00
Marenz 57db4c82ba Fix: Use correct byte offset separation
":" instead of ","
2021-07-15 13:15:21 +02:00
Kamil Śliwak d4a86b2b10 docs/conf.py: Remove unused /utils directory from python path 2021-07-15 13:14:39 +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