Harikrishnan Mulackal
|
a309669f75
|
Disallow explicit conversions from negative literals to `address`
|
2020-10-07 16:06:02 +02:00 |
|
chriseth
|
b401093679
|
Merge pull request #9967 from ethereum/develop
Merge develop into breaking.
|
2020-10-06 17:45:53 +02:00 |
|
chriseth
|
25d408058b
|
Merge pull request #9954 from ethereum/issue-9948
Remove unneeded assert
|
2020-10-06 16:50:14 +02:00 |
|
chriseth
|
046cc42121
|
Merge pull request #9965 from ethereum/var_is_reserved
Var is reserved keyword.
|
2020-10-06 15:49:53 +02:00 |
|
chriseth
|
3102b98e82
|
Var is reserved keyword.
|
2020-10-06 15:08:57 +02:00 |
|
Djordje Mijovic
|
818afcbec2
|
[Sol->Yul] Implementing push for nested storage arrays and storage arrays of structs.
|
2020-10-06 13:06:40 +02:00 |
|
Mathias Baumann
|
6af16469e7
|
Remove unneeded assert
An error will trigger later in the name resolve phase
|
2020-10-05 13:01:11 +02:00 |
|
Harikrishnan Mulackal
|
756e21a888
|
Merge pull request #9946 from ethereum/viewpure-tests
Add more tests to ViewPureChecker
|
2020-10-02 14:36:28 +02:00 |
|
Alex Beregszaszi
|
32cb5207b3
|
Add more tests to ViewPureChecker
|
2020-10-02 11:57:35 +01:00 |
|
Alex Beregszaszi
|
fedbea46cd
|
[SMTChecker] Support type conversions
|
2020-10-02 10:26:02 +02:00 |
|
Leonardo
|
87e1934bee
|
Merge pull request #9885 from ethereum/smt_array_slices
[SMTChecker] Support array slices
|
2020-10-01 18:12:57 +02:00 |
|
chriseth
|
e5771efdf8
|
Merge pull request #9905 from ethereum/deleteArrayPackedSol2Yul
[Sol->Yul] Implementing deleting of storage array of types that are packed in storage
|
2020-10-01 16:50:57 +02:00 |
|
Leonardo Alt
|
c8cc73c80c
|
Support array slices
|
2020-10-01 11:52:02 +02:00 |
|
Djordje Mijovic
|
03eeb49a66
|
Adding test for deleting packed storage array.
|
2020-10-01 10:25:04 +02:00 |
|
chriseth
|
3af21c92d2
|
Merge pull request #9702 from a3d4/fix-7410-arrays-of-mappings
Fix ICE caused by an array of mappings
|
2020-09-30 20:24:09 +02:00 |
|
chriseth
|
fda8bde2d7
|
Stop after parsing.
|
2020-09-30 16:57:49 +02:00 |
|
Mathias Baumann
|
4c02cd2310
|
Add name for split-test to prevent failure in other places
|
2020-09-30 16:56:53 +02:00 |
|
Harikrishnan Mulackal
|
fd02ccc68c
|
Implemented events with indexed function as parameter in Yul
|
2020-09-30 12:11:39 +02:00 |
|
Harikrishnan Mulackal
|
3970412422
|
Implemented events with function type as one of its indexed parameters
|
2020-09-30 12:11:38 +02:00 |
|
chriseth
|
7a86a61b08
|
Merge pull request #9895 from ethereum/exp-negative-one
Optimize exp when base is -1
|
2020-09-30 11:54:22 +02:00 |
|
a3d4
|
a244daaacb
|
Exclude tests with overly deep nesting from antlr grammar checks
|
2020-09-29 20:20:20 +02:00 |
|
a3d4
|
3c876fcb60
|
Fix ICE caused by an array of mappings
|
2020-09-29 18:17:46 +02:00 |
|
Harikrishnan Mulackal
|
2b9f040c48
|
Optimize exp when base is -1
|
2020-09-29 17:44:09 +02:00 |
|
chriseth
|
9a28dbfebd
|
Merge pull request #9925 from ethereum/develop
Merge develop into breaking.
|
2020-09-29 16:42:56 +02:00 |
|
a3d4
|
3698cd54a5
|
Complete error coverage of Parser and SyntaxChecker
|
2020-09-29 16:07:02 +02:00 |
|
Leonardo Alt
|
352cce5fc8
|
[SMTChecker] Support addmod and mulmod.
|
2020-09-29 12:45:19 +02:00 |
|
chriseth
|
4bdec8107c
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-09-29 09:53:50 +02:00 |
|
Leonardo Alt
|
fa7c9a0dc6
|
Simplify internal function calls
|
2020-09-28 15:31:15 +02:00 |
|
chriseth
|
9115100f2a
|
Merge pull request #9909 from ethereum/fix-9890
Fix missing annotation settings because of early return
|
2020-09-28 12:27:43 +02:00 |
|
Mathias Baumann
|
76bb2cafe9
|
Fix missing annotation settings because of early return
|
2020-09-28 12:12:44 +02:00 |
|
chriseth
|
bab2d6d644
|
Merge pull request #9852 from ethereum/fix-9851
Typechecker: Disallow free function redefinition
|
2020-09-28 11:15:47 +02:00 |
|
a3d4
|
9721bda36e
|
Complete error coverage of ParserBase
|
2020-09-28 01:56:25 +02:00 |
|
Leonardo Alt
|
e6bd18525b
|
[SMTChecker] Add engine prefix to verification target error messages
|
2020-09-25 19:09:06 +02:00 |
|
Leonardo Alt
|
0223571987
|
[SMTChecker] Do not report error when rlimit
|
2020-09-25 18:43:10 +02:00 |
|
Bhargava Shastry
|
e2a2276272
|
Contract level checker: Disallow free function redefinition and alias
shadowing another free function
Co-authored-by: chriseth <chris@ethereum.org>
|
2020-09-25 17:09:58 +02:00 |
|
Alex Beregszaszi
|
9f3d5d3e2f
|
[SMTChecker] Implement support for memory allocation
|
2020-09-25 15:56:24 +01:00 |
|
Alex Beregszaszi
|
9c1b041dcb
|
[SMTChecker] Keep constraints of string literals after assignment
|
2020-09-25 11:32:48 +01:00 |
|
Alex Beregszaszi
|
5090353a1a
|
[SMTChecker] Keep knowledge about string literals
|
2020-09-25 11:32:23 +01:00 |
|
Leonardo
|
57e1b2cb92
|
Merge pull request #9881 from ethereum/smt_fixed_bytes_index_access
[SMTChecker] Support fixed bytes index access
|
2020-09-25 11:32:56 +02:00 |
|
Leonardo Alt
|
df8c6d94e3
|
[SMTChecker] Support fixed bytes index access
|
2020-09-25 09:59:38 +02:00 |
|
chriseth
|
5711d664aa
|
Merge pull request #9887 from ethereum/evmhost
EVMHost: keep precompile balance/settings across resets
|
2020-09-24 21:15:06 +02:00 |
|
Alex Beregszaszi
|
e93992257e
|
Add more semantic tests for balance/extcodehash
|
2020-09-24 19:04:27 +01:00 |
|
chriseth
|
c0954be254
|
Merge pull request #9886 from ethereum/develop
Merge develop into breaking.
|
2020-09-24 19:49:20 +02:00 |
|
chriseth
|
d52b3839e2
|
Merge pull request #9882 from ethereum/invalidOnErrorYul
[SolYul] Use invalid opcode for internal errors
|
2020-09-24 19:37:44 +02:00 |
|
chriseth
|
b5c340cd66
|
Update tests
|
2020-09-24 17:07:43 +02:00 |
|
Leonardo
|
d180d6cdaf
|
Merge pull request #9880 from ethereum/smt-abi-type
[SMTChecker] Do not warn on "abi" as an identifer
|
2020-09-24 17:02:17 +02:00 |
|
chriseth
|
763282343f
|
Merge pull request #9883 from ethereum/develop
Merge develop into breaking.
|
2020-09-24 16:05:51 +02:00 |
|
Harikrishnan Mulackal
|
ec25e960f9
|
Merge pull request #9863 from ethereum/signed-exp-tests
Signed exp tests
|
2020-09-24 15:59:01 +02:00 |
|
Alex Beregszaszi
|
6edfdff187
|
[SMTChecker] Do not warn on "abi" as an identifer
There is an approprate warning for the function call.
|
2020-09-24 13:57:42 +01:00 |
|
chriseth
|
a9f9b4db27
|
Merge pull request #9872 from ethereum/smt_remove_tests
Extract boost smt and remove unused tests
|
2020-09-24 13:20:19 +02:00 |
|