Commit Graph

17512 Commits

Author SHA1 Message Date
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
chriseth
1a1960ede0
Merge pull request #9466 from ethereum/fixTokens
Properly sort token list.
2020-07-27 10:42:31 +02:00
Leonardo
e2bf88a119
Merge pull request #9390 from ethereum/brandguide
[DOCS] Adds brand guide and updates team calls information in contributing
2020-07-27 10:28:52 +02:00
franzihei
1596ccd25d Adds brand guide and updates team calls info
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>

Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>

Co-authored-by: Leonardo <leo@ethereum.org>

Co-authored-by: Leonardo <leo@ethereum.org>
2020-07-23 19:31:25 +02:00
chriseth
7ad27188a0
Merge pull request #9496 from ethereum/removeSignedCode
Remove handling of signed shift amounts.
2020-07-23 19:10:16 +02:00
chriseth
7ff3d10fee
Merge pull request #9492 from ethereum/someValueTests
Some more tests for value.
2020-07-23 19:09:28 +02:00
Leonardo Alt
95484d9969 Fix tests after rebase 2020-07-23 18:49:03 +02:00
Leonardo Alt
d70ebbb62d Remove problematic test 2020-07-23 18:49:03 +02:00
Leonardo Alt
d5f00842d9 cex2dot debug 2020-07-23 18:49:03 +02:00
Leonardo Alt
5bb4e73693 Review 1 2020-07-23 18:49:03 +02:00
Leonardo Alt
003c9b9a5b Update tests 2020-07-23 18:49:03 +02:00
Leonardo Alt
51721c3080 Double SAT run for cex 2020-07-23 18:49:03 +02:00
Leonardo Alt
694ec92688 Generate counterexample message based on cex graph 2020-07-23 18:49:03 +02:00
Leonardo Alt
744905525f Convert z3 cex graph into STL 2020-07-23 18:49:03 +02:00
Leonardo Alt
a7a069c74a Refactor constructor exit 2020-07-23 18:49:03 +02:00
chriseth
80d704891c
Merge pull request #9493 from ethereum/fix-gnosis
Force upgrade package-lock
2020-07-23 18:00:12 +02:00
chriseth
a5419651cc
Merge pull request #9491 from ethereum/cleanChangelog
Clean up changelog.
2020-07-23 16:52:36 +02:00
chriseth
436cf4cf12 Clean up changelog. 2020-07-23 16:51:49 +02:00
chriseth
8607bfdfaa
Merge pull request #9007 from a3d4/fix-8727-no-return-optimizer-error
Report an error if immutables not assigned
2020-07-23 16:50:42 +02:00
chriseth
95c8f41ddf
Merge pull request #9489 from ethereum/fixStackLit
Fix handling of long literal arguments in the stack compressor.
2020-07-23 16:49:39 +02:00
chriseth
1b810d4a0a Remove handling of signed shift amounts. 2020-07-23 16:45:16 +02:00
a3d4
5b54cfbed3 Report an error if immutables not assigned 2020-07-23 16:38:54 +02:00
Harikrishnan Mulackal
bde0728b9b Force upgrade package-lock 2020-07-23 20:05:14 +05:30
chriseth
ef49906f94
Merge pull request #9480 from ethereum/updatechecklist
Update release checklist.
2020-07-23 15:41:28 +02:00
chriseth
336fe94422
Merge pull request #9426 from ethereum/smt_fix_1_tuple
[SMTChecker] Fix ICE in 1-tuple chain
2020-07-23 15:38:17 +02:00
chriseth
1a4c896775
Merge pull request #9422 from ethereum/typeCheckerFunctionNamedArgsFix
[TypeChecker] Do not allow function application with named arguments on the result of a conditional operator
2020-07-23 15:22:26 +02:00
chriseth
4f611fbf17 Some more tests for value. 2020-07-23 14:57:47 +02:00
chriseth
a1da90d14b Adding more tests for function types 2020-07-23 14:55:32 +02:00
Djordje Mijovic
e7d5a7da10 [TypeChecker] Remove function input and return parameter names from mobileType 2020-07-23 14:39:49 +02:00