Leonardo
|
25b2a38d8b
|
Merge pull request #10202 from ethereum/smt_fix_modifiers_branches
[SMTChecker] Fix CHC false positives when using branches inside modifiers
|
2020-11-09 16:42:30 +00:00 |
|
Kamil Śliwak
|
c970fb46ce
|
YulUtilFunctions::conversionFunction: Add more info to the assertion that fails on invalid conversion
|
2020-11-09 13:41:03 +01:00 |
|
Leonardo Alt
|
00858c0ccf
|
Isoltets SMTChecker option and BMC specific tests
|
2020-11-06 15:03:38 +00:00 |
|
Leonardo Alt
|
89dce24f24
|
Force SMT variable creation order
|
2020-11-06 11:51:01 +00:00 |
|
Leonardo Alt
|
646be53f2f
|
Sort variables and expressions by AST id
|
2020-11-06 11:50:43 +00:00 |
|
chriseth
|
b40fb527de
|
Remove access to functions from inline assembly (unused code).
|
2020-11-05 14:43:29 +01:00 |
|
Leonardo Alt
|
1dbd8f8d67
|
Fix CHC false positives when using branches inside modifiers
|
2020-11-04 21:47:07 +00:00 |
|
Leonardo
|
62535c2fd4
|
Merge pull request #10181 from ethereum/smt_user_timeout
[SMTChecker] User timeout option
|
2020-11-04 10:55:28 +00:00 |
|
Leonardo Alt
|
daf859c15b
|
[SMTChecker] report SMTEncoder warnings also via CHC
|
2020-11-03 16:06:17 +00:00 |
|
chriseth
|
001eac546e
|
Merge pull request #10161 from ethereum/VirtualLookup-static
Fix incorrectly set annotation.requiredLookup
|
2020-11-03 17:03:17 +01:00 |
|
chriseth
|
1f3239d097
|
Simplify split parameter.
|
2020-11-03 14:34:18 +01:00 |
|
chriseth
|
fea3f848f9
|
Prepare store for external function types.
|
2020-11-03 14:34:18 +01:00 |
|
chriseth
|
06d0459a72
|
Merge pull request #10187 from ethereum/validateExternal
[SolYul] Properly validate external functions from calldata.
|
2020-11-03 14:29:28 +01:00 |
|
chriseth
|
e27a1b786b
|
Wording in error messages.
|
2020-11-03 13:31:51 +01:00 |
|
chriseth
|
834da7be90
|
Introduce abicoder pragma.
|
2020-11-03 13:31:50 +01:00 |
|
chriseth
|
c16b535804
|
Validate external functions from calldata.
|
2020-11-03 13:28:08 +01:00 |
|
Leonardo Alt
|
d03ddeb0fa
|
[SMTChecker] User timeout option
|
2020-11-03 10:46:11 +00:00 |
|
chriseth
|
22b31054b6
|
Merge pull request #10174 from ethereum/storeInternalFunctions
Implement internal functions in storage.
|
2020-11-03 09:56:12 +01:00 |
|
Đorđe Mijović
|
e0529989da
|
Merge pull request #10180 from ethereum/convertDuringStoring
[SolYul] Convert properly during storing.
|
2020-11-03 08:42:14 +01:00 |
|
chriseth
|
129b095b09
|
Implement internal functions in storage.
|
2020-11-02 23:10:03 +01:00 |
|
chriseth
|
49bd3f2af4
|
Convert properly during storing.
|
2020-11-02 21:15:34 +01:00 |
|
Leonardo Alt
|
e38d0db683
|
[SMTChecker] Fix internal error when array.push() is used as LHS of assignment
|
2020-11-02 13:32:53 +00:00 |
|
Leonardo Alt
|
94e2506132
|
Fix inherited state vars for BMC
|
2020-11-02 11:42:39 +00:00 |
|
Martin Blicha
|
c1a57ffbfe
|
[SMTChecker] More precise creation of verification targets.
|
2020-10-30 19:11:28 +01:00 |
|
hrkrshnn
|
adcf9eba8d
|
Fix incorrectly set annotation.requiredLookup
|
2020-10-30 15:40:06 +01:00 |
|
chriseth
|
1066af3b98
|
Copy byte array to storage.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
14d7ca49c0
|
Rename function.
|
2020-10-29 18:53:15 +01:00 |
|
chriseth
|
ace810b078
|
Merge pull request #10137 from ethereum/fixedBytesOps
[Sol->Yul] Bit operations for fixed bytes types.
|
2020-10-29 18:04:07 +01:00 |
|
chriseth
|
f215042cf6
|
Fix style.
|
2020-10-29 17:35:55 +01:00 |
|
Alex Beregszaszi
|
1ab6340828
|
Move AsmJsonImporter from libsolidity to libyul
It is next to AsmJsonConverter now and interdependencies are shrunk.
|
2020-10-29 14:06:34 +00:00 |
|
chriseth
|
0c12b2e53a
|
Bit operations for fixed bytes types.
|
2020-10-28 18:04:54 +01:00 |
|
Đorđe Mijović
|
1f50b86aad
|
Merge pull request #10073 from ethereum/smt_format_array_cex
Format array cex
|
2020-10-28 12:39:19 +01:00 |
|
Leonardo Alt
|
25f75ce547
|
Remove nondet tests
|
2020-10-28 11:03:42 +00:00 |
|
chriseth
|
cc4b44058d
|
Merge pull request #10126 from ethereum/fixIceStructCalldataToStorageSol2Yul
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
|
2020-10-28 11:46:22 +01:00 |
|
Leonardo
|
07c454949f
|
Merge pull request #10127 from ethereum/fixIceSmtBitwise
[SMTChecker] Fix ICE when using >>>
|
2020-10-28 09:28:18 +00:00 |
|
Djordje Mijovic
|
28f92064b9
|
[Sol->Yul] Fixing ice when copying struct that contains nested array to storage
|
2020-10-28 09:28:40 +01:00 |
|
Djordje Mijovic
|
9cc37c3fa4
|
[SMTChecker] Fix ICE when using >>>
|
2020-10-28 09:25:14 +01:00 |
|
Leonardo Alt
|
f2f84a7f97
|
Format array cex
|
2020-10-27 16:32:43 +00:00 |
|
Leonardo Alt
|
446e46fe06
|
Use Expression instead of plain strings for counterexamples
|
2020-10-27 12:04:51 +00:00 |
|
Leonardo Alt
|
4755cfe157
|
Fix assignment to contract member access
|
2020-10-26 14:39:02 +00:00 |
|
Leonardo Alt
|
d3d77e482c
|
Fix ICE on conditions with tuples of rationals
|
2020-10-23 14:47:53 +01:00 |
|
Martin Blicha
|
ade3b9951c
|
[SMTChecker] Added support for selector when expression's value is known at compile time
|
2020-10-22 14:18:52 +02:00 |
|
Leonardo Alt
|
b087fa9750
|
[SMTChecker] Fix ICE implicit conversion string literal -> byte
|
2020-10-21 22:03:01 +01:00 |
|
Martin Blicha
|
f0d81601db
|
[SMTChecker] Adding division by zero checks in the CHC engine
|
2020-10-21 14:48:33 +02:00 |
|
chriseth
|
a83ad58109
|
Merge pull request #10081 from ethereum/maskBytes
Extract mask bytes function.
|
2020-10-21 10:09:40 +02:00 |
|
chriseth
|
3920f398aa
|
Update libsolidity/codegen/YulUtilFunctions.h
Co-authored-by: Harikrishnan Mulackal <webmail.hari@gmail.com>
|
2020-10-21 09:48:22 +02:00 |
|
chriseth
|
53d6721e47
|
Extract mask bytes function.
|
2020-10-20 17:36:46 +02:00 |
|
Mathias Baumann
|
a4dc110b38
|
Fix dependency tracking for abstract contracts for Yul codegen
|
2020-10-20 16:58:24 +02:00 |
|
Mathias Baumann
|
e991465336
|
Fix dependency tracking for abstract contracts
|
2020-10-20 16:58:24 +02:00 |
|
Leonardo Alt
|
cf35785328
|
Add unknown message to all verification targets
|
2020-10-19 20:54:13 +01:00 |
|