Kamil Śliwak
|
9c6f8c011f
|
TestCaseReader: Add enumSetting()
|
2021-04-27 14:06:56 +02:00 |
|
Kamil Śliwak
|
28b9d27fae
|
SoltestErrors: Qualify runtime_error with std:: to make it possible to use in in headers
|
2021-04-27 13:43:07 +02:00 |
|
chriseth
|
f72592549b
|
Merge pull request #11110 from ethereum/issue_10475_isoltest_external_sources
[isoltest] Add support for external sources.
|
2021-04-27 10:54:39 +02:00 |
|
chriseth
|
2b5a24e82e
|
Add function side effects test.
|
2021-04-26 19:56:44 +02:00 |
|
chriseth
|
cb1af8b88a
|
Make verbatim compatible with KnownState.
|
2021-04-26 19:56:44 +02:00 |
|
chriseth
|
e2d8005737
|
Add verbatim builtin.
|
2021-04-26 19:56:44 +02:00 |
|
Alexander Arlt
|
481971cbcf
|
[isoltest] Add support for external sources.
|
2021-04-26 08:27:30 -05:00 |
|
chriseth
|
2969bc0f3e
|
Merge pull request #11302 from ethereum/drop-u160
Drop the util::u160 type
|
2021-04-26 15:12:20 +02:00 |
|
Alexander Arlt
|
8239eaa1b8
|
Fix test builtins & add simple smoke test.
|
2021-04-26 07:51:43 -05:00 |
|
chriseth
|
d9df3d50e2
|
Merge pull request #11311 from anurag-git/issue_10738-3
Use range-v3 loops(remove_erase, remove_erase_if)
|
2021-04-26 14:18:15 +02:00 |
|
chriseth
|
659da4bdc7
|
Merge pull request #11047 from ethereum/bytesToBytesNNConversion
Bytes to bytesNN conversion
|
2021-04-26 11:51:41 +02:00 |
|
anurag4u80
|
c4cf412fed
|
Replaced boost remove_erase and remove_erase_if
|
2021-04-24 08:10:41 +05:30 |
|
Alex Beregszaszi
|
60189b4f61
|
Remove obsolete Error constructor
|
2021-04-23 23:55:22 +01:00 |
|
Kamil Śliwak
|
173a511809
|
Merge pull request #11303 from ethereum/noncopyable
Remove the usage of boost::noncopyable
|
2021-04-23 22:38:49 +02:00 |
|
Alex Beregszaszi
|
f952f851b7
|
Enable more semantic tests for Ewasm
|
2021-04-23 17:00:01 +01:00 |
|
Alex Beregszaszi
|
73b804aff4
|
Update tests
|
2021-04-23 15:54:10 +01:00 |
|
Alex Beregszaszi
|
e39433198d
|
Remove the usage of boost::noncopyable
Prior to this half of the codebase used explicit deleted copy constructors, the others used boost::noncopyable.
|
2021-04-23 14:57:01 +01:00 |
|
Alex Beregszaszi
|
ac192ff4c1
|
Drop the util::u160 type
|
2021-04-23 14:35:06 +01:00 |
|
Alex Beregszaszi
|
37be1b3ed9
|
Remove dependency on util::160 in yulInterpreter
Instead apply explicit truncation or masking for readability.
|
2021-04-23 14:35:05 +01:00 |
|
Djordje Mijovic
|
eb457064b1
|
Adding semantic tests for bytes to bytesNN conversion.
|
2021-04-23 13:30:19 +02:00 |
|
Djordje Mijovic
|
ece42c07df
|
Adding syntax test for bytes to bytesNN conversion.
|
2021-04-23 13:19:19 +02:00 |
|
Harikrishnan Mulackal
|
f162c484ca
|
Merge pull request #11026 from ethereum/resolve-keccak
Evaluate ``keccak256(a, const)``, when the value at memory location ``a`` is known at compile time and ``const <= 32``
|
2021-04-22 19:18:19 +02:00 |
|
hrkrshnn
|
b599235b8d
|
Skip resolving Keccak if AST contains msize.
Also a refactoring changing `m_optimizeMLoad` to `m_containsMSize`.
|
2021-04-22 18:19:47 +02:00 |
|
hrkrshnn
|
3d29ae73e7
|
Isoltest: updated the gas tests.
|
2021-04-22 18:19:47 +02:00 |
|
hrkrshnn
|
b636ef881e
|
Added command line tests for keccak optimization with low runs
The value of keccak256(0, 32) should not be replaced by the big constant
|
2021-04-22 18:19:47 +02:00 |
|
hrkrshnn
|
221292c278
|
Tests and changelog
|
2021-04-22 18:19:47 +02:00 |
|
hrkrshnn
|
1f5b874eaf
|
Optimizer context has parameter expectedExecutionsPerDeployment
|
2021-04-22 17:27:57 +02:00 |
|
chriseth
|
a6a3af58a0
|
Add test.
|
2021-04-22 17:23:56 +02:00 |
|
chriseth
|
ec4558a245
|
Update gas costs.
|
2021-04-22 16:54:02 +02:00 |
|
chriseth
|
314f361d07
|
Update commandline tests.
|
2021-04-22 16:54:02 +02:00 |
|
chriseth
|
00fb2d390b
|
Do not replace zeros by return variable.
|
2021-04-22 16:54:02 +02:00 |
|
Đorđe Mijović
|
8840fb6ffd
|
Merge pull request #11270 from ethereum/addingBoundsByteArraySolYul
|
2021-04-22 15:41:32 +02:00 |
|
chriseth
|
e408b708ac
|
Use "for objects" dialect for function side effects test.
|
2021-04-22 14:37:51 +02:00 |
|
Djordje Mijovic
|
3a4233f3ad
|
[Sol->Yul] Adding bounds check when increasing size of byte array.
|
2021-04-22 11:42:46 +02:00 |
|
chriseth
|
35b651103d
|
Adjust cost of literal zero.
|
2021-04-22 11:42:42 +02:00 |
|
Alex Beregszaszi
|
8fb7a18800
|
Small refactorings for isoltest
|
2021-04-22 01:04:34 +01:00 |
|
Alex Beregszaszi
|
f1aaae36ee
|
Upgrade to EVMC 7.5.0
One important change: MockedAccount.storage is a map and not unordered_map
|
2021-04-21 21:05:40 +01:00 |
|
Leonardo
|
7bbf3a694b
|
Merge pull request #11261 from ethereum/smt_choose_target
[SMTChecker] Add option to choose contracts to be analyzed
|
2021-04-21 13:11:33 +02:00 |
|
chriseth
|
c3d73982ea
|
Merge pull request #11268 from ethereum/refactorByteArrayPopSol2Yul
[Sol->Yul] Refactor ByteArrayPop to use unchecked index access
|
2021-04-21 13:05:00 +02:00 |
|
chriseth
|
e2120f1f2f
|
Merge pull request #11272 from ethereum/replace-boost-with-rangev3-solgen
Remove most boost usages in Yul proto converter
|
2021-04-21 12:21:57 +02:00 |
|
Djordje Mijovic
|
d03744489f
|
Update cmdline tests.
|
2021-04-21 11:01:22 +02:00 |
|
Djordje Mijovic
|
9fcf16900d
|
Update gas costs in smeantic tests.
|
2021-04-21 11:01:22 +02:00 |
|
Leonardo Alt
|
dd1865873e
|
Choose contracts to be analyzed by the SMTChecker
|
2021-04-21 10:34:14 +02:00 |
|
Bhargava Shastry
|
69dd1771b7
|
Remove as many boost usages as possible in protoToYul.cpp
|
2021-04-20 18:46:19 +02:00 |
|
Alex Beregszaszi
|
4177270562
|
Trivial isoltest updates: comments always on the same line
|
2021-04-20 17:38:29 +02:00 |
|
Alex Beregszaszi
|
1be07c2b36
|
Trivial isoltest updates: missing // ---- at the end
|
2021-04-20 17:38:29 +02:00 |
|
Alex Beregszaszi
|
84c05d35f3
|
Trivial isoltest updates: normalized whitespace
|
2021-04-20 17:38:29 +02:00 |
|
Alex Beregszaszi
|
45c6bbe02b
|
Trivial isoltest updates: directives sorted alphabetically
|
2021-04-20 17:21:56 +02:00 |
|
chriseth
|
cf7f814a4e
|
Merge pull request #10921 from ethereum/issue-10881
Natspec: Don't copy from base function if return parameters differ
|
2021-04-20 15:33:48 +02:00 |
|
Leonardo Alt
|
a39a6e26da
|
update tests
|
2021-04-19 19:23:18 +02:00 |
|