cerc-io/solidity
11
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
20,370 Commits 348 Branches 121 Tags
fuzz-input
Commit Graph
6101 Commits
Author SHA1 Message Date
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
Alex Beregszaszi 1a556aaa7f Move compilationTests/stringutils to semanticTests/externalContracts 2021-04-27 11:21:14 +01: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
Alexander Arlt da38149f57 [test] Add support for --enforce-compile-to-ewasm. 2021-04-26 20:31:03 -05: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