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 |
|
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 |
|
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 |
|
chriseth
|
29b6c17246
|
Merge pull request #9665 from ethereum/asanNightly
Move asan builds and tests to nightly.
|
2020-08-25 10:07:12 +02:00 |
|
chriseth
|
0b97cf1154
|
Move asan builds and tests to nightly.
|
2020-08-24 20:11:02 +02:00 |
|
chriseth
|
21489d8193
|
Merge pull request #9638 from ethereum/fixNullValuesAST
Remove null values from AST also in standard-json mode.
|
2020-08-24 15:57:33 +02:00 |
|
Leonardo
|
bff0f9bda7
|
Merge pull request #9656 from ethereum/fixSmtConditionalTests
Fix tests for conditional operator on latest develop.
|
2020-08-22 12:11:25 +02:00 |
|
Djordje Mijovic
|
00e765f478
|
Fix tests for conditional operator on latest develop.
|
2020-08-22 07:52:55 +02:00 |
|
Đorđe Mijović
|
4dd25f7302
|
Merge pull request #9639 from ethereum/smtConditionalSupport
[SMTChecker] Supporting conditional operator
|
2020-08-21 14:25:47 +02:00 |
|
Djordje Mijovic
|
3f97a1012a
|
[SMTChecker] Supporting conditional operator
|
2020-08-20 21:39:35 +02:00 |
|
chriseth
|
4a720a6511
|
Merge pull request #9646 from a3d4/improve-error-coverage-syntaxchecker
Improve error coverage of syntax checker
|
2020-08-20 13:18:35 +02:00 |
|
chriseth
|
4dc63875f9
|
Merge pull request #9113 from ethereum/smt_chc_overflow
[SMTChecker] Add underflow/overflow target to CHC
|
2020-08-20 13:17:00 +02:00 |
|
a3d4
|
ad311fae19
|
Improve error coverage of syntax checker
|
2020-08-20 03:23:21 +02:00 |
|
Daniel Kirchner
|
bd21535dd1
|
Rewrite of the antlr grammar.
|
2020-08-19 17:55:31 +02:00 |
|
chriseth
|
9e488f12fc
|
Merge pull request #9644 from ethereum/msvc-adl-fix
Fixes compilation with MSVC.
|
2020-08-19 14:47:57 +02:00 |
|
chriseth
|
b2b8e0e4c6
|
Merge pull request #9312 from ethereum/rewrite-loopInvariantCodeMotion
Rewrite loop invariant code motion
|
2020-08-19 14:27:04 +02:00 |
|
Christian Parpart
|
ab56c85915
|
Fixes compilation with MSVC.
|
2020-08-19 13:56:30 +02:00 |
|