Commit Graph
17490 Commits
Author SHA1 Message Date
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
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
v0.7.0
2020-07-28 14:33:04 +02: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
chriseth 2dd693b893 Merge pull request #9524 from ethereum/lessAnnoyingForAxic
More parallelism for clang build.
2020-07-28 11:06:27 +02:00
Alex Beregszaszi 4e4b3ee67c Merge pull request #9523 from ethereum/scanner-dot-tests
Add more tests to the scanner regarding dots in identifiers
2020-07-27 18:42:38 +01:00
Alex Beregszaszi 0102d30b0a Add more tests to the scanner regarding dots in identifiers 2020-07-27 18:38:18 +01:00
chriseth ee9a03ffe1 Merge pull request #9501 from ethereum/calldataToMemoryCopy
[Sol->Yul] Implementing bytes copying from calldata to memory.
2020-07-27 19:23:30 +02:00
chriseth 81cdc39f51 Merge pull request #9514 from ethereum/fixInterCon
Fix internal error for invalid data location in constructor.
2020-07-27 19:21:55 +02:00
Alex Beregszaszi af22dfa5b4 Document unicode string literals 2020-07-27 18:21:17 +01:00
Alex Beregszaszi 1f39640392 Update grammar for unicode literals 2020-07-27 18:21:17 +01:00
Alex Beregszaszi f5f86779b8 Update tests for unicode literals 2020-07-27 18:21:17 +01:00
Alex Beregszaszi 6eb60bc8cd Add check that regular and unicode string literals are well formatted 2020-07-27 18:21:17 +01:00
Alex Beregszaszi 6fe8e63eee Remove inconsistently used isValidUTF8 helper 2020-07-27 18:21:17 +01:00
Alex Beregszaszi 5bfcc1ffcc Update tests for string literals 2020-07-27 18:21:17 +01:00
Alex Beregszaszi 8abc1a6863 Check for invalid ASCII in the scanner 2020-07-27 18:21:17 +01:00
chriseth 9605b85c21 Merge pull request #9352 from ethereum/smt_cex
[SMTChecker] CHC counterexamples
2020-07-27 19:21:04 +02:00
chriseth 2cc3d8c150 Merge pull request #9516 from ethereum/circleci-use-hera-docker-images
[circleci] Use hera enabled docker images.
2020-07-27 19:18:07 +02:00
chriseth 0a42ac2a5a Merge pull request #9522 from ethereum/smt_fix_tuple_pop
[SMTChecker] Fix ICE in tuples again
2020-07-27 19:03:12 +02:00
chriseth 375cb1032a More parallelism for clang build. 2020-07-27 18:57:23 +02:00
Leonardo Alt b207222af7 Fix extra parens 2020-07-27 17:14:59 +02:00
Djordje Mijovic 96258c7e75 [Sol->Yul] Implementing bytes copying from calldata to memory. 2020-07-27 15:14:26 +02:00
chriseth f24097c38d Fix internal error for invalid data location in constructor. 2020-07-27 15:00:17 +02:00
Alexander Arlt e0c55d6570 [circleci] Use hera enabled docker images. 2020-07-27 07:28:15 -05:00
chriseth da189a6678 Merge pull request #9515 from ethereum/smt_fix_extra_parens
[SMTChecker] Fix ICE when tuples have extra effectless parens
2020-07-27 14:09:28 +02:00
Leonardo Alt de4ae301c4 [SMTChecker] Fix ICE when tuples have extra effectless parens 2020-07-27 13:03:27 +02:00
chriseth 5812cd8213 Merge pull request #9511 from ethereum/ast-hex-string
[BREAKING] Distinguish between stringLiteral and hexStringLiteral in the JSON AST
2020-07-27 12:34:40 +02:00
chriseth 56e4e9f0af Merge pull request #9510 from ethereum/gasImumtable
Explain gas implications of constant and immutable variables.
2020-07-27 11:41:26 +02:00
chriseth 0caec9d28b Explain gas implications of constant and immutable variables. 2020-07-27 11:22:58 +02:00
Alex Beregszaszi 5ecc84e92e Distinguish between stringLiteral and hexStringLiteral in the JSON AST 2020-07-27 10:19:24 +01:00
chriseth 82e5e80cba Merge pull request #9494 from ethereum/fixExp07
Fix conversion bug for exp operation.
2020-07-27 10:45:14 +02:00
chriseth 2c574af45b Fix conversion bug for exp operation. 2020-07-27 10:44:42 +02:00
chriseth 42063f2158 Merge pull request #9490 from ethereum/renameSlotToSelector
Rename external function slot to selector.
2020-07-27 10:42:47 +02:00