chriseth
|
3c270ca7f7
|
Merge pull request #10608 from ethereum/develop
Merge develop into breaking.
|
2020-12-15 15:24:53 +01:00 |
|
chriseth
|
4e86390e40
|
Merge pull request #10590 from ethereum/deposit-test
Include the eth2 deposit contract as an external test
|
2020-12-15 14:57:38 +01:00 |
|
chriseth
|
ffaf40950a
|
Merge pull request #10605 from ethereum/develop
Merge develop into breaking.
|
2020-12-15 14:01:01 +01:00 |
|
chriseth
|
2a54079d41
|
Merge pull request #10575 from ethereum/calldataArraySlices
Conversion of calldata array slices to memory
|
2020-12-15 12:21:33 +01:00 |
|
Martin Blicha
|
e2c27b8ea4
|
[SMTChecker] Fix internal error on constructor of a recursive struct
|
2020-12-15 09:53:52 +01:00 |
|
Djordje Mijovic
|
64f0120622
|
Change assertions to align to TypeChecker.
|
2020-12-15 09:21:50 +01:00 |
|
Djordje Mijovic
|
d479c98920
|
Adding tests for conversion of calldata slices to memory and storage and fixing syntax tests.
|
2020-12-15 09:21:47 +01:00 |
|
Martin Blicha
|
71f835b71b
|
[SMTChecker] Fixed internal error when increment/decrement is applied on a result of push().
|
2020-12-14 22:52:44 +01:00 |
|
Alex Beregszaszi
|
edbdff8619
|
Update tests
|
2020-12-14 19:32:31 +00:00 |
|
chriseth
|
271a17d908
|
Merge pull request #10496 from ethereum/address-payable
[BREAKING] tx.origin, msg.sender and address(literal) are non-payable addresses
|
2020-12-14 20:16:52 +01:00 |
|
chriseth
|
9c3690c246
|
Some more tests for overflow.
|
2020-12-14 19:12:48 +01:00 |
|
hrkrshnn
|
7438c4dc16
|
Tests after making all explicit address conversions as non-payable
|
2020-12-14 18:46:01 +01:00 |
|
Martin Blicha
|
103fa3b7eb
|
[SMTChecker] Fix internal error on abstract modifier
|
2020-12-14 18:23:25 +01:00 |
|
Martin Blicha
|
27402781c4
|
[SMTChecker] Fixed crash on push to bytes on lhs of an assignment
|
2020-12-14 17:40:45 +01:00 |
|
hrkrshnn
|
88c99a7538
|
Tests/Docs: changing type of msg.sender and tx.origin into address
And also making the type of address(literal) as non-payable address.
|
2020-12-14 16:55:48 +01:00 |
|
Martin Blicha
|
0be325dc0d
|
[SMTChecker] Fix handling of function calls where the function identifier is nested in a tuple.
|
2020-12-14 16:19:24 +01:00 |
|
chriseth
|
d257ab7141
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-14 16:05:12 +01:00 |
|
Alex Beregszaszi
|
34cab95446
|
Do not insert SPDX line if it is already present (in semantic tests)
|
2020-12-14 14:25:58 +00:00 |
|
chriseth
|
0dd2f1edbe
|
Update counter-examples.
|
2020-12-14 14:21:35 +01:00 |
|
Alex Beregszaszi
|
3a7a0e4256
|
Add test cases for the deposit contract
|
2020-12-14 13:11:57 +00:00 |
|
Alex Beregszaszi
|
b97a12c299
|
Initial import of syntaxTests/externalContracts/deposit_contract.sol
Imported from https://github.com/axic/eth2-deposit-contract/tree/r2
|
2020-12-14 12:19:07 +00:00 |
|
Alex Beregszaszi
|
aa042ccb87
|
Disallow leading zeroes in sized-types
Also avoid using boost::lexical_cast for parseSize.
|
2020-12-14 11:40:14 +00:00 |
|
Alex Beregszaszi
|
4bffd040e2
|
Add tests for weirdly sized types
e.g. bytes00001
|
2020-12-14 11:40:11 +00:00 |
|
chriseth
|
28374447d2
|
Merge pull request #10582 from ethereum/addr-literal
Fix crash with oversized address literals
|
2020-12-14 12:14:28 +01:00 |
|
chriseth
|
561280a5cc
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-14 11:33:40 +01:00 |
|
Alex Beregszaszi
|
33ff2b16ff
|
Fix crash with oversized address literals
|
2020-12-11 23:45:23 +00:00 |
|
Leonardo
|
db9aa36d6c
|
Merge pull request #10567 from blishko/unary-operators-fix
[SMTChecker] Fix CHC analysis of increment/decrement
|
2020-12-11 18:52:12 +01:00 |
|
Leonardo
|
da9cede0fe
|
Merge pull request #10348 from ethereum/simplify-compiler
Simplify abstraction of Compiler/CompilerContext/CompilerStack
|
2020-12-11 17:42:36 +01:00 |
|
Martin Blicha
|
8927015e5a
|
[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine
|
2020-12-11 17:41:50 +01:00 |
|
Leonardo
|
7972d8eb98
|
Merge pull request #10578 from ethereum/ast-test
Properly print sources in ASTJSONTest
|
2020-12-11 17:41:31 +01:00 |
|
Alex Beregszaszi
|
4a7f2ddc6d
|
Properly print sources in ASTJSONTest
|
2020-12-11 15:28:54 +00:00 |
|
Alex Beregszaszi
|
98d8174d31
|
Simplify Compiler/CompilerContext by removing extra layers of indirection
|
2020-12-11 14:43:51 +00:00 |
|
chriseth
|
baaf7c0db8
|
Implement address(...).code in the IR
|
2020-12-11 03:00:30 +00:00 |
|
Alex Beregszaszi
|
7b347b9ec2
|
Introduce address(...).code
|
2020-12-11 03:00:30 +00:00 |
|
Alex Beregszaszi
|
fa37e69c25
|
Improved error messages when converting to/from builtin functions
|
2020-12-10 22:38:15 +00:00 |
|
Alex Beregszaszi
|
ff7e45f417
|
Add test cases for assigning builtins/bound functions to function types
|
2020-12-10 22:18:52 +00:00 |
|
Đorđe Mijović
|
9e4f3bad06
|
Merge pull request #10569 from ethereum/byteArrayStorageStorage
Fix copying byte arrays from storage to storage.
|
2020-12-10 22:52:50 +01:00 |
|
Alex Beregszaszi
|
bd641a5206
|
Enable more C++ compiler warnings
|
2020-12-10 21:03:58 +00:00 |
|
chriseth
|
7764ee8d86
|
Fix copying byte arrays from storage to storage.
|
2020-12-10 21:47:37 +01:00 |
|
Leonardo Alt
|
64f81fe82b
|
Fix SMT tests
|
2020-12-10 18:54:52 +01:00 |
|
chriseth
|
ef3bcbda97
|
Merge pull request #9549 from ethereum/yul-reserved
[BREAKING] Disallow using reserved identifiers in Yul
|
2020-12-10 18:49:44 +01:00 |
|
Alex Beregszaszi
|
7cd05bf603
|
Introduce block.chainid
|
2020-12-10 17:07:54 +00:00 |
|
Alex Beregszaszi
|
c032ad3379
|
Update tests
|
2020-12-10 17:18:15 +01:00 |
|
chriseth
|
d0551b67d7
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-10 17:07:56 +01:00 |
|
chriseth
|
e15136c210
|
Merge pull request #10558 from ethereum/magictype-tests
Adds more tests for state access (block/tx/msg)
|
2020-12-10 14:05:37 +01:00 |
|
chriseth
|
4861c9b8d1
|
Merge pull request #10554 from ethereum/emptyBytesPushSol2Yul
[Sol->Yul] Implementing empty byte array push.
|
2020-12-10 12:19:07 +01:00 |
|
chriseth
|
482bda6887
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-10 12:15:52 +01:00 |
|
Mathias Baumann
|
37cc795034
|
Fix segfault for empty @return tags in modifiers
|
2020-12-10 11:54:40 +01:00 |
|
Alex Beregszaszi
|
f9d6abf69b
|
Add more tests for state access (block, msg, tx, etc.)
Move some of them out of SolidityEndToEndTests. Additionally this ensures the deterministic values of the testing infrastructure.
|
2020-12-09 20:46:01 +00:00 |
|
Leonardo Alt
|
3c142e0e94
|
Move CHC counterexamples to primary location
|
2020-12-09 19:55:18 +01:00 |
|