Commit Graph

17550 Commits

Author SHA1 Message Date
Djordje Mijovic
d685bee2ec [Sol->Yul] Implementing struct copying from calldata to memory.
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
2020-08-11 16:18:06 +02:00
Leonardo
05901f5bc9
Merge pull request #9521 from ethereum/smt_fix_array_name
[SMTChecker] Fix tuple name for arrays
2020-08-10 15:31:01 +02:00
Leonardo Alt
ec31d971e6 [SMTChecker] Fix tuple name for arrays 2020-08-07 12:28:10 +02:00
chriseth
241a564fca
Merge pull request #9517 from ethereum/documentMappings
Document encoding of mappings in library calls.
2020-08-06 16:43:17 +02:00
Daniel Kirchner
9ca48987dd
Merge pull request #9520 from ethereum/interpreterLiteral
Fix literal arguments in interpreter.
2020-08-06 16:11:31 +02:00
chriseth
ab4aad6dc9
Merge pull request #9588 from ethereum/docs-fix-broken-highlighting-in-some-blocks
[docs] Fix solidity code blocks using incorrect highlighter name
2020-08-06 15:42:18 +02:00
chriseth
ac1e1e9b41
Merge pull request #9584 from ethereum/oldCodegenOnlyWhenRequested
Don't run old codegen, when not needed, in CompilerStack, StandardCompiler and tests.
2020-08-06 15:40:25 +02:00
Daniel Kirchner
143b37af56 Only conditionally run old code generation in CompilerStack, StandardCompiler and semantic tests. 2020-08-06 15:05:17 +02:00
Kamil Śliwak
89c99800d0 docs: Fix solidity code blocks by using the capitalized name
- This only works with `Solidity`, not with `solidity`.
2020-08-06 14:45:58 +02:00
chriseth
0226d104b7 Fix literal arguments in interpreter. 2020-08-06 14:16:59 +02:00
chriseth
3a409c39e4
Merge pull request #9518 from ethereum/smt_fix_bmc_function_inlining
[SMTChecker] Fix ICE in BMC function inlining
2020-08-06 00:50:04 +02:00
chriseth
ebd512cef6
Merge pull request #9576 from ethereum/test-cleanup
Rename libsolidity/SolidityScanner to liblangutil/Scanner in tests
2020-08-06 00:49:33 +02:00
chriseth
488fd5a27a
Merge pull request #9575 from ethereum/yul-optim-check
Parse optimiser output in yulOptimiserTests
2020-08-06 00:40:45 +02:00
Alex Beregszaszi
d98eab24c5
Merge pull request #9502 from ethereum/yul-object-syntax-tests
Add syntax tests for Yul objects
2020-08-05 22:19:36 +01:00
Alex Beregszaszi
2e8616e2e4 Run prequisite steps for VarNameCleaner in tests 2020-08-05 22:12:51 +01:00
Alex Beregszaszi
99ba9ccc5b
Merge pull request #9578 from cakesoft-omkar/develop
Update installing-solidity.rst
2020-08-05 21:32:48 +01:00
Alex Beregszaszi
028f77e8cc Remove covered test cases from error_codes.py exception list 2020-08-05 21:22:00 +01:00
Alex Beregszaszi
0a8bc861b2 Remove old boost tests from libyul/ObjectParser 2020-08-05 21:01:46 +01:00
Alex Beregszaszi
291c359ee9 Add more syntax tests for Yul objects
Also move some of them from boost tests.
2020-08-05 21:01:46 +01:00
cakesoft-omkar
14fc453cb4
Update installing-solidity.rst
Typo- Correction
2020-08-06 00:51:10 +05:30
Alex Beregszaszi
e7c99918ed Use yul::test::parse in libyul/SynaxtTests to support objects 2020-08-05 18:10:21 +01:00
chriseth
98faf82d3f
Merge pull request #9563 from ethereum/constrInLib
Fix member lookup for constructor in library.
2020-08-05 19:07:28 +02:00
Alex Beregszaszi
99d96870ae Rename libsolidity/SolidityScanner to liblangutil/Scanner in tests 2020-08-05 13:39:18 +01:00
Alex Beregszaszi
42a777e9e2 Use forward declaration in EwasmTranslationTest 2020-08-05 13:31:51 +01:00
Alex Beregszaszi
dec0f86b83
Merge pull request #9542 from ethereum/smt_add_test
[SMTChecker] Add test from Aon blog post
2020-08-05 13:24:16 +01:00
Alex Beregszaszi
e77ae3f06e Parse optimiser output in yulOptimiserTests 2020-08-05 12:57:14 +01:00
Alex Beregszaszi
a21c8e18f1
Merge pull request #9572 from ethereum/yul-optimiser-tests
Return object format in expectation for yulOptimizerTests
2020-08-05 12:57:01 +01:00
Alex Beregszaszi
ea38193c71
Merge pull request #9569 from ethereum/yul-dialect-literalkind
Include literal kind of Dialect for builtins
2020-08-05 12:31:21 +01:00
Alex Beregszaszi
ad6f39376f Return object format in expectation for yulOptimizerTests 2020-08-05 11:55:13 +01:00
Alex Beregszaszi
a27b79fece Add yulSyntaxTests to error_codes.py 2020-08-05 11:37:04 +01:00
Alex Beregszaszi
6e381326fe Adjust and add more tests 2020-08-05 11:37:04 +01:00
Alex Beregszaszi
3a617f9cf2 Validate expected literal kind for yul::Dialect builtins
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
2020-08-05 11:37:04 +01:00
Alex Beregszaszi
f6a57af809 Add LiteralKind to Dialect.literalArguments
Co-authored-by: Daniel Kirchner <daniel@ekpyron.org>
2020-08-05 11:37:00 +01:00
Leonardo Alt
8df8c6e14f [SMTChecker] Fix ICE in BMC function inlining 2020-08-05 11:47:25 +02:00
chriseth
c03ca195ac
Merge pull request #9574 from hactrox/patch-1
Update introduction-to-smart-contracts.rst
2020-08-05 08:54:05 +02:00
hactrox
9da3410f1b
Update introduction-to-smart-contracts.rst
Fixed a typo
2020-08-05 12:14:51 +08:00
chriseth
b8fd409f7f
Merge pull request #9566 from ethereum/byteAfterShrNonEight
Optimize byte-after-shr for shift amounts that are not multiples of 8.
2020-08-04 14:19:11 +02:00
chriseth
1cb04914d4
Merge pull request #9567 from ethereum/fixInheritdoc
Require inheritdoc tag to be non-empty.
2020-08-04 14:18:53 +02:00
chriseth
a3a9630d8b Optimize byte-after-shr for shift amounts that are not multiples of 8. 2020-08-04 12:16:23 +02:00
chriseth
0ea5aae9aa Require inheritdoc tag to be non-empty. 2020-08-04 12:13:23 +02:00
chriseth
f079efe28c
Merge pull request #9559 from ethereum/fix-9558
yul: Set non movable flag to true in simplification rule for byte of …
2020-08-04 11:20:24 +02:00
chriseth
c96e997a3c Fix member lookup for constructor in library. 2020-08-04 10:51:40 +02:00
Leonardo Alt
55624d6416 Add test from Aon blog post 2020-08-04 09:31:48 +02:00
chriseth
d31f05fcc0
Merge pull request #9528 from a3d4/improve-error-coverage-return-tag
Use assert to check if return tag applies to a public state-variable
2020-08-03 17:35:50 +02:00
Bhargava Shastry
5100effeec yul: Set non movable flag to true in simplification rule for byte of right-shifted expression 2020-08-03 17:30:52 +02:00
chriseth
98379444f9
Merge pull request #9561 from a3d4/extend-errorcodes-script-to-detect-new-uncovered-errors
Extend error_codes.py to detect newly introduced error codes, not covered by tests
2020-08-03 16:17:52 +02:00
a3d4
0b45168bcb Use assert to check if return tag applies to a public state-variable 2020-08-03 05:22:09 +02:00
a3d4
0c3e0a65cf Extend error_codes.py to to detect newly introduced error codes, not covered by tests 2020-08-03 04:28:35 +02:00
Alex Beregszaszi
08791ab0d4
Merge pull request #9556 from goh-chunlin/develop
Corrected typo.
2020-07-31 16:02:31 +01:00
Goh Chun Lin
f61e8ed05d
Corrected typo. 2020-07-31 22:53:12 +08:00