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
|
0e614bf5cb
|
Document encoding of mappings in library calls.
|
2020-07-27 15:06:55 +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 |
|