Djordje Mijovic
|
b74c08143f
|
Deleting yul unimplemented test.
|
2020-12-30 17:19:04 +01:00 |
|
Djordje Mijovic
|
ddb05769a5
|
[Sol->Yul] Implementing type name.
|
2020-12-30 17:19:03 +01:00 |
|
Leonardo Alt
|
78d55e6b4a
|
[SMTChecker] Support check/unchecked
|
2020-12-30 12:14:30 +01:00 |
|
Martin Blicha
|
be0a0f4d90
|
[SMTChecker] Added constraints for block properties
|
2020-12-29 22:17:44 +01:00 |
|
Leonardo Alt
|
9482e7de23
|
[SMTChecker] Fix calls to virtual/overriden functions
|
2020-12-29 11:25:20 +01:00 |
|
Martin Blicha
|
41d31fe4d4
|
updates to the tests
|
2020-12-28 20:05:52 +01:00 |
|
Martin Blicha
|
77dff222e9
|
disabling some tests because of nondeterminism in Spacer
|
2020-12-28 16:24:44 +01:00 |
|
Martin Blicha
|
745466b71f
|
updates to the tests
|
2020-12-28 14:32:53 +01:00 |
|
Djordje Mijovic
|
c41f996c7b
|
Adding more tests for array copying.
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
|
2020-12-28 13:16:24 +01:00 |
|
chriseth
|
2ab83217e3
|
Use wrapping arithmetic for exp in unchecked blocks.
|
2020-12-22 16:49:55 +01:00 |
|
chriseth
|
e299d8ba64
|
Merge pull request #10677 from ethereum/dirtyMemoryBytesSol2Yul
[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics
|
2020-12-22 16:22:38 +01:00 |
|
chriseth
|
04d83af1d2
|
Merge pull request #10492 from ethereum/arrayClearingDiffBaseSol2Yul
[Sol->Yul] Fixing array clearing when copying from storage to storage.
|
2020-12-22 15:15:03 +01:00 |
|
chriseth
|
d46da8e53c
|
Optimize iszero(sub(x, y)) to eq(x, y).
|
2020-12-22 15:11:48 +01:00 |
|
Djordje Mijovic
|
a204596c3e
|
[Sol->Yul] Disable old codegen test viaYul and create new one that fits IR semantics.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-12-22 15:11:07 +01:00 |
|
Martin Blicha
|
d90b9da4f0
|
[SMTChecker] Refactoring
|
2020-12-22 13:10:48 +01:00 |
|
chriseth
|
b965446182
|
Catch panic.
|
2020-12-22 11:08:44 +01:00 |
|
Đorđe Mijović
|
b78443ac75
|
Merge pull request #10577 from ethereum/deleteMappingSol2Yul
[Sol->Yul] Skipping mapping types when deleting structs and arrays.
|
2020-12-21 20:08:51 +01:00 |
|
Leonardo
|
a48106ca1f
|
Merge pull request #10670 from blishko/smt-virtual-modifiers-fix
[SMTChecker] Fix virtual modifier called statically
|
2020-12-21 18:05:02 +01:00 |
|
Djordje Mijovic
|
adb9d0c41a
|
[Sol->Yul] Fixing array clearing when copying from storage to storage.
|
2020-12-21 17:33:06 +01:00 |
|
Djordje Mijovic
|
8b6397e8fb
|
Adding more syntax and semantic tests.
|
2020-12-21 15:30:49 +01:00 |
|
Đorđe Mijović
|
21dc6c8356
|
Merge pull request #10552 from ethereum/gettersSol2Yul
[Sol->Yul] Implementing getter for struct with bytes member
|
2020-12-21 15:29:29 +01:00 |
|
Djordje Mijovic
|
7b2614576f
|
Activating some tests viaYul after implementing getters for bytes.
|
2020-12-21 14:46:13 +01:00 |
|
Djordje Mijovic
|
2d5a2c65a8
|
[Sol->Yul] Implementing getters for bytes and structs containing bytes member.
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-12-21 14:46:06 +01:00 |
|
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 |
|