 Christian Parpart
|
cc230ddda3
|
InlineAssembly: Extracting tests for switch statement
|
2020-11-04 12:03:33 +01:00 |
|
|
Christian Parpart
|
6f872dbebf
|
InlineAssembly: Extracting tests for if statement
|
2020-11-04 12:03:33 +01:00 |
|
 Leonardo
|
a8045ba5eb
|
Merge pull request #10177 from ethereum/smt_chc_fix_warnings
[SMTChecker] Report SMTEncoder warnings also via CHC
|
2020-11-03 16:41:16 +00:00 |
|
 Harikrishnan Mulackal
|
24cce56215
|
Merge pull request #10189 from ethereum/underscore-tests
Add syntax and semantic tests for underscore
|
2020-11-03 17:06:31 +01:00 |
|
|
Leonardo Alt
|
daf859c15b
|
[SMTChecker] report SMTEncoder warnings also via CHC
|
2020-11-03 16:06:17 +00:00 |
|
 Alex Beregszaszi
|
b0864a4af9
|
Add syntax and semantic tests for underscore
|
2020-11-03 15:22:57 +00:00 |
|
 chriseth
|
26cf6f189d
|
Test with storage struct containing external function.
|
2020-11-03 14:34:18 +01:00 |
|
|
chriseth
|
1f3239d097
|
Simplify split parameter.
|
2020-11-03 14:34:18 +01:00 |
|
|
hrkrshnn
|
29e23efc93
|
Tests/Docs after "stricter explicit conversion from Literals to Integers"
|
2020-11-03 14:31:44 +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
|
5ffee049fa
|
Merge remote-tracking branch 'origin/develop' into breaking
|
2020-11-03 14:05:14 +01:00 |
|
|
chriseth
|
4e6ae00f89
|
Merge pull request #10096 from ethereum/pragmaabicoder
Introduce abicoder pragma.
|
2020-11-03 13:53:59 +01:00 |
|
|
chriseth
|
9305ab987e
|
Merge pull request #10185 from ethereum/refatorMoveTests
Move some tests to semanticTests
|
2020-11-03 13:50:30 +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 |
|
 Djordje Mijovic
|
3f60223c41
|
Moving enum test to semanticTests
|
2020-11-03 13:13:21 +01:00 |
|
|
Djordje Mijovic
|
73fcd9b5f0
|
Moving some array tests to semanticTests
|
2020-11-03 11:34:22 +01:00 |
|
|
Djordje Mijovic
|
18a464f4f4
|
Moving some tests to semantic tests.
|
2020-11-03 11:00:52 +01: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 |
|
|
chriseth
|
b287a6e995
|
Disallow specifying call options multiple times.
|
2020-11-02 20:07:23 +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 |
|
|
chriseth
|
ef503f180c
|
New test.
|
2020-10-29 18:53:15 +01:00 |
|
|
chriseth
|
6ec5612f35
|
Enable more tests.
|
2020-10-29 18:53:15 +01:00 |
|
|
chriseth
|
1066af3b98
|
Copy byte array to storage.
|
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
|
ce50f05fc1
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-10-29 16:44:47 +01:00 |
|
|
chriseth
|
3b8c038647
|
Empty storage option for isoltest.
|
2020-10-29 13:55:07 +01:00 |
|
|
chriseth
|
d00ef95a72
|
Refactor isoltest function call kind.
|
2020-10-28 19:04:24 +01:00 |
|
|
chriseth
|
e93a84ccd4
|
Merge remote-tracking branch 'origin/develop' into HEAD
|
2020-10-28 18:19:31 +01:00 |
|
|
chriseth
|
0c12b2e53a
|
Bit operations for fixed bytes types.
|
2020-10-28 18:04:54 +01:00 |
|
|
chriseth
|
fb40f29594
|
Merge pull request #10133 from ethereum/asm-error-codes
Split error codes for EVM opcodes
|
2020-10-28 13:00:23 +01:00 |
|
|
Alex Beregszaszi
|
24d8c2ed90
|
Split error codes for EVM opcodes
|
2020-10-28 11:45:46 +00: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
|
4755cfe157
|
Fix assignment to contract member access
|
2020-10-26 14:39:02 +00:00 |
|
|
hrkrshnn
|
0e30fbbae1
|
Fix failing SMTChecker test on breaking
|
2020-10-26 14:01:40 +01:00 |
|
|
Leonardo Alt
|
d3d77e482c
|
Fix ICE on conditions with tuples of rationals
|
2020-10-23 14:47:53 +01:00 |
|
|
chriseth
|
20f39ab6e9
|
Merge pull request #10097 from ethereum/develop
Merge develop into breaking.
|
2020-10-23 10:30:24 +02:00 |
|
|
chriseth
|
93642f9bfc
|
Enum panic test for pre-byzantium.
|
2020-10-22 19:25:55 +02:00 |
|
|
chriseth
|
6d3528b4a7
|
Update gas costs.
|
2020-10-22 19:25:55 +02:00 |
|