Martin Blicha
|
87ef0e16f5
|
[SMTChecker] Fix virtual modifier called statically
|
2020-12-21 13:52:28 +01:00 |
|
Djordje Mijovic
|
9b8634f2a7
|
[Sol->Yul] Skipping mapping types when deleting structs and arrays.
|
2020-12-21 13:19:25 +01:00 |
|
Bhargava Shastry
|
beed9de7d5
|
Merge pull request #10668 from ethereum/fuzzer-always-add-smt-pragma
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
|
2020-12-21 12:38:44 +01:00 |
|
Bhargava Shastry
|
a6a2b58e57
|
ossfuzz: Add option to force SMT pragma and set it in solc fuzzers
Co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-21 11:55:58 +01:00 |
|
chriseth
|
43baceb1ed
|
Test for recursion with modifiers.
|
2020-12-21 11:39:59 +01:00 |
|
Leonardo
|
158154bac3
|
Merge pull request #10345 from ethereum/ir-runtime
Output runtime object in IR
|
2020-12-18 17:19:40 +01:00 |
|
Alex Beregszaszi
|
7e20a095a8
|
Merge pull request #10652 from ethereum/smt_constants_inplce
[SMTChecker] Replace constants by their value in-place
|
2020-12-18 14:22:32 +00:00 |
|
chriseth
|
c4ade1753e
|
Merge pull request #10445 from ethereum/modifiers
[Sol->Yul] Implement function modifiers.
|
2020-12-18 14:29:00 +01:00 |
|
Leonardo Alt
|
034d1ab90f
|
[SMTChecker] Replace constants by their value in-place
|
2020-12-18 14:22:28 +01:00 |
|
Alex Beregszaszi
|
b14a6a10cc
|
Report meaningful error if parsing a version pragma failed
|
2020-12-18 11:50:37 +00:00 |
|
Martin Blicha
|
7078e8f8f8
|
[SMTChecker] Fix analysis of overriding modifiers
|
2020-12-17 17:05:54 +01:00 |
|
chriseth
|
1fa371d426
|
Tests
|
2020-12-17 17:00:51 +01:00 |
|
chriseth
|
35908c602b
|
Modifiers for constructors.
|
2020-12-17 17:00:51 +01:00 |
|
chriseth
|
ccaa81fbe7
|
Implement function modifiers.
|
2020-12-17 17:00:51 +01:00 |
|
Leonardo Alt
|
50be39fc21
|
Add and update tests
|
2020-12-17 14:42:49 +01:00 |
|
Alex Beregszaszi
|
953d18c6cb
|
Output runtime object in IR
|
2020-12-16 19:23:10 +00:00 |
|
Leonardo Alt
|
f5c96ea6da
|
Fix constant evaluation build
|
2020-12-16 17:59:00 +01:00 |
|
chriseth
|
3a23df6717
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-12-16 16:56:45 +01:00 |
|
chriseth
|
7338295fee
|
Merge pull request #10623 from ethereum/smt_const_expr
[SMTChecker] Apply const eval to arithmetic binary expressions
|
2020-12-16 15:39:16 +01:00 |
|
Kamil Śliwak
|
34e21c929a
|
Fix a test for unicode direction override failing because of Windows line endings
|
2020-12-16 15:24:41 +01:00 |
|
Leonardo Alt
|
80e85b772b
|
[SMTChecker] Apply const eval to arithmetic binary expressions
|
2020-12-16 14:58:00 +01:00 |
|
chriseth
|
8f833f4e8f
|
Merge pull request #10618 from ethereum/develop
Merge develop into breaking.
|
2020-12-16 12:34:41 +01:00 |
|
chriseth
|
5c40fb060c
|
Report illegal tokens in the Yul parser.
|
2020-12-16 12:20:07 +01:00 |
|
Leonardo Alt
|
59428b8f76
|
Fix SMTChecker tests on breaking
|
2020-12-15 19:49:57 +01:00 |
|
Christian Parpart
|
381c63ec99
|
Scanner: Generate error on inbalanced RLO/LRO/PDF override markers.
|
2020-12-15 18:40:51 +01:00 |
|
chriseth
|
6c7e6a3c9f
|
Merge pull request #10615 from ethereum/develop
Merge develop into breaking.
|
2020-12-15 18:34:01 +01:00 |
|
chriseth
|
53368eff9b
|
Merge pull request #10604 from ethereum/strict-address-payable
[BREAKING] Strict address payable
|
2020-12-15 18:25:31 +01:00 |
|
Bhargava Shastry
|
b45a5d7605
|
Asmanalysis: Add test case that demonstrates bug
|
2020-12-15 17:57:19 +01:00 |
|
Bhargava Shastry
|
9b38176c77
|
AsmAnalysis: Fix out of bounds read due to incorrect bounds checking on literal arguments
|
2020-12-15 15:38:59 +01:00 |
|
chriseth
|
3c270ca7f7
|
Merge pull request #10608 from ethereum/develop
Merge develop into breaking.
|
2020-12-15 15:24:53 +01:00 |
|
hrkrshnn
|
fdaede9b3e
|
Tests after disallowing some explicit payable conversions
|
2020-12-15 15:01:40 +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 |
|
Bhargava Shastry
|
e0e30fc600
|
Merge pull request #10592 from ethereum/abiv2-isabelle-test-values-fix-bugs
Abiv2 isabelle fuzzing
|
2020-12-15 14:29:20 +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 |
|
Bhargava Shastry
|
b273e52628
|
Abiv2 fuzzer: Enable differential fuzzing and remove support for string coding
co-authored-by: Leonardo <leo@ethereum.org>
|
2020-12-15 11:13:10 +01:00 |
|
Bhargava Shastry
|
39f1893956
|
Fix integer overflow due to large unsigned cpp_int
|
2020-12-15 11:12:51 +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 |
|
Kamil Śliwak
|
ac12274acd
|
cmdlineTests.sh: Fix the script failing to detect that --ast option does not exist
|
2020-12-12 06:30:57 +01:00 |
|
Kamil Śliwak
|
1f2ffa99c2
|
cmdlineTests.sh: Fix test_solc_assembly_output including garbage in the tested output
|
2020-12-12 06:30:57 +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 |
|
Leonardo
|
adead3072d
|
Merge pull request #10570 from ethereum/abiv2-isabelle-test-values-fix-bugs
Ensure empty arrays are not visited and fix formatting issues
|
2020-12-11 17:38:15 +01:00 |
|
Harikrishnan Mulackal
|
2139f93410
|
Merge pull request #10556 from ethereum/external-test-readme
README describing the workflow around external tests and their repositories
|
2020-12-11 17:37:38 +01:00 |
|
Alex Beregszaszi
|
4a7f2ddc6d
|
Properly print sources in ASTJSONTest
|
2020-12-11 15:28:54 +00:00 |
|
Alex Beregszaszi
|
ccd1f283aa
|
Merge pull request #9360 from ethereum/rich-function-type
Improve error message when assigning builtin functions
|
2020-12-11 15:25:59 +00:00 |
|
Alex Beregszaszi
|
98d8174d31
|
Simplify Compiler/CompilerContext by removing extra layers of indirection
|
2020-12-11 14:43:51 +00:00 |
|
Alex Beregszaszi
|
b40b82535c
|
Add comprehensive tests for FixedHash
Also explicitly disallow FixedHash<0>, given most functions were not working with it, and it is not very useful.
|
2020-12-11 12:20:37 +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 |
|
Bhargava Shastry
|
9bd4a1095e
|
Ensure empty arrays are not visited and fix formatting issues
|
2020-12-10 22:43:45 +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 |
|
Kamil Śliwak
|
747e1709ff
|
fixup! README describing the workflow around external tests and their repositories
|
2020-12-10 19:53:49 +01:00 |
|
Kamil Śliwak
|
12418c533b
|
fixup! README describing the workflow around external tests and their repositories
|
2020-12-10 19:53:49 +01:00 |
|
Kamil Śliwak
|
14ea1bc145
|
README describing the workflow around external tests and their repositories
|
2020-12-10 19:53:49 +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 |
|
chriseth
|
f7a7e2928b
|
New test.
|
2020-12-10 18:35:13 +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 |
|
Bhargava Shastry
|
dc1c0e9d4e
|
Abiv2 fuzzer: Retrieve values to be encoded from the fuzzer
|
2020-12-10 16:33:14 +01:00 |
|
Bhargava Shastry
|
fe79a27a0a
|
Merge pull request #10561 from ethereum/abiv2-isabelle-values
Abiv2 fuzzer: Make integer value generation consistent with range for…
|
2020-12-10 14:15:07 +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 |
|
Bhargava Shastry
|
3c8caabf2e
|
Remove unused code
|
2020-12-10 12:56:04 +01:00 |
|
Bhargava Shastry
|
693548b787
|
Abiv2 fuzzer: Make integer value generation consistent with range for that integer type
|
2020-12-10 12:34:14 +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 |
|
Leonardo
|
7e930f7bb3
|
Merge pull request #10543 from ethereum/abiv2-isabelle-encode-test
Isabelle abiv2 fuzzer: Add type string
|
2020-12-09 23:33:41 +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
|
9e07981920
|
Merge pull request #10477 from ethereum/smt_isoltest_cex
[SMTChecker] Move CHC counterexamples to primary location
|
2020-12-09 20:37:24 +01:00 |
|
Leonardo Alt
|
3c142e0e94
|
Move CHC counterexamples to primary location
|
2020-12-09 19:55:18 +01:00 |
|