Commit Graph

17969 Commits

Author SHA1 Message Date
Harikrishnan Mulackal
d23aff4cbb
Merge pull request #9918 from ethereum/isStateScopeCheck
Make isStateVariable regular scope check.
2020-09-29 09:33:03 +02:00
chriseth
dd5b0a715c
Merge pull request #9920 from ethereum/release
Merge release back into develop.
2020-09-28 22:30:13 +02:00
chriseth
3a7d88c3b7
Merge pull request #9919 from ethereum/version073
Set version to 0.7.3.
2020-09-28 22:30:02 +02:00
chriseth
46360ba79f Set version to 0.7.3. 2020-09-28 22:27:59 +02:00
chriseth
cb82d8239c Make isStateVariable regular scope check. 2020-09-28 19:31:54 +02:00
chriseth
8687b9a3dc
Merge pull request #9903 from a3d4/refactor-warnonshadow
Simplify DeclarationRegistrationHelper
2020-09-28 19:28:34 +02:00
chriseth
51b20bc087
Merge pull request #9915 from ethereum/develop
Merge develop into release for 0.7.2
2020-09-28 17:14:05 +02:00
chriseth
da785290ef
Merge pull request #9912 from ethereum/prepare072
Prepare release of 0.7.2.
2020-09-28 16:14:25 +02:00
chriseth
e18c445c20
Merge pull request #9913 from ethereum/documentGeneratedSources
Document generated sources.
2020-09-28 16:14:06 +02:00
chriseth
add9867440 Document generated sources. 2020-09-28 15:38:28 +02:00
chriseth
054fc34179 Sort changelog. 2020-09-28 15:15:15 +02:00
chriseth
26d07d1925 Prepare release of 0.7.2. 2020-09-28 14:45:39 +02:00
Harikrishnan Mulackal
f1deb41033
Merge pull request #9911 from ethereum/docs-change-pragma
[DOCS] Change >=0.7.0 to ^0.7.0
2020-09-28 13:50:46 +02:00
a3d4
9b740b03ff Simplify DeclarationRegistrationHelper 2020-09-28 13:21:57 +02:00
Harikrishnan Mulackal
8339765509 [DOCS] Change >=0.7.0 to ^0.7.0 2020-09-28 13:02:31 +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
4ddbd34424
Merge pull request #9906 from ethereum/update-docs-pragma
[DOCS] change >0.6.99 <0.8.0 to >=0.7.0
2020-09-28 11:40:08 +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
Harikrishnan Mulackal
710231e2b1 Docs: change >0.6.99 <0.8.0 to >=0.7.0 2020-09-28 11:14:45 +02:00
chriseth
f7233f15eb
Merge pull request #9904 from a3d4/improve-error-coverage-parserbase
Complete error coverage of ParserBase
2020-09-28 11:10:41 +02:00
a3d4
9721bda36e Complete error coverage of ParserBase 2020-09-28 01:56:25 +02:00
Alex Beregszaszi
b34465c5ef
Merge pull request #9900 from ethereum/smt_add_engine_prefix
[SMTChecker] Add engine prefix to verification target error messages
2020-09-25 19:23:24 +01:00
Alex Beregszaszi
a1fd7ddebc
Merge pull request #9897 from ethereum/smt_remove_error_msg
[SMTChecker] Do not report error when rlimit
2020-09-25 19:12:39 +01: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
Alex Beregszaszi
cb60c678ce
Merge pull request #9894 from ethereum/smt-new-operator
[SMTChecker] Implement support for memory allocation
2020-09-25 17:00:08 +01: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
Leonardo
1cc0d642e8
Merge pull request #9891 from ethereum/smt-string-literals
[SMTChecker] Keep knowledge about string literals
2020-09-25 13:43:50 +02: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
Alex Beregszaszi
6479138dd4 EVMHost: keep precompile balance/settings across resets
Also set proper codehash for precompiles.
2020-09-24 18:51:39 +01: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
1e3596ec71 Use invalid opcode on internal errors. 2020-09-24 16:02:35 +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
79ae043a53
Merge pull request #9871 from ethereum/ci_split_smt
Split SMTCheckerTests in CI
2020-09-24 14:13:07 +02:00
Leonardo Alt
11fc924d23 Split SMTCheckerTests in CI 2020-09-24 13:25:50 +02: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
chriseth
0a3b836f5a
Merge pull request #9867 from ethereum/string-literals
More clear error messages with converting (hex) string literals
2020-09-24 12:49:46 +02:00
Leonardo
35a7d5d3e4
Merge pull request #9873 from ethereum/smt_dec_rlimit
[SMTChecker] Decrease rlimit
2020-09-23 23:11:59 +02:00
Leonardo Alt
ebb6f61506 [SMTChecker] Decrease rlimit 2020-09-23 19:28:47 +02:00
Alex Beregszaszi
a23e865645
Merge pull request #9869 from ethereum/smt_fix_old_z3_cex
[SMTChecker] Do not throw when counterexample is not available
2020-09-23 18:22:13 +01:00