Commit Graph

17570 Commits

Author SHA1 Message Date
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
chriseth
f2fa5b5fe2
Merge pull request #9323 from ethereum/evm-dialect
Drop instructions() from AsmParser
2020-07-29 15:33:31 +02:00
Alex Beregszaszi
24bb6252ac Merge Parser::instructions() into EVMDialect 2020-07-29 13:15:54 +01:00
Alex Beregszaszi
d41fc31046 Do not use Parser::instructions() but depend on the dialect in NameDispenser and VarNameCleaner 2020-07-29 13:15:54 +01:00
chriseth
cd2ce28317
Merge pull request #9547 from ethereum/useCBOR
Use cbor metadata in gas cost tests.
2020-07-28 23:59:14 +02:00
chriseth
b8b78a6982 Use cbor metadata in gas cost tests. 2020-07-28 23:42:22 +02:00
chriseth
9e5a56a649
Merge pull request #9526 from ethereum/scanner-split
Add ScannerKind and replace supportPeriodInIdentifier
2020-07-28 23:25:28 +02:00
chriseth
aea75d0f5b
Merge pull request #9513 from ethereum/smt_fix_fixed_bytes_access
[SMTChecker] Fix ICE on fixed bytes access
2020-07-28 23:24:04 +02:00
chriseth
73506e2858
Merge pull request #9530 from a3d4/improve-error-coverage-referenceresolver
Complete error coverage of ReferenceResolver
2020-07-28 21:12:54 +02:00
chriseth
f9f3c971c4
Merge pull request #9529 from a3d4/improve-error-coverage-modifier-to-variable
Cover "Override changes modifier to public state variable." error
2020-07-28 21:11:45 +02:00
chriseth
b5964a9328
Merge pull request #9527 from a3d4/improve-error-coverage-zero-base
Use assert to check zero size base type
2020-07-28 21:11:02 +02:00
a3d4
ffdb0e37ff Complete error coverage of ReferenceResolver 2020-07-28 18:56:57 +02:00
a3d4
dbeacbafa5 Cover "Override changes modifier to public state variable." error 2020-07-28 18:55:12 +02:00
chriseth
8ff9846944
Merge pull request #9539 from ethereum/moreparallel
More parallel jobs.
2020-07-28 18:42:07 +02:00
Leonardo Alt
ad1798b000 [SMTChecker] Fix ICE on fixed bytes access 2020-07-28 17:59:42 +02:00
chriseth
9ac0049d1a
Merge pull request #9541 from ethereum/release
Merge release back into develop.
2020-07-28 17:52:04 +02:00
chriseth
7ee5dac310
Merge pull request #9538 from ethereum/setverto071
Set version to 0.7.1
2020-07-28 17:45:51 +02:00
a3d4
5394435bea Use assert to check zero size base type 2020-07-28 17:39:52 +02:00
chriseth
34d66431d6 More parallel jobs. 2020-07-28 17:30:56 +02:00
chriseth
8a6aa53791
Merge pull request #9537 from ethereum/fiveOsx
Speed up osx build.
2020-07-28 17:24:09 +02:00
chriseth
8a136c96e9 Set version to 0.7.1 2020-07-28 17:16:57 +02:00
chriseth
9e61f92bd4
Merge pull request #9536 from ethereum/develop
Merge develop into release for 0.7.0
2020-07-28 14:33:04 +02:00
Alex Beregszaszi
d9cb8c8c5e Add ScannerKind and replace supportPeriodInIdentifier 2020-07-28 12:31:08 +01:00
chriseth
6227edda14 Speed up osx build. 2020-07-28 13:22:51 +02:00
chriseth
52eeeacafb
Merge pull request #9533 from ethereum/prepare070
Prepare changelog for 0.7.0.
2020-07-28 12:46:55 +02:00
chriseth
ab0b2e1fe1 Prepare changelog for 0.7.0. 2020-07-28 12:44:08 +02:00
chriseth
655113e922
Merge pull request #9532 from ethereum/smt_fix_tests
Fix SMTChecker tests
2020-07-28 12:14:46 +02:00
chriseth
7da82534d4
Merge pull request #9534 from ethereum/inlineasm-tests
Remove errenous error duplication and move some tests around
2020-07-28 12:14:25 +02:00
Alex Beregszaszi
291c00c3de Remove errenous error duplication and move some tests around 2020-07-28 10:45:27 +01:00
chriseth
53d497fc31
Merge pull request #9412 from ethereum/unicode-string
[BREAKING] Support unicode string literal type
2020-07-28 11:42:23 +02:00
Leonardo Alt
a6df232fa3 Fix SMT tests 2020-07-28 11:24:25 +02:00