Kamil Śliwak
192954e8fa
docs: Fix broken internal links using wrong syntax
...
- These links were using external link syntax instead of `:ref:`. What's
worse, Sphinx can't detect when they're broken.
- Added missing anchors in some cases.
2020-08-31 12:46:45 +02:00
chriseth
8402baa45b
Merge pull request #9678 from ethereum/fix-9674
...
Docker: Install antlr4 deps in ossfuzz docker
2020-08-31 12:36:09 +02:00
Leonardo
2b1f75dcf2
Merge pull request #9331 from ethereum/yul-token
...
Introduce Token::isYulToken() and use it in AsmParser
2020-08-31 12:33:24 +02:00
Leonardo Alt
8c05db88c0
[SMTChecker] Fix soundness of array pop
2020-08-31 12:11:33 +02:00
Alex Beregszaszi
7ef9591e64
Expose hex literal to the Yul parser
...
This allows nicer error messages.
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
26a76c18d4
Add Yul syntax test for every Solidity keyword
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
4366ede889
Introduce Leave as a keyword for Yul
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
caa329066e
Do not emit Solidity-only tokens in the Scanner for Yul
...
And simplfiy AsmParser greatly.
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
bd7283ad22
Add scanner test for specially handled keywords in Yul
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
64c73baee9
Use only advance() and not with a mix of m_scanner->next()
2020-08-28 19:34:52 +01:00
Alex Beregszaszi
98cc1d9994
Merge pull request #9696 from ethereum/immutable-tests
...
Update tests for immutable variables
2020-08-28 19:34:45 +01:00
Alex Beregszaszi
a80e2c1462
Update tests for immutable variables
2020-08-28 19:06:34 +01:00
Alex Beregszaszi
56624af209
Merge pull request #9695 from ethereum/scanner-test
...
Add more scanner tests for hex and unicode literals
2020-08-28 18:19:22 +01:00
chriseth
20efba6b55
Merge pull request #9568 from ethereum/fixImmutables
...
Fix reads checks for complex assignment and increment/decrement for immutable variables.
2020-08-28 16:14:18 +02:00
chriseth
342c4e1a29
Merge pull request #9694 from ethereum/cxx-narrowing-fix-msvc
...
Fixes C++ narrowing conversion compile error
2020-08-28 16:13:34 +02:00
Christian Parpart
cd3836f467
Fixes compilation on MSVC wrt. narrowing conversion from cstr-ptr to bool.
2020-08-28 15:54:47 +02:00
Alex Beregszaszi
aa70758c32
Add more scanner tests for hex and unicode literals
2020-08-28 14:33:29 +01:00
chriseth
9e1b30be70
Merge pull request #9693 from ethereum/cmake-toolchain-cleanup
...
CMake toolchain file cleanup
2020-08-28 15:27:29 +02:00
chriseth
8b564a7be7
Fix reads checks for immutable variables.
2020-08-28 15:24:40 +02:00
chriseth
ec3f3c41dd
Merge pull request #9690 from ethereum/immutable-rhs-vardecl
...
Disallow assigning more than once to immutables during the variable declaration
2020-08-28 14:39:23 +02:00
Leonardo
df79a4f162
Merge pull request #9691 from ethereum/oversized-function-array
...
Changed canonicalName() to toString() because of internal functions
2020-08-28 13:57:47 +02:00
Harikrishnan Mulackal
7ff809dc78
Disallow assigning more than once to immutables during the vardecl
2020-08-28 13:42:54 +02:00
Christian Parpart
c3eff6ed50
[cmake] C++ version should not be mandated by the toolchain setting, as it conflicts with Windows (CI) builds using vcpkg
2020-08-28 12:47:20 +02:00
Alex Beregszaszi
abaa2e722f
Merge pull request #9585 from ethereum/yul-wasm-strict
...
Add some asserts to WasmCodeTransform
2020-08-28 01:28:00 +01:00
Harikrishnan Mulackal
672f391660
Changed canonicalName() to toString() because of internal functions
2020-08-27 21:09:35 +02:00
Alex Beregszaszi
dd44fc1f06
Use explicit yul namespace in WasmCodeTransform
2020-08-27 19:49:30 +01:00
Alex Beregszaszi
fdf68a9525
Add some asserts to WasmCodeTransform
2020-08-27 19:49:30 +01:00
Alex Beregszaszi
e872b1b51e
Merge pull request #9689 from ethereum/using-for-interface
...
Disallow ``using for`` directive for interfaces.
2020-08-27 19:09:19 +01:00
Bhargava Shastry
6101590d93
ossfuzz: Generate antlr4 runtime deps
2020-08-27 17:33:29 +02:00
chriseth
0798167f3d
Merge pull request #9612 from ethereum/yul-rightarrow
...
Introduce RightArrow (->) token
2020-08-27 16:21:18 +02:00
Harikrishnan Mulackal
c7dc42a794
Disallow `using for
` directive for interfaces.
2020-08-27 15:57:51 +02:00
Mathias Baumann
c4962df262
Refactor ASTJSONTest to reduce redundancy
2020-08-27 15:56:41 +02:00
Bhargava Shastry
a25c666e4a
Docker: Install antlr4 deps in ossfuzz docker
2020-08-27 15:56:26 +02:00
chriseth
e5b9a33998
Merge pull request #9686 from ethereum/fix-infinite-loop
...
Fix infinite loop
2020-08-27 15:55:08 +02:00
Harikrishnan Mulackal
7826564226
Fix infinite loop for structs in library function parameter
2020-08-27 14:18:07 +02:00
chriseth
1a930de5a1
Merge pull request #9682 from ethereum/fix-type-contract-interface
...
Allow `type(Contract).name` for abstract contracts and interfaces
2020-08-27 14:10:47 +02:00
Harikrishnan Mulackal
1c066b1059
Allow type(Contract).name
for abstract contracts and interfaces
2020-08-27 13:37:08 +02:00
Alex Beregszaszi
662f7d8fac
Rename Arrow to DoubleArrow
2020-08-27 12:28:27 +01:00
Alex Beregszaszi
4e5b403c37
Introduce RightArrow (->) token in the scanner
2020-08-27 12:28:27 +01:00
chriseth
161ed4c948
Merge pull request #9683 from ethereum/fix-exp-neg-literal
...
Disallow the exponent to be a signed integer literal
2020-08-27 13:26:15 +02:00
Harikrishnan Mulackal
6f22899153
Disallow the exponent to be a signed integer literal
2020-08-27 12:08:45 +02:00
chriseth
aab6075351
Merge pull request #9684 from ethereum/fix-inheritdoc-dots
...
Fix inheritdoc tags trying to resolve 'empty' elements
2020-08-27 11:53:22 +02:00
Harikrishnan Mulackal
79b2e41252
Fix inheritdoc tags trying to resolve 'empty' elements
2020-08-26 21:28:00 +02:00
Leonardo
fdc4142b2c
Merge pull request #9661 from ethereum/smtBitwiseOr
...
[SMTChecker] Support bitwise or, xor and not operator
2020-08-26 18:20:15 +02:00
chriseth
dbe0518cd2
Merge pull request #9652 from ethereum/iceInlineAssemblyOffset
...
[Sol->Yul] Enabling storage pointers to local vars in inline assembly.
2020-08-26 17:12:54 +02:00
chriseth
bc4e07d309
Merge pull request #9672 from ethereum/fixRecompilation
...
Fix inlining order to correspond to source order.
2020-08-26 16:39:03 +02:00
Djordje Mijovic
11a7763f49
[SMTChecker] Support bitwise or, xor and not.
2020-08-26 11:06:56 +02:00
Djordje Mijovic
d99b81ef02
[Sol->Yul] Enabling storage pointers to local vars in inline assembly.
2020-08-26 10:25:42 +02:00
chriseth
e72afcba47
Fix inlining order to correspond to source order.
2020-08-26 10:20:18 +02:00
chriseth
221524b153
Merge pull request #9606 from ethereum/newGrammar
...
Rewrite of the antlr grammar.
2020-08-26 09:57:13 +02:00