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 |
|
Leonardo Alt
|
5917fd82b3
|
[SMTChecker] Do not throw when counterexample is not available (older z3 versions)
|
2020-09-23 19:17:38 +02:00 |
|
Alex Beregszaszi
|
e54110ff17
|
Return UTF-8 error in BoolResult and remove it from string type
|
2020-09-23 17:35:05 +01:00 |
|
Alex Beregszaszi
|
a154594de6
|
Display string literal as hex in error messages if it is not printable ASCII
|
2020-09-23 17:33:39 +01:00 |
|
chriseth
|
031840697c
|
Merge pull request #9870 from ethereum/bytes-literal
Report why assigning oversized hex strings to bytes fail
|
2020-09-23 18:06:26 +02:00 |
|
Alex Beregszaszi
|
0e5abbd4a9
|
Display location of invalid UTF-8 sequence in unicode literals in SyntaxChecker
|
2020-09-23 17:01:02 +01:00 |
|
Leonardo Alt
|
8eba66daf9
|
Extract boost smt and remove unused tests
|
2020-09-23 17:55:55 +02:00 |
|
Alex Beregszaszi
|
ca743191b7
|
Report why assigning oversized hex strings to bytes fail
|
2020-09-23 16:46:47 +01:00 |
|
chriseth
|
27f768f4d6
|
Merge pull request #9868 from ethereum/conversion-result-msg
Display BoolResult from implicit/explicit conversions for more clarity
|
2020-09-23 17:19:41 +02:00 |
|
Alex Beregszaszi
|
af8d78010e
|
Display BoolResult from implicit/explicit conversions for more clarity in error messages
|
2020-09-23 16:04:07 +01:00 |
|
chriseth
|
4fc770578d
|
Merge pull request #9635 from ethereum/expConstants
[Sol->Yul] Improved implementation of checked exp involving constants.
|
2020-09-23 17:01:23 +02:00 |
|
Harikrishnan Mulackal
|
c314ca3cf2
|
Tests for signed exponentiation
|
2020-09-23 16:27:33 +02:00 |
|
chriseth
|
e696c4eafd
|
Extract common loop.
|
2020-09-23 16:14:24 +02:00 |
|
chriseth
|
55e6a92692
|
Add specialization for small numbers.
|
2020-09-23 16:14:24 +02:00 |
|
Đorđe Mijović
|
858b4507e2
|
Merge pull request #9854 from ethereum/bitwiseSmt
[SMTChecker] Support compound shifts and bitwise and, or, and xor
|
2020-09-23 12:35:48 +02:00 |
|
chriseth
|
c1bb1eb070
|
Merge pull request #9864 from ethereum/makeIsoltestWorkWithOtherErrors
Only expect more failure data params if they are there.
|
2020-09-23 12:35:29 +02:00 |
|