chriseth
|
fcdb5e0b40
|
Export statement documentation.
|
2021-02-09 17:33:01 +01:00 |
|
hrkrshnn
|
8167029dc1
|
Updating tests after improving Yul error reporting
|
2021-02-09 16:55:33 +01:00 |
|
Djordje Mijovic
|
706f5d9874
|
[Sol2Yul] Fixing setLValue for calldata types.
|
2021-02-08 12:42:10 +01:00 |
|
chriseth
|
d4ce896582
|
Merge pull request #10886 from ethereum/issue-10874
OverrideSpecifier: Check for null before dereferencing
|
2021-02-04 14:12:07 +01:00 |
|
Mathias Baumann
|
3a8a74cbc7
|
OverrideSpecifier: Check for null before dereferencing
|
2021-02-04 13:17:28 +01:00 |
|
Daniel Kirchner
|
5faefdea65
|
Merge pull request #10893 from ethereum/string2BytesSol2Yul
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
|
2021-02-04 10:33:40 +01:00 |
|
Djordje Mijovic
|
530435439d
|
[Sol->Yul] Fixing string calldata to bytes calldata conversion.
|
2021-02-04 09:30:19 +01:00 |
|
Leonardo
|
7405dc5b7f
|
Merge pull request #10836 from ethereum/smt_fix_cex_inheritance
Fix inheritance bug in CHC cex
|
2021-02-03 18:49:25 +01:00 |
|
Martin Blicha
|
4bcdac71df
|
[SMTChecker] updates to the tests
|
2021-02-03 15:53:58 +01:00 |
|
Leonardo Alt
|
665ce27c18
|
Fix inheritance bug in CHC cex
|
2021-02-02 18:06:32 +01:00 |
|
Martin Blicha
|
a49950cdf3
|
[SMTChecker] Added transaction constraints also for contract deployment
|
2021-02-01 16:46:34 +01:00 |
|
chriseth
|
c7d1e1911e
|
Merge pull request #10369 from ethereum/ewasm-polyfill-address-balance
[ewasm] Polyfill: balance, address.
|
2021-02-01 16:19:23 +01:00 |
|
Leonardo Alt
|
545305a31f
|
[SMTChecker] Fix super and virtual
|
2021-01-28 18:51:29 +01:00 |
|
Martin Blicha
|
deb90d84a6
|
[SMTChecker] added missing type constraints for Address
|
2021-01-27 20:39:24 +01:00 |
|
Martin Blicha
|
484e67815a
|
[SMTChecker] Basic support for inline assembly using over-approximating analysis
|
2021-01-26 16:20:50 +01:00 |
|
chriseth
|
4697beeab2
|
Merge pull request #10769 from ethereum/allocationCleanup
Cleanup allocation.
|
2021-01-26 11:58:11 +01:00 |
|
Leonardo
|
22ad64a0fd
|
Merge pull request #10845 from ethereum/smt_z3_4-8-10
Update smtCheckerTests for z3 4.8.10
|
2021-01-26 11:37:03 +01:00 |
|
hrkrshnn
|
133bc72970
|
Tests and changelog for <address>.code.length shortcut
|
2021-01-26 11:08:39 +01:00 |
|
Leonardo Alt
|
40221a90c4
|
Update smtCheckerTests for z3 4.8.10
|
2021-01-26 10:18:52 +01:00 |
|
hrkrshnn
|
ec57c791ef
|
Fix infinite loop when accessing circular constants from inline assembly.
|
2021-01-26 09:22:05 +01:00 |
|
Mathias Baumann
|
07a1d230cd
|
Fix missing error when accessing unintialized variables.
|
2021-01-25 14:44:15 +01:00 |
|
Kamil Śliwak
|
4ad0b4338a
|
Fix the 'intheritance' typo in the name of the of the subdirectories in semanticTests/
|
2021-01-25 11:17:06 +01:00 |
|
Leonardo Alt
|
a612daa783
|
Add msgvalue to cex
|
2021-01-21 19:05:44 +01:00 |
|
Leonardo
|
a75b87c80e
|
Merge pull request #10813 from ethereum/smt_targets_option
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 18:37:08 +01:00 |
|
chriseth
|
bbd29b24ab
|
Update tests.
|
2021-01-20 18:25:27 +01:00 |
|
chriseth
|
3cc07694ed
|
Cleanup allocation.
|
2021-01-20 18:25:27 +01:00 |
|
Leonardo Alt
|
3b23cadbdc
|
Add CLI and JSON option to select SMTChecker targets
|
2021-01-20 17:35:37 +01:00 |
|
chriseth
|
60cb8726f1
|
Enable test.
|
2021-01-20 14:02:35 +01:00 |
|
chriseth
|
aad7297b58
|
Merge pull request #10818 from ethereum/explainDisabled
Enable via yul or explain why disabled.
|
2021-01-20 14:01:09 +01:00 |
|
Alexander Arlt
|
f928107181
|
[ewasm] Polyfill: balance & address: Update Tests.
|
2021-01-19 13:04:45 -05:00 |
|
Alexander Arlt
|
87e3fbee6c
|
[ewasm] Polyfill: balance & address.
|
2021-01-19 13:03:40 -05:00 |
|
Leonardo
|
0b023b893e
|
Merge pull request #10817 from ethereum/splitShiftBytesTest
Split shift bytes test.
|
2021-01-19 16:16:45 +01:00 |
|
chriseth
|
06d19a9203
|
Enable via yul or explain why disabled.
|
2021-01-19 16:12:53 +01:00 |
|
chriseth
|
1fcc76a562
|
Fix empty packed encoder.
|
2021-01-19 15:50:04 +01:00 |
|
chriseth
|
52511a2163
|
Split shift bytes test.
|
2021-01-19 14:55:18 +01:00 |
|
chriseth
|
9caf671607
|
Merge pull request #10808 from ethereum/uninitializedInternal
Update expectations for uninitialized internal function.
|
2021-01-19 13:02:33 +01:00 |
|
chriseth
|
c3d3415207
|
Update expectations for uninitialized internal function.
|
2021-01-19 12:37:30 +01:00 |
|
Leonardo
|
9bde92ca20
|
Merge pull request #10807 from ethereum/fixIRReasonStrings
Properly omit require revert strings in IR code generator if requested.
|
2021-01-19 10:31:15 +01:00 |
|
Leonardo
|
957e9995a0
|
Merge pull request #10801 from blishko/issue-10793
[SMTChecker] Gather local variables also from nested try/catch clauses
|
2021-01-18 22:37:16 +01:00 |
|
chriseth
|
185e129657
|
Merge pull request #10776 from ethereum/fixABIEncoderWithSignature
Fix abi encode with signature shortcut.
|
2021-01-18 19:07:56 +01:00 |
|
chriseth
|
a3ee334b42
|
Omit require revert strings in IR code generator.
|
2021-01-18 18:47:55 +01:00 |
|
Martin Blicha
|
35d228d9b6
|
[SMTChecker] Gather local variables also from nested try/catch clauses
|
2021-01-18 18:30:18 +01:00 |
|
chriseth
|
87a68feea1
|
Merge pull request #10653 from ethereum/spdx-tests
Add more tests for the SPDX-License-Identifier
|
2021-01-18 18:05:25 +01:00 |
|
Leonardo Alt
|
c7ca87c012
|
Fix static virtual resolution
|
2021-01-18 16:23:38 +01:00 |
|
Kamil Śliwak
|
f0cb181545
|
Even more license tests
|
2021-01-18 16:17:06 +01:00 |
|
Alex Beregszaszi
|
0a3084abc0
|
Add metadata tests for SPDX-License-Identifier
|
2021-01-18 16:17:06 +01:00 |
|
Kamil Śliwak
|
baf530c484
|
Test helper for license metadata tests
|
2021-01-18 16:17:06 +01:00 |
|
Kamil Śliwak
|
5677211471
|
SyntaxTest::filterObtainedErrors(): Remove hard-coded preamble to match changes in setupCompiler()
|
2021-01-18 16:17:06 +01:00 |
|
Alex Beregszaszi
|
6f1f0c5bbc
|
Do not insert SPDX identifier if already present in SyntaxTest
|
2021-01-18 16:15:17 +01:00 |
|
Alex Beregszaszi
|
5bbb017915
|
Add more tests for the SPDX-License-Identifier
|
2021-01-18 16:15:17 +01:00 |
|
chriseth
|
1ad1591617
|
Merge pull request #10805 from ethereum/structMappingTestCase
Adding test for conversion of struct from storage to mapping.
|
2021-01-18 15:48:02 +01:00 |
|
chriseth
|
611d2b4de5
|
Enable some tests.
|
2021-01-18 14:30:50 +01:00 |
|
Djordje Mijovic
|
4c0cb2d76f
|
Adding test for conversion of struct from storage to mapping.
|
2021-01-18 14:27:36 +01:00 |
|
chriseth
|
4f3839e4ba
|
Fix abi encode with signature shortcut.
|
2021-01-18 13:44:52 +01:00 |
|
Djordje Mijovic
|
d738a5219c
|
Activating more end to end tests via ir.
|
2021-01-18 12:52:33 +01:00 |
|
Djordje Mijovic
|
a0c80c2bdb
|
[Sol->Yul] Enabling copying_bytes_multiassign test via ir.
|
2021-01-18 12:40:51 +01:00 |
|
Alex Beregszaszi
|
e117c9516e
|
Replace "pragma experimental ABIEncoderV2" in tests where appropriate
And add a few tests for "pragma abicoder".
|
2021-01-15 19:57:09 +00:00 |
|
Alex Beregszaszi
|
2c92f7641b
|
Move all experimental pragma tests to syntaxTests/pragma
|
2021-01-15 19:12:32 +00:00 |
|
Leonardo
|
726c5ff68c
|
Merge pull request #10777 from blishko/smt-fix-checked
[SMTChecker] Fix BMC crash related to `unchecked` blocks
|
2021-01-15 16:46:32 +01:00 |
|
Alex Beregszaszi
|
3e678acd7d
|
Merge pull request #10781 from ethereum/new-ir-tests
Enable some semantic tests for the IR
|
2021-01-15 14:48:22 +00:00 |
|
Martin Blicha
|
18214d1ccc
|
[SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC
|
2021-01-15 15:36:26 +01:00 |
|
Alex Beregszaszi
|
293bb01c56
|
Enable some semantic tests for the IR
|
2021-01-15 14:10:54 +00:00 |
|
Leonardo Alt
|
007d39871b
|
[SMTChecker] Synthesize untrusted functions called externally
|
2021-01-15 11:56:26 +01:00 |
|
Djordje Mijovic
|
b92d024898
|
[isoltest] Error out in case of different result when enforcing via yul.
Co-authored-by: Alex Beregszaszi <alex@rtfs.hu>
|
2021-01-14 22:37:12 +00:00 |
|
chriseth
|
db4b39e09e
|
Round up allocations to multiples of 32.
|
2021-01-14 21:52:17 +00:00 |
|
chriseth
|
7d6331e26f
|
Use round up function.
|
2021-01-14 21:01:43 +00:00 |
|
chriseth
|
aba8d807db
|
Merge pull request #10765 from ethereum/ir-revert-strings
Include revert strings in IR
|
2021-01-14 20:00:11 +01:00 |
|
Alex Beregszaszi
|
4491a290e2
|
Display unimplemented errors in Yul codegen testing
i.e. do not hide exceptions
|
2021-01-14 18:08:01 +00:00 |
|
Alex Beregszaszi
|
7c7fd22062
|
Include revert strings in IR
|
2021-01-14 18:45:12 +01:00 |
|
Alex Beregszaszi
|
d4627d53eb
|
Merge pull request #10235 from ethereum/onlyFailOnUnimplemented
Fail on assertion failures in yul code generation.
|
2021-01-14 16:55:07 +00:00 |
|
Leonardo
|
110e0e1f25
|
Merge pull request #10763 from blishko/smt-abi-fixes
[SMTChecker] Small fixes in handling ABI functions
|
2021-01-14 16:00:49 +01:00 |
|
chriseth
|
a4769d446f
|
Fail on assertion failures in yul code generation.
|
2021-01-14 14:51:16 +00:00 |
|
chriseth
|
7d036dcb81
|
Merge pull request #10762 from ethereum/packedStorageOverflowSol2Yul
[Sol->Yul] Fixing uncheked increment/decrement.
|
2021-01-14 15:32:55 +01:00 |
|
chriseth
|
6769c519b2
|
Merge pull request #10764 from ethereum/fixLibraryFromModule
Fix accessing libraries inside modules.
|
2021-01-14 15:30:52 +01:00 |
|
chriseth
|
7f03af08b6
|
Merge pull request #10766 from ethereum/snark
Move snark.sol in tests to externalContracts
|
2021-01-14 15:06:23 +01:00 |
|
chriseth
|
e61c4b411e
|
Merge pull request #10754 from ethereum/extractTwoTests
Extract some tests.
|
2021-01-14 15:05:38 +01:00 |
|
Alex Beregszaszi
|
4db0e3049e
|
Move snark.sol in tests to externalContracts
|
2021-01-14 13:55:36 +00:00 |
|
Martin Blicha
|
2ee0f347b9
|
[SMTChecker] additional regression tests
|
2021-01-14 14:54:14 +01:00 |
|
chriseth
|
a65415cdad
|
Fix accessing libraries inside modules.
|
2021-01-14 14:07:08 +01:00 |
|
Djordje Mijovic
|
dc3e76bc2c
|
[Sol->Yul] Fixing uncheked increment/decrement.
|
2021-01-14 13:46:04 +01:00 |
|
chriseth
|
170cd5d2ae
|
Merge pull request #10760 from ethereum/asmConstantsFileLevel
Fix accessing constants at file level from inline assembly.
|
2021-01-14 11:33:47 +01:00 |
|
chriseth
|
8905af28c3
|
Merge pull request #10759 from ethereum/nestedBytesArraySol2Yul
[Sol->Yul] Fixing nested bytes array push.
|
2021-01-14 11:33:06 +01:00 |
|
chriseth
|
45be47fc6b
|
Merge pull request #10756 from ethereum/fixModifierLookup
Fix modifier lookup
|
2021-01-14 11:28:26 +01:00 |
|
chriseth
|
8ad9290086
|
Fix modifier lookup.
|
2021-01-14 11:01:14 +01:00 |
|
chriseth
|
30305ebbd9
|
Fix accessing constants at file level from inline assembly.
|
2021-01-14 10:51:47 +01:00 |
|
chriseth
|
afbf68f79c
|
Merge pull request #10753 from ethereum/ir-negate
Fix YulUtilFunctions::negateNumberWrappingFunction
|
2021-01-14 10:48:15 +01:00 |
|
Djordje Mijovic
|
7c45509a77
|
[Sol->Yul] Fixing nested bytes array push.
|
2021-01-14 10:32:31 +01:00 |
|
chriseth
|
fb4b38a78e
|
Extract some tests.
|
2021-01-13 23:45:51 +01:00 |
|
Alex Beregszaszi
|
c15c6d26b7
|
Fix YulUtilFunctions::negateNumberWrappingFunction
|
2021-01-13 21:29:37 +00:00 |
|
Martin Blicha
|
5e13744423
|
[SMTChecker] Fixed pushing string literal to bytes array
|
2021-01-13 16:30:50 +01:00 |
|
chriseth
|
6eea2f5c08
|
Merge pull request #9959 from a3d4/fix-ice-struct-with-mapping-assignment
Fix ICE caused by const structs with mappings
|
2021-01-13 15:19:02 +01:00 |
|
Leonardo
|
fe344ed6e5
|
Merge pull request #10748 from blishko/smt-refactoring
[SMTChecker] Refactoring common functionality
|
2021-01-13 14:23:19 +01:00 |
|
a3d4
|
35a25b107f
|
Fix ICE caused by const structs with mappings
|
2021-01-12 18:39:54 +01:00 |
|
Martin Blicha
|
7c6340fe4f
|
[SMTChecker] Refactoring expression to tuple assignment
|
2021-01-12 17:15:14 +01:00 |
|
chriseth
|
d97b9ba865
|
Merge pull request #10686 from ethereum/libraryCallGuard
Library call guard.
|
2021-01-12 16:52:24 +01:00 |
|
Leonardo
|
fa28e48415
|
Merge pull request #10727 from ethereum/smt_cex_internal_calls
[SMTChecker] Report internal calls in CHC transaction trace
|
2021-01-12 15:44:12 +01:00 |
|
chriseth
|
99add1e4e5
|
Merge pull request #10710 from ethereum/implicit-conversion-bug
Disallow certain implicit conversions between integer types.
|
2021-01-12 15:42:12 +01:00 |
|
Leonardo Alt
|
b3c3836388
|
Output internal calls
|
2021-01-12 14:57:04 +01:00 |
|
Leonardo Alt
|
f1ae24abc7
|
Remove extra line breaks
|
2021-01-12 14:00:07 +01:00 |
|
Leonardo
|
66a773aef9
|
Merge pull request #10721 from blishko/smt-try-catch
[SMTChecker] Support try-catch statements
|
2021-01-12 12:04:38 +01:00 |
|