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 |
|
chriseth
|
0c6dc1dce4
|
Merge pull request #9862 from ethereum/develop
Merge develop into breaking
|
2020-09-23 12:22:32 +02:00 |
|
chriseth
|
91f7c6644f
|
Only expect more failure data params if they are there.
|
2020-09-23 12:22:11 +02:00 |
|
chriseth
|
9c5e14e309
|
Merge pull request #9839 from ethereum/annotations-optional
Make annotations ``SetOnce`` or ``optional`` where feasible
|
2020-09-23 11:44:21 +02:00 |
|
Djordje Mijovic
|
96bafb9ba3
|
[SMTChecker] Updating old and adding new tests for compound shift operators.
|
2020-09-23 11:31:37 +02:00 |
|
Djordje Mijovic
|
79f550dba9
|
[SMTChecker] Supporting compound shift operators.
|
2020-09-23 11:31:37 +02:00 |
|
Djordje Mijovic
|
0193952106
|
[SMTChecker] Updating old and adding new tests for compound bitwise xor operator.
|
2020-09-23 11:31:37 +02:00 |
|
Djordje Mijovic
|
e2e0b33ee7
|
[SMTChecker] Updating old and adding new tests for compound bitwise or operator.
|
2020-09-23 11:31:41 +02:00 |
|
Djordje Mijovic
|
69df163dcb
|
[SMTChecker] Updating old and adding new tests for compound bitwise and operator.
|
2020-09-23 11:31:37 +02:00 |
|
Djordje Mijovic
|
773e000227
|
[SMTChecker] Implementing compound bitwise And/Or/Xor operators
|
2020-09-23 11:31:37 +02:00 |
|
Leonardo
|
cfff24a2ae
|
Merge pull request #9858 from ethereum/smt-address
[SMTChecker] Support address type conversion with literals
|
2020-09-23 11:24:07 +02:00 |
|
Leonardo Alt
|
f4ee4cd479
|
Update tests
|
2020-09-22 20:51:28 +02:00 |
|
Alex Beregszaszi
|
709d25bd3d
|
[SMTChecker] Support address type conversion with literals
|
2020-09-22 18:49:11 +01:00 |
|
Mathias Baumann
|
dd81d05559
|
Make annotations `SetOnce or optional` where feasible
|
2020-09-22 17:38:21 +02:00 |
|
chriseth
|
700cc4c9d3
|
Merge pull request #9836 from ethereum/fix-missing-check-for-nested-dynamic-arrays-with-abi-encode-decode-v1
Add missing check for nested dynamic arrays in abi.encode()/decode() functions in ABIEncoderV1
|
2020-09-22 15:49:17 +02:00 |
|
chriseth
|
b732ecb98c
|
Merge pull request #9734 from ethereum/aarlt-patch-1
Update ReleaseChecklist.md: Add Homebrew formula bump description.
|
2020-09-22 12:56:06 +02:00 |
|
Alexander Arlt
|
b3953e39db
|
Update ReleaseChecklist.md: Add Homebrew formula bump description.
|
2020-09-21 20:25:26 -05:00 |
|
chriseth
|
d80a81b01b
|
Merge pull request #9848 from ethereum/readdrelease
Re-add the release script still used by appveyor.
|
2020-09-21 22:33:48 +02:00 |
|
chriseth
|
83aa8c1e23
|
Merge pull request #9818 from a3d4/introduce-compositetype
Introduce CompositeType
|
2020-09-21 22:33:04 +02:00 |
|
Daniel Kirchner
|
7fa9a9d312
|
Merge pull request #9162 from ethereum/memoryEscalator
Memory Escalator
|
2020-09-21 20:03:38 +02:00 |
|
chriseth
|
8e77bb5bfc
|
Merge pull request #9838 from ethereum/fix-wrong-name-reported-for-invalid-named-argument
Fix wrong name reported for invalid named argument
|
2020-09-21 17:17:14 +02:00 |
|
chriseth
|
5733927dde
|
Merge pull request #9847 from ethereum/extocdesizecheck
[DOC] Add note about extcodesize check.
|
2020-09-21 16:28:59 +02:00 |
|
a3d4
|
6b77a20134
|
Introduce CompositeType
|
2020-09-21 16:18:04 +02:00 |
|
chriseth
|
8979174f02
|
Re-add the release script still used by appveyor.
|
2020-09-21 12:23:41 +02:00 |
|
chriseth
|
306fef334b
|
Merge pull request #9546 from ethereum/expToShift
Optimization rule: Replace exp by shl.
|
2020-09-21 12:21:47 +02:00 |
|
chriseth
|
71af44b27b
|
Add note about extcodesize check.
|
2020-09-21 11:58:23 +02:00 |
|
Daniel Kirchner
|
f3c2d6cfdc
|
Move memory load and store functions to the dialect.
|
2020-09-17 22:13:27 +02:00 |
|
Daniel Kirchner
|
48f620fb50
|
Reverse the order of the memory offsets assigned to variables.
|
2020-09-17 22:13:27 +02:00 |
|
Daniel Kirchner
|
976abf4715
|
Easy review fixes.
|
2020-09-17 22:13:27 +02:00 |
|
Daniel Kirchner
|
0eb32b3f60
|
Rephrase documentation of memoryguard
|
2020-09-17 22:13:27 +02:00 |
|